Producer–Consumer · Bounded Buffer
unseel.com · 2 semaphores + mutex · O(1) enqueue/dequeue
empty 6
full 0
State
Producer
Consumer
Filled slot
Free slot
Unseel.com · Producer-Consumer