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

Alternância Estrita
turn é global e binário – para dois processos
var turn: 0..1;
P0:
while turn≠0 do {nothing};
< critical section >
turn := 1;
P1:
while turn≠1 do {nothing};
< critical section >
turn := 0;
garante a exclusão mútua com alternância na execução
dos diferentes processos
Acesso a região crítica, de acordo com a velocidade do
processo