One slot buffer
One slot buffer
PROD = (put ® PROD)
PROD = (get ® CONS)
BUFF = (put ® get ® BUFF)
The one slot buffer stores a single value put into it by the producer process PROD. Further attempts to put values are blocked until the buffer is emptied by the consumer process CONS performing get. The synchronisation is specified by.