Order the typical lifecycle of a producer–consumer slot

Exercise and reference answers

Steps

1. Producer waits if buffer is full (semaphore: empty)
2. Producer acquires mutex on shared buffer
3. Producer inserts item and releases mutex
4. Producer signals 'full' so consumer can read
5. Consumer acquires mutex, removes item, releases mutex
6. Consumer signals 'empty' so producer can write again