Tema 3: MONITORES - Departamento de Lenguajes y Sistemas ...

2. Sincronización en Monitores
2.3. Equivalencia entre semáforos y monitores (cont.)
• Para cada variable condición del monitor:
– Semáforo semcondición (inic. a 0) para cola de bloqueados en Wait
– Contador de nº procs. esperando condición (contcondición inic. a 0).
condición.signal
conturgente + +;
if contcondición>0
{ V(semcondición);
P(urgente); }
conturgente - - ;
condición.wait
contcondición + +;
if conturgente>0
V(urgente)
else V(mutex);
P(semcondición);
contcondición - -;