Ciencia

MONITORES
Aunque los semáforos proporcionan un mecanis adecuado y efectivo para el proceso de sincronización, un uso incorrecto de los mismos puede dar lugar a errores de temporización que sondifíciles de detectar, dado que estos errores sólo ocurren si tienen lugar alguna secuencia de ejecución concretas y estas secuencias no siempre se producen.
Todos los procesos comparten una variable desemáforo mutex, que se inicializa con el valor 1. Cada proceso debe ejecutar una operación wait (mutex) antes de entrar en la sección crítica y una operación signal (mutex) despúes de la misma. Siesta secuencia no se lleva acabo, dos procesos podrían estar dentro de sus secciones críticas al tiempo.

Utilizacón
Un tipo, o un tipo abstracto de datos, agrupa una serie de datos privados con unconjunto de métodos públicos que se utilizan para operar sobre dichos datos. Un tipo monitor tiene un conjunto de operaciones definidas por el programador que gozan de la característica de exclusiónmutua dentro del monitor. La representación de un tipo monitor no puede ser utilizada directamente por los diversos procesos. Así, un procedimiento definido dentro de un monitor sólo puede acceder a lasvariables declaradas localmente dentro del monitor y a sus parámetros formales. De forma similar, a las variables locales de un monitor sólo pueden acceder los procedimientos locales. Sin embargo,la estructura de monitor, como se ha definido hasta ahora, no es lo suficientemente potente como para modelar algunos esquemas de sincronización. Un programador que necesite escribir un esquema desincronización a medida puede definir una o más variables de tipo condition:
Condition x, y;
Las únicas operaciones que se pueden invocar en una variable de condición son wait () y signal (). Laoperación
x.wait();
indica que el proceso que invoca esta operación queda suspendido hasta que otro proceso invoque la operación
x.signal ();
La operación x.signal() hace que se reanude exactamente...