Survey of Distributed Decision

Laurent Feuilloley (1, 2) , Pierre Fraigniaud (1, 2)

1 IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
2 GANG - Networks, Graphs and Algorithms

We survey the recent distributed computing literature on checking whether a given distributed system configuration satisfies a given boolean predicate, i.e., whether the configuration is legal or illegal w.r.t. that predicate. We consider classical distributed computing environments, including mostly synchronous fault-free network computing (LOCAL and CONGEST models), but also asynchronous crash-prone shared-memory computing (WAIT-FREE model), and mobile computing (FSYNC model).

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Laurent Feuilloley, Pierre Fraigniaud. Survey of Distributed Decision. 2016. ⟨hal-01331880⟩