Open In App

GATE | GATE CS 2018 | Question 41

Like Article
Like
Save
Share
Report

Consider the following solution to the producer-consumer synchronization problem. The shared buffer size is N. Three semaphores empty, full and mutex are defined with respective initial values of 0, N and 1. Semaphore empty denotes the number of available slots in the buffer, for the consumer to read from. Semaphore full denotes the number of available slots in the buffer, for the producer to write to. The placeholder variables, denoted by P, Q, R and S, in the code below can be assigned either empty or full. The valid semaphore operations are: wait() and signal().

 

Which one of the following assignments to P, Q, R and S will yield the correct solution? 

(A)

P: full, Q: full, R: empty, S: empty

(B)

P: empty, Q: empty, R: full, S: full

(C)

P: full, Q: empty, R: empty, S: full

(D)

P: empty, Q: full, R: full, S: empty



Answer: (C)

Explanation:

Given, Empty = 0 Full = N Mutex = 1 Since value of empty semaphore is 0, so you can not wait empty semaphore in first attempt. Note – empty semaphore denotes the number of filled slots, so producer process must deal with empty and mutex semaphores. full semaphore denotes the number of empty slots so consumer process must deal with full and mutex semaphores. Option (A) causes starvation. Option (B) causes starvation. Option (D) since number of filled slots are 0 initially denoted by empty semaphore, so consumer process can not consume. So, this implementation is wrong. Only P: empty, Q: full, R: full, S: empty is correct order to ensure deadlock-free and starvation free implementation. Option (C) is correct. Watch GeeksforGeeks Video Explanation : 


Quiz of this Question
Please comment below if you find anything wrong in the above post


Last Updated : 22 Sep, 2021
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads