TY - GEN
T1 - Self-stabilization preserving compiler
AU - Dolev, Shlomi
AU - Haviv, Yinnon
AU - Sagiv, Mooly
PY - 2005/12/1
Y1 - 2005/12/1
N2 - Self-Stabilization is an elegant approach for designing fault tolerant systems. A system is considered self-stabilizing if, starting in any state, it converges to the desired behavior. Self-stabilizing algorithms were designed for solving fundamental distributed tasks, such as leader election, token circulation and communication network protocols. The algorithms were expressed using guarded commands or pseudo-code. The realization of these algorithms requires the existence of (self-stabilizing) infrastructure for their execution such as a self-stabilizing microprocessor and a self-stabilizing operating system. Moreover, the high-level description of the algorithms needs to be converted into machine language of the microprocessor. In this work, we present a design for a self-stabilization preserving compiler designed for programs written in a language similar to the abstract state machine (ASM). The compiler preserves the stabilization property of the high level program.
AB - Self-Stabilization is an elegant approach for designing fault tolerant systems. A system is considered self-stabilizing if, starting in any state, it converges to the desired behavior. Self-stabilizing algorithms were designed for solving fundamental distributed tasks, such as leader election, token circulation and communication network protocols. The algorithms were expressed using guarded commands or pseudo-code. The realization of these algorithms requires the existence of (self-stabilizing) infrastructure for their execution such as a self-stabilizing microprocessor and a self-stabilizing operating system. Moreover, the high-level description of the algorithms needs to be converted into machine language of the microprocessor. In this work, we present a design for a self-stabilization preserving compiler designed for programs written in a language similar to the abstract state machine (ASM). The compiler preserves the stabilization property of the high level program.
UR - http://www.scopus.com/inward/record.url?scp=33646706319&partnerID=8YFLogxK
U2 - 10.1007/11577327_6
DO - 10.1007/11577327_6
M3 - Conference contribution
SN - 3540298142
SN - 9783540298144
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 81
EP - 95
BT - Self-Stabilizing Systems - 7th International Symposium, SSS 2005, Proceedings
T2 - 7th International Symposium on Self-Stabilizing Systems, SSS 2005
Y2 - 26 October 2005 through 27 October 2005
ER -