Bounded-Buffer Problem

• Shared data

           semaphore full, empty, mutex;
           Initially:
           full = 0, empty = n, mutex = 1