Servidor de Impressora: Solução ``correta''

 
void requestPrinter(void) {

		 lock(mutex);

		 		 while(busy) { sleep(b, mutex) }

		 		 busy = true;

		 unlock(mutex);

}

void releasePrinter( void ) {

		 lock(mutex);

		 		 busy = false;

		 		 wakeup(b,mutex);

		 unlock(mutex);

}

• Continuamos com o escalonamento imposto pelo núcleo