Synchronization modulo P in dynamic networks - Archive ouverte HAL
Article Dans Une Revue Theoretical Computer Science Année : 2023

Synchronization modulo P in dynamic networks

Résumé

We define the mod P-synchronization problem as a weakening of the firing squad problem, where all nodes fire not at the same round, but at rounds that are all equal modulo P. We introduce an algorithm that achieves mod P-synchronization despite asynchronous starts in every dynamic network whose dynamic radius is bounded by some integer , that is, there always exists a temporal path of length at most from some fixed node γ , called a central node of the network, to all the other nodes. As opposed to the perfect synchronization achieved in the firing squad problem, mod P-synchronization thus does not require the network to be strongly connected. In our algorithm, nodes know , but they ignore which nodes are central in the network. We also prove that if the bound on the radius exists but is unknown, then mod P-synchronization is impossible. All nodes in our algorithm fire in less that 6Pn rounds, where n is the number of nodes, after all nodes become active, but use unbounded counters. We then present a refinement of this algorithm so that memory usage becomes bounded while maintaining the same time complexity. The correctness of our first algorithm has been formally established in the proof assistant Isabelle.
Fichier principal
Vignette du fichier
article.pdf (502.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz. Synchronization modulo P in dynamic networks. Theoretical Computer Science, 2023, 942, pp.200-212. ⟨10.1016/J.TCS.2022.11.033⟩. ⟨hal-04289753⟩
72 Consultations
49 Téléchargements

Altmetric

Partager

More