Segundo intento

Intentamos evitar la alternancia. Usamos para cada proceso una variable, v0 para P0 y v1 para P1 respectivamente, que indica si el correspondiente proceso está usando el recurso.

  P0                               P1
a:  loop                             loop
b:    wait until v1 equals false       wait until v0 equals false
c:    set v0 to true                   set v1 to true
d:    critical section                 critical section
e:    set v0 to false                  set v1 to false
f:    non-critical section             non-critical section
g:  endloop                          endloop

• Ya no existe la situación de la alternancia.
• Sin embargo: el algoritmo no está seguro, porque los dos procesos pueden alcanzar sus secciones críticas simultáneamente.

El problema está escondido en el uso de las variables de control. v0 se debe cambiar a verdadero solamente si v1 sigue siendo falso.

¿Cuál es la intercalación maligna?