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

Self-Stabilizing Clock Synchronization in Probabilistic Networks

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
82 Consultations
44 Téléchargements

Altmetric

Partager

More