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

Cooperação entre processos
Suponha a ordem de execução (entre processos) e a = b = 1 inicialmente
a = a +1; (P1)
b = b * 2; (P2)
b = b + 1; (P1)
a = a * 2; (P2)
Final: a = 4 e b = 3
A condição não se mantém – região crítica deve ser definida e exclusão
mútua mantida