Operating Systems - David Vernon

Processes
void consumer(void)
{
int item;
}
while (TRUE) { /* repeat forever */
down(&full); /* decrement full count */
down(&mutex); /* enter critical region */
remove_item(&item); /* take item out of buffer */
up(&mutex); /* leave critical region */
up(&empty); /* increment count on empty slots */
consume_item(&item);
Copyright © 2007 David Vernon (www.vernon.eu)