Concorrência: exclusão mútua e sincronização - UFF

Variável de Bloqueio
Não confirma exclusão mútua:
Processos entrar ao mesmo tempo em região crítica,
pois dois processos podem testar turn antes de setá-la
para true
var turn: 0..1
turn := 0
Process Pi:
...
while turn = 1 do {nothing};
turn := 1;
< critical section >
turn := 0;
...