Bounded-Buffer Problem Consumer Process

  do 

  {

  wait(full)

  wait(mutex);

  …

  remove an item from buffer to nextc

  …

  signal(mutex);

  signal(empty);

  …

  consume the item in nextc

  …

  }

  while (1);