Tercer intento

Cambiamos el lugar donde se modifica la variable de control:

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

• Está garantizado que no entren ambos procesos al mismo tiempo en sus secciones críticas.
• Pero se bloquean mutuamente en caso que lo intentan simultaneamente que resultaría en una espera infinita.

¿Cuál es la intercalación maligna?