UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Algoritmo de Dekker, simplificado Acima: Sincronização com Memória Compartilhada Anterior: Sincronização com Memória Compartilhada

Acessos Indivisíveis à Memória

• Ú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.