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

A seguir: Aula 15 - Exclusão Acima: The Drinking Philosophers Problem[#!Drinking!#] Anterior: Algoritmo para Filósofos Sedentos

Conclusão

• Um problema de sincronização complexo, com a dificuldade adicional dos ambientes distribuídos, foi resolvido porque: estrutura de prova de correção foi concebida junto com o algoritmo