Edición de «Práctica Programación Concurrente (Sistemas Operativos)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 276: | Línea 276: | ||
Proc CruzarLado1 | Proc CruzarLado1 | ||
P(exc) | P(exc) | ||
P(X) | |||
gentelado1++ | |||
V(exc) | V(exc) | ||
cruzar | cruzar | ||
P(exc) | P(exc) | ||
gentelado1-- | |||
if (gentelado2>0 || gentelado1==0) | |||
V(Y) | |||
else | |||
V(X) | |||
endif | |||
V(exc) | V(exc) | ||
Proc CruzarLado2 | Proc CruzarLado2 | ||
P(exc) | P(exc) | ||
P(Y) | |||
gentelado2++ | |||
V(exc) | V(exc) | ||
cruzar | cruzar | ||
P(exc) | P(exc) | ||
gentelado2-- | |||
if (gentelado1>0 || gentelado2==0) | |||
V(X) | |||
else | |||
V(Y) | |||
endif | |||
V(exc) | V(exc) | ||
</pre> | </pre> |