Producer-Consumer with Semaphore

Shared buffer size N, sem empty=N, full=0, mutex=1.
Producer: wait(empty), wait(mutex), produce to buffer, signal(mutex), signal(full)
Consumer: wait(full), wait(mutex), consume, signal(mutex), signal(empty)
Guarantees mutual exclusion via mutex, and counting sems prevent overflow/underflow, bounded waiting.