Self-Stabilizing Clock Synchronization in Dynamic Networks - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Self-Stabilizing Clock Synchronization in Dynamic Networks

Résumé

We consider the fundamental problem of periodic clock synchronization in a synchronous multi-agent system. Each agent holds a clock with an arbitrary initial value, and clocks must eventually be congruent, modulo some positive integer P. Previous algorithms worked in static networks with drastic connectivity properties and assumed that global informations are available at each node. In this paper, we propose a finite-state algorithm for time-varying topologies that does not require any global knowledge on the network. The only assumption is the existence of some integer D such that any two nodes can communicate in each sequence of D consecutive rounds, which extends the notion of strong connectivity in static network to dynamic communication patterns. The smallest such D is called the dynamic diameter of the network. If an upper bound on the diameter is provided, then our algorithm achieves synchronization within 3D rounds, whatever the value of the upper bound. Otherwise, using an adaptive mechanism, synchronization is achieved with little performance overhead. Our algorithm is parameterized by a function g, which can be tuned to favor either time or space complexity. Then, we explore a further relaxation of the connectivity requirement: our algorithm still works if there exists a positive integer R such that the network is rooted over each sequence of R consecutive rounds, and if eventually the set of roots is stable. In particular, it works in any rooted static network.
Fichier principal
Vignette du fichier
LIPIcs-OPODIS-2022-28.pdf (695.53 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04024139 , version 1 (10-03-2023)

Identifiants

Citer

Bernadette Charron-Bost, Louis Penet de Monterno. Self-Stabilizing Clock Synchronization in Dynamic Networks. 26th International Conference on Principles of Distributed Systems OPODIS2022, Dec 2022, Brussels (Belgium), Belgium. ⟨10.4230/LIPIcs.OPODIS.2022.28⟩. ⟨hal-04024139⟩
14 Consultations
35 Téléchargements

Altmetric

Partager

More