2do parcial IC 14 Respuestas

Introducción a la Concurrencia 2014

2º Parcial

UNPSJB – Facultad de Ingeniería
Alumno:

CON RESPUESTAS

Cantidad de hojas entregadas:

1. Dados estos dos procesos concurrentes:int x = 1, y = 1, z = 1, v = 1;
co x = y; z = y + v;
// y = y – z; v = x;
oc
a) Suponiendo que cada asignación (incluyendo la suma o resta) es implementada como una simple instrucción de máquina, y por lo tanto es atómica.¿Cuántas historias posibles hay? Escriba todas las historias
posibles.
Con n procesos y m acciones:
n = 2, m = 2; (n*m)! / (m!)n = 6
O podría hacerce en forma empírica, en este caso porque es muy chico elejemplo.
Si usamos letras para nombrar las sentencias (para simplificar la notación) esto podría resolverse así:
A: x = y;
B: z = y + v;
S: y = y - z;
T: v = x;
Entonces todas las historias posiblesson:
1. A B S T
2. A S B T
3. A S T B
4. S A B T
5. S A T B
6. S T A B
Nótese que nunca puede aparecer B antes que A en ninguna historia, porque en un mismo proceso no se
intercambia nunca el orden delas acciones. Tampoco puede aparecer T antes que S.
b) Para cada historia indique los valores finales de x e y.
1. A B S T → x = 1, y = -1
2. A S B T → x = 1, y = 0
3. A S T B → x = 1, y = 0
4. S A B T→ x = 0, y = 0
5. S A T B → x = 0, y = 0
6. S T A B → x = 0, y = 0
c) Ahora suponga que cada suma o resta demanda 3 acciones, y cada asignación demanda una acción.
¿Cuántas historias posibles hay?
Con nprocesos y m acciones:
n = 2, m = 5; (n*m)! / (m!)n = 252
2. En el programa del punto anterior:
a) ¿Se cumple con la propiedad, A lo Sumo una Vez en la primera expresión del primer proceso?Justifique.
No. En la expresión, y es una referencia crítica. Y a su vez, x es leída en el otro proceso.
b) ¿Se cumple con la propiedad, ASV en la segunda expresión del primer proceso? Justifique.
No. Laexpresión tiene 2 referencias críticas, y a su vez, z es leída en el otro proceso.
c) ¿Se cumple con la propiedad, ASV en la primera expresión del segundo proceso? Justifique.
No. z es...