Clase2 Flashcards
¿Qué es una referencia critica?
Referencia a una variable que es
modificada por otro proceso
¿Cuándo se cumple la propiedad de “a lo sumo una vez”?
x = e
1) e contiene a lo sumo una referencia crítica y x no es referenciada por otro proceso
o
2) e no contiene referencias críticas, en cuyo caso x puede ser leída por otro proceso.
si no es una sentencia de asignación se cumple si no contiene mas de una referencia critica
¿Qué es safety?
Nada malo le ocurre a un proceso: asegura estados consistentes.
¿Qué es liveness?
Eventualmente ocurre algo bueno con una actividad: progresa, no hay deadlocks.
¿Qué es fairness incodicional?
Una política de scheduling es
incondicionalmente fair si toda acción atómica incondicional que es elegible eventualmente es ejecutada.
¿Qué es fairness debil?
Es incondicionalmente fair y
toda acción atómica condicional que se vuelve elegible eventualmente es ejecutada, asumiendo que su condición se vuelve true y permanece true hasta que es vista por el proceso que ejecuta la acción atómica condicional.
¿Qué es fairness fuerte?
Una política de scheduling es fuertemente fair si:
-Es incondicionalmente fair
-Toda acción atómica condicional que se vuelve elegible eventualmente es ejecutada pues su guarda se convierte en true con infinita frecuencia
¿Qué hace la política de scheduling?
Una política de scheduling determina cuál será la próxima en ejecutarse