Self-Stabilizing Clock Synchronization in Probabilistic Networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2023

Self-Stabilizing Clock Synchronization in Probabilistic Networks


We consider the fundamental problem of clock synchronization in a synchronous multi-agent system. Each agent holds a clock with an arbitrary initial value, and clocks must eventually indicate the same value, modulo some integer P. A known solution for this problem in dynamic networks is the self-stabilization SAP (for self-adaptive period) algorithm, which uses finite memory and relies solely on the assumption of a finite dynamic diameter in the communication network. This paper extends the results on this algorithm to probabilistic communication networks: We introduce the concept of strong connectivity with high probability and we demonstrate that in any probabilistic communication network satisfying this hypothesis, the SAP algorithm synchronizes clocks with high probability. The proof of such a probabilistic hyperproperty is based on novel tools and relies on weak assumptions about the probabilistic communication network, making it applicable to a wide range of networks, including the classical push model. We provide an upper bound on time and space complexity. Building upon previous works by Feige et al. and Pittel, the paper provides solvability results and evaluates the stabilization time and space complexity of SAP in two specific cases of communication topologies.
Fichier principal
Vignette du fichier
article.pdf (663.07 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04290001 , version 1 (16-11-2023)



Bernadette Charron-Bost, Louis Penet de Monterno. Self-Stabilizing Clock Synchronization in Probabilistic Networks. DISC 2023 - 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italie, Italy. pp.12:1--12:18, ⟨10.4230/LIPICS.DISC.2023.12⟩. ⟨hal-04290001⟩
18 View
13 Download



Gmail Mastodon Facebook X LinkedIn More