mecanismos monitores

Mecanismos monitores

Los monitores poseen una propiedad especial que los hace útiles para lograr la exclusión mutua: sólo un proceso puede estar activo en un monitor en un momento dado. Losmonitores son una construcción de lenguaje de programación, así que el compilador sabe que son especiales y puede manejar las llamadas a procedimientos de monitor de una forma diferente a como manejaotras llamadas a procedimientos. Por lo regular, cuando un proceso invoca un procedimiento de monitor, las primeras instrucciones del procedimiento verifican si hay algún otro proceso activo en esemomento dentro del monitor. Si así es, el proceso invocadorse suspende hasta que el otro proceso abandona el monitor. Si ningún otroproceso está usando el monitor, el proceso invocador puede entrar.Esresponsabilidad del compilador implementar la exclusión mutua en las entradasa monitores, pero una forma común es usar un semáforo binario. Puesto que elcompilador, no el programador, se estáencargando de la exclusión mutua, esmucho menos probable que algo salga mal. En cualquier caso, la persona que escribe el monitor no tiene que saber cómo el compilador logra la exclusión mutua; le basta consaber que si convierte todas las regiones críticas en procedimientos de monitor, dos procesos nunca podrán ejecutar sus regiones críticas al mismo tiempo. Aunque los monitores ofrecen una forma fácilde lograr la exclusión mutua, esto noes suficiente, como acabamos de ver. También necesitamos un mecanismo para que los procesos se bloqueen cuando no puedan continuar.

Conclusión:

Losmonitores son una construcción de lenguaje de programación, así que el compilador sabe que son especiales y puede manejar las llamadas a procedimientos de monitor de una forma diferente a como maneja otrasllamadas a procedimientos. Un proceso invoca un procedimiento de monitor, las primeras instrucciones del procedimiento verifican si hay algún otro proceso activo en ese momento dentro del monitor....