Monitores

PROGRAMACIÓN CONCURRENTE

Tema 5 Monitores

1

Indice
Definición de los monitores Sincronización condicional usando monitores Algunos problemas con monitores

2

Problemas de lasregiones críticas condicionales
Pueden estar dispersas en el texto del programa. La integridad de la estructura de datos compartida es facilmente dañada debido a que no hay control sobre que operaciones sonrealizadas por el programador dentro de una region crítica. Dificiles de implementar eficientemente.

3

Definición de los monitores

Las regiones críticas se escriben como funciones y seencapsulan juntas en un módulo único llamado monitor.
4

Definición de los monitores
Un monitor es un mecanismo que permite compartir de una manera fiable y efectiva tipos abstractos de datos entreprocesos concurrentes. Asi pues un monitor proporciona:
 

Abastracción de datos Exclusión mutua y mecanismos de sincronización entre procesos.

Un monitor es similar a un TAD en el sentido deque esconde la represnetación interna de sus variables y proporciona al exterior sólo el comportamiento funcional definido por las operaciones exportadas.

5

Definición de los monitores
Unprocedimiento exportado se puede invocar desde fuera del monitor:
identificador_monitor.identificador_procedimiento(parametros_actuales);

El compilador garantiza que el acceso al código dentro de unmonitor se realiza bajo exclusión mutua. Un proceso que intenta ejecutar un procedimiento del monitor cuando hay otro proceso ejecutando uno de los procedimientos en el mismo monitor se bloquea en lacola del monitor Cuando un proceso finaliza su llamada a procedimiento de monitor, la exclusión mutua se pasa a uno de los procesos bloqueados.
6

Sincronización condicional usando monitores
Lasincronización condicional se proporciona mediante variables etiquetadas como condition. Son colas FIFO (inicializadas automáticamente a la cola vacía en la declaración) que no tiene valores accesibles...