---

semaphore N empty full

p1{

produce()

mutex(n)

v(N)

mutex(n)

}