Operating Systems - David Vernon

Processes
/* In the following _incorrect_ version of the producer we reverse */
/* the order of down call on the semaphores. */
/* This will cause DEADLOCK if the buffer is full … Why? */
void producer(void)
{
int item;
}
while (TRUE) { /* repeat forever */
produce_item(&item); /* generate next item */
down(&mutex); /* enter critical region */
down(&empty); /* decrement empty count */
enter_item(item); /* put item in buffer */
up(&mutex); /* leave critical region */
up(&full); /* increment count of full slots */
Copyright © 2007 David Vernon (www.vernon.eu)