A Connectivity Model for Agreement in Dynamic Systems

Carlos Gómez-Calzado (1) , Arnaud Casteigts (2) , Alberto Lafuente (1) , Mikel Larrea (1)

1 Distributed Systems Group [UPV/EHU]
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

The consensus problem is a fundamental paradigm in distributed systems, because it captures the difficulty to solve other agreement problems. Many current systems evolve with time, e.g., due to node mobility, and consensus has been little studied in these systems so far. Specifically, it is not well established how to define an appropriate set of assumptions for consensus in dynamic distributed systems. This paper studies a hierarchy of three classes of time-varying graphs, and provides a solution for each class to the problem of Terminating Reliable Broadcast (TRB). The classes introduce increasingly stronger assumptions on timeliness, so that the trade-off between weakness versus implementability and efficiency can be analysed. Being TRB equivalent to consensus in synchronous systems, the paper extends this equivalence to dynamic systems.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Réseaux et télécommunications [cs.NI]

Carlos Gómez-Calzado, Arnaud Casteigts, Alberto Lafuente, Mikel Larrea. A Connectivity Model for Agreement in Dynamic Systems. 21st International Conference on Parallel Processing (EURO-PAR 2015), Aug 2015, Vienne, Austria. pp.333 - 345, ⟨10.1007/978-3-662-48096-0_26⟩. ⟨hal-01472943⟩