Cuarto intento

Modificamos la instrucción c: para dar la oportunidad que el otro proceso encuentre su variable a favor.

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

• Se puede producir una variante de bloqueo: los procesos hacen algo pero no llegan a hacer algo útil (livelock)

¿Cuál es la intercalación maligna?