Introdução

Problema: resolução equânime de conflitos em sistemas distribuídos[Chandy and Misra, 1984]
Conflitos podem ser resolvidos por uma propriedade que:
- sempre consiga decidir o vencedor de um conflito ( distinguibilidade )
- nunca deixe alguém morrer de fome ( equidade )
Soluções conhecidas: prioridades (tickets) e seleção probabilística (veremos mais tarde).
Proposta: uso da localização de recursos virtuais como propriedade de resolução
O Problema dos Filósofos Sedentos : paradigma para resolução de conflitos em sistemas distribuídos
Generalização do Jantar dos Filósofos proposto por Dijkstra