A concepção de soluções para questões de concorrência
(exclusão mútua, bloqueio fatal, inanição) em sistemas
distribuídos tem como fator complicador o fato de não ser
possível, para o sistema operacional ou para qualquer
processo, conhecer o estado corrente de todos os processos
em um sistema distribuído.