TY - GEN
T1 - An optimal self-stabilizing firing squad
AU - Dolev, Danny
AU - Hoch, Ezra N.
AU - Moses, Yoram
PY - 2009
Y1 - 2009
N2 - Consider a fully connected network where up to t processes may crash, and all processes start in an arbitrary memory state. The self-stabilizing firing squad problem consists of eventually guaranteeing simultaneous response to an external input. This is modeled by requiring that the non-crashed processes fire simultaneously if some correct process received an external go input, and that they only fire as a response to some process receiving such an input. This paper presents Fire-Squad, the first self-stabilizing firing squad algorithm. The Fire-Squad algorithm is optimal in two respects: (a) Once the algorithm is in a safe state, it fires in response to a go input as fast as any other algorithm does, and (b) Starting from an arbitrary state, it converges to a safe state as fast as any other algorithm does.
AB - Consider a fully connected network where up to t processes may crash, and all processes start in an arbitrary memory state. The self-stabilizing firing squad problem consists of eventually guaranteeing simultaneous response to an external input. This is modeled by requiring that the non-crashed processes fire simultaneously if some correct process received an external go input, and that they only fire as a response to some process receiving such an input. This paper presents Fire-Squad, the first self-stabilizing firing squad algorithm. The Fire-Squad algorithm is optimal in two respects: (a) Once the algorithm is in a safe state, it fires in response to a go input as fast as any other algorithm does, and (b) Starting from an arbitrary state, it converges to a safe state as fast as any other algorithm does.
UR - http://www.scopus.com/inward/record.url?scp=70549097140&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-05118-0_20
DO - 10.1007/978-3-642-05118-0_20
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:70549097140
SN - 3642051170
SN - 9783642051173
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 284
EP - 296
BT - Stabilization, Safety, and Security of Distributed Systems - 11th International Symposium, SSS 2009, Proceedings
T2 - 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009
Y2 - 3 November 2009 through 6 November 2009
ER -