(Almost) All Atomic Objects are Equal in a Distributed System
This talk revisits some of the fundamental results in distributed computing by stating that the knowledge about failures needed to implement (almost) all atomic objects in a distributed system is the same. In particular, objects like queue, test-and-set, fetch-and-add, known to have a weak synchronization power in a multiprocessor system, are in a precise sense equivalent in a message passing distributed system to objects like compare-and-swap, known to have a strong synchronoization power.
Rachid Guerraoui is professor at the
school of computer and communication sciences at EPFL and member of the
Distributed Computing Theory group at MIT in Boston. In the past,
Rachid Guerraoui also worked with the Centre de Recherche de l'Ecole
des Mines de Paris, the Commissariat à l'Energie Atomique in
Saclay (France) and HP Labs in Palo Alto (California). Rachid Guerraoui
is interested in distributed algorithms, distributed programming
languages, cycling, surfing and wine testing.