Self-stabilizing clock synchronization in a hierarchical network
被引:2
作者:
Ciuffoletti, A
论文数: 0引用数: 0
h-index: 0
机构:
Univ Pisa, Dipartimento Informat, I-56125 Pisa, ItalyUniv Pisa, Dipartimento Informat, I-56125 Pisa, Italy
Ciuffoletti, A
[1
]
机构:
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
来源:
19TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS - WORKSHOP ON SELF-STABILIZING SYSTEMS, PROCEEDINGS
|
1999年
关键词:
distributed systems concepts;
distributed algorithms;
self-stabili-zation;
clock synchronization;
consensus;
D O I:
10.1109/SLFSTB.1999.777491
中图分类号:
TP301 [理论、方法];
学科分类号:
081202 ;
摘要:
We are aiming at introducing a solution to a consensus problem, which models the a-synchronous part of a clock synchronization problem. The solution is based on. the diffusion of a request from the peripheral units to the privileged units that respond with the value of a reference clock that is diffused in the opposite direction. The diffusion is controlled by a hierarchical arrangement of the units, which operate following a 3-state self-stabilizing algorithm. The overall behavior is modeled as a series of waves that propagate in, the system, and that are periodically triggered by peripheral units. The appendix contains the exhaustive proof of the formal claims contained in the paper.