Suppose there the buffer has only 1 slot, which could only store 1 data item. Could you rewrite the producer and consumer code with at most 2 semaphores?

producer

while (true) {

[ produce an item ]

empty.wait();

mutex. wait();

[ deposit an item

mutex. signal();

full. signal() ;

} II end while loop

consumer

while (true) {

full.wait();

mutex. wait();

[ remove an item

mutex. signal();

empty. signal() ;

[ Consume data item ]

} II end while loop