Clase2 Flashcards

1
Q

¿Qué es una referencia critica?

A

Referencia a una variable que es
modificada por otro proceso

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

¿Cuándo se cumple la propiedad de “a lo sumo una vez”?

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

¿Qué es safety?

A

Nada malo le ocurre a un proceso: asegura estados consistentes.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

¿Qué es liveness?

A

Eventualmente ocurre algo bueno con una actividad: progresa, no hay deadlocks.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

¿Qué es fairness incodicional?

A

Una política de scheduling es
incondicionalmente fair si toda acción atómica incondicional que es elegible eventualmente es ejecutada.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

¿Qué es fairness debil?

A

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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

¿Qué es fairness fuerte?

A

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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

¿Qué hace la política de scheduling?

A

Una política de scheduling determina cuál será la próxima en ejecutarse

How well did you know this?
1
Not at all
2
3
4
5
Perfectly