134
P/C: finite circular buffer of size k
nAs before:
uwe need a semaphore S to have mutual exclusion on
buffer access
uwe
need a semaphore N to synchronize producer and consumer on the number of consumable
items
nIn addition:
uwe
need a semaphore E to synchronize producer and consumer on the number of empty spaces