Recurso Dedicado

 

• A gestão deste recurso pode ser feita utilizando-se prioridades dinâmicas com a política de envelhecimento (``aging'').

 
class Manager {

		 key mutex;

		 AgingQueue waiting;

		 void requestResource(int i) {

		 		 lock(mutex);

		 		 while (busy  (!waiting.iAmTheBest(i)) {

		 		 		 waiting.enter(i);

		 		 }

		 		 busy = true;

		 		 waiting.ok(i);

		 		 unlock(mutex);

		 }

		 void releaseResource() {

		 		 lock(mutex);

		 		 busy = false;

		 		 waiting.select();

		 		 unlock(mutex);

		 }