Monitores |
Paso de mensajes |
Nombre de operaciones del monitor
|
|
Canal para
petición de ejecución de operaciones
|
|
Entrada a monitor en exclusión mutua
|
|
Verificación de la guarda booleana tras un WHEN
y recepción del mensaje correspondiente a la operación
|
|
Llamada a una operacion del monitor para la
que se usa canal_op suministrando
datos_entrada y recibiendo datos_salida
|
|
Send (canal_op, datos_entrada);
Receive (canal_retorno, resultados)
|
|
Variables del monitor accesibles en
exclusión mutua por todos los procesos
|
|
Variables locales del proceso que implementa
el recurso activo
|
|
Precondición de una operación que no se cumple
y que provoca un Delay
|
|
Condición de rama WHEN que no se cumple
|
|
Continue (variable_condition)
|
|
Actualización de variables de manera que
en la siguiente ejecución de la SELECT
se verifica la condición de una de sus ramas
|
|
Cuerpo dentro de una operación entre la comprobación
de precondiciones y el código que realiza los
Continue necesarios
|
|
Cuerpo dentro de una rama de la SELECT
WHEN cond, Receive (canal, d) DO
cuerpo
|
|