Computer Systems: A Programmer's Perspective (3rd Edition)
Computer Systems: A Programmer's Perspective (3rd Edition)
3rd Edition
ISBN: 9780134092669
Author: Bryant, Randal E. Bryant, David R. O'Hallaron, David R., Randal E.; O'Hallaron, Bryant/O'hallaron
Publisher: PEARSON
Question
Book Icon
Chapter 12, Problem 12.20HW
Program Plan Intro

Readers-Writers problem:

  • The readers-writers interactions would happen frequently in real systems.
  • It has some variations; each is centered on priority of writers and readers.
  • The details for “first readers-writers problem” is displayed below:
    • This problem favors readers.
    • It needs that no reader must be kept waiting lest a writer has already been granted approval to use object.
    • There should be no reader waiting due to waiting of writer.
  • The  details for  “second readers-writers problem” is displayed below:
    • This problem favors writers.
    • It requires that after a writer is set to write, it performs write as fast as possible.
    • A reader arriving after writer should wait, even if writer is also waiting.
  • The “w” semaphore controls access to critical sections that access shared object.
  • The “mutex” semaphore would protect admittance to shared variable “readcnt”.
  • It counts number of readers currently in critical section.
  • A writer locks “w” mutex each time it would enter critical section and unlocks it each time it leaves.
  • This guarantees that there exists at most one writer in critical section at any time point.
  • The first reader who enter critical section locks “w” and last reader to leave critical section unlocks it.
  • The “w” mutex is ignored by readers who enter and leave while other readers are present.
  • A correct solution to either of readers-writers problem could result in starvation.
  • A thread is been blocked indefinitely and is failed from making progress.

Expert Solution & Answer
Check Mark

Explanation of Solution

C code for readers-writers problem:

//Include libraries

#include <stdio.h>

#include "csapp.h"

//Define constants

#define WrteLmt 100000

#define Pple 20

#define N 5

//Declare variable

static int readtms;

//Declare variable

static int writetms;

//Declare semaphore variable

sem_t mtx;

//Declare semaphore variable

sem_t rdrcnt;

//Declare reader method

void *reader(void *vargp)

{

//Loop

while (1)

{

//P operation

P(&rdrcnt);

//P operation

P(&mtx);

//Increment variable

readtms++;

//V operation

V(&mtx);

//V operation

V(&rdrcnt);

}

}

//Declare writer method

void *writer(void *vargp)

{

//Loop

while (1)

{

//P operation

P(&mtx);

//Increment value

writetms++;

//If condition satisfies

if (writetms == WrteLmt)

{

//Display

printf("read/write: %d/%d\n", readtms, writetms);

//Exit

exit(0);

}

//V operation

V(&mtx);

}

}

//Declare init method

void init(void)

{

//Declare variables

readtms = 0;

//Declare variables

writetms = 0;

//Call method

Sem_init(&mtx, 0, 1);

//Call method

Sem_init(&rdrcnt, 0, N);

}

//Define main

int main(int argc, char* argv[])

{

//Declare variable

int li;

//Declare thread variable

pthread_t lTd;

//Call method

init();

//Loop

for (li = 0; li < Pple; li++)

{

//If condition satisfies

if (li%2 == 0)

//Call method

Pthread_create(&lTd, NULL, reader, NULL);

//If condition does not satisfies

else

//Call method

Pthread_create(&lTd, NULL, writer, NULL);

}

//Call method

Pthread_exit(NULL);

//Exit

exit(0);

}

Explanation:

  • The reader method decrements the reader count and semaphore initially.
  • The reading operation is performed after that.
  • The reader count and semaphore values are incremented after the operation.
  • The writer method decrements the semaphore variable initially.
  • The write operation is then performed.
  • If count reaches limit of writers, then display count.
  • The semaphore values are incremented after the operation.
Sample Output

read/write: 142746/100000

Want to see more full solutions like this?

Subscribe now to access step-by-step solutions to millions of textbook problems written by subject matter experts!
Students have asked these similar questions
If the sequence number space is k bits large, you should seriously consider using both the selective-repeat technique and the Go-Back-N strategy in your search for a solution. What is the maximum allowable size for the sender window that we are allowed to make use of?
Consider the classical synchronization problem of dining philosophers in which, n philosophers sit at a round table with one chop stick between each philosopher (chop stick on the right hand belong to each philosopher). Philosophers do one work at a time i.e. either are thinking or eating. To eat, they need to have two chop sticks such that the chopsticks to their left and their right. a. Provide an algorithm using Test-and-Set logic (disabling interrupts) to solves the diningphilosopher problem.  b. Show the steps of the solution validatingi) Mutual exclusion, ii) Progress, iii) Must be viable for any number of philosophers and ensure that none of them starves to death.
When looking for a solution, you should give careful consideration to using both the selective-repeat approach and the Go-Back-N strategy if the sequence number space is big enough to include k bits of information. What is the largest size that the sender window that we are permitted to utilise is permitted to be in its entirety?
Knowledge Booster
Background pattern image
Similar questions
SEE MORE QUESTIONS
Recommended textbooks for you
Text book image
Database System Concepts
Computer Science
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:McGraw-Hill Education
Text book image
Starting Out with Python (4th Edition)
Computer Science
ISBN:9780134444321
Author:Tony Gaddis
Publisher:PEARSON
Text book image
Digital Fundamentals (11th Edition)
Computer Science
ISBN:9780132737968
Author:Thomas L. Floyd
Publisher:PEARSON
Text book image
C How to Program (8th Edition)
Computer Science
ISBN:9780133976892
Author:Paul J. Deitel, Harvey Deitel
Publisher:PEARSON
Text book image
Database Systems: Design, Implementation, & Manag...
Computer Science
ISBN:9781337627900
Author:Carlos Coronel, Steven Morris
Publisher:Cengage Learning
Text book image
Programmable Logic Controllers
Computer Science
ISBN:9780073373843
Author:Frank D. Petruzella
Publisher:McGraw-Hill Education