Synchronization modulo P in dynamic networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2023

Synchronization modulo P in dynamic networks


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
37 View
17 Download



Gmail Mastodon Facebook X LinkedIn More