Acessos Indivisíveis à Memória

Regras do jogo:

Único conjunto de ações atômicas: leituras e escritas de palavras na memória;
Não existe possibilidade de implementação de espera não-ocupada;
A importância prática restringe-se à implementação em hardware de mecanismos primitivos de exclusão mútua;
A importância acadêmica é muito grande; Dijkstra[Dijkstra, 1965b], Knuth[Knuth, 1966] e diversos outros cientistas de calibre já se ocuparam do problema da obtenção da exclusão mútua nestas condições;
A primeira solução deve-se ao matemático holandês Dekker, e foi publicada por Dijkstra [Dijkstra, 1965a] em 1968.
Em 1981, Peterson[Peterson, 1981] propôs uma simplificação do algoritmo de Dekker; é esta a versão que veremos aqui.
Interessados em mais detalhes podem consultar a referência [Ben-Ari, 1986], que contem uma ótima introdução sobre algoritmos de exclusão mútua com memória partilhada.