gistfile1.txt

Semaphore Capacity = N
Semaphore hasItem = 0
Semaphore mutex = 1
Semaphore mutex_out = 1

Producer {
  while (True) {
    item = produce()
    Capacity.acquire()
    
    mutex.acquire()
    in = (in + 1) mod N
    buffer[in] = item
    mutex.release()
    hasItem.release()
  }
}

Consumer {
  while(True) {
    hasItem.acquire()
    
    mutex_out.acquire()
    out = (out + 1) mod N
    item = buffer[out]
    mutex_out.release()
    
    Capacity.release()
  }
}