Seguridad y vivacidad

Un programa concurrente puede fallar por varias razones cuales se puede clasificar entre dos grupos de propriedades:

seguridad:

Esa propriedad inidca que no está pasando nada malo en el programa, es decir, el programa no ejecuta instrucciones que no debe hacer.

vivacidad:

Esa propriedad inidca que está pasando continuamente algo bueno durante la ejecución. es decir, el programa consigue algún progreso en sus tareas.

Las propriedades de seguridad suelen ser unaas de las invariantes des programa que se tiene que introducir en las comprobaciones del funcionamiento correcto (p.e., mediante inducción).

Ejemplos de propiedades de seguridad:

• el algoritmo usado es correcto
• la exclusión mutua de regiones críticas

Ejemplos de propiedades de vivacidad:

• ningún proceso se muere por inanición
• si un proceso pide un recurso, lo consigue en algún momento
• los procesos no se bloquean mutuamente
• no se termina un proceso desde fuera sin razón (p.e. en Java, cada stop() es razonable)
• un proceso no queda dormido (p.e. en Java, cada suspend() tiene su resume() correspondiente)
• la conexión entre procesos es fiable