155
The bounded-buffer P/C problem with message passing
nWe will now make use of messages
nThe producer place items (inside messages) in the mailbox mayconsume
nmayconsume acts as our buffer: consumer can consume item when at least one message is present
nMailbox mayproduce is filled initially with k null messages (k= buffer size)
nThe size of mayproduce
shrinks with each production and grows
with each consumption
ncan support multiple producers/consumers