TY - JOUR
T1 - Self-stabilization preserving compiler
AU - Dolev, Shlomi
AU - Haviv, Yinnon
AU - Sagiv, Mooly
PY - 2009/8/1
Y1 - 2009/8/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 a (self-stabilizing) infrastructure such as a self-stabilizing microprocessor and a self-stabilizing operating system for their execution. Moreover, the high-level description of the algorithms needs to be converted into machine language of the microprocessor. In this article, we present our design for a self-stabilization preserving compiler. The compiler we designed and implemented transforms 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 a (self-stabilizing) infrastructure such as a self-stabilizing microprocessor and a self-stabilizing operating system for their execution. Moreover, the high-level description of the algorithms needs to be converted into machine language of the microprocessor. In this article, we present our design for a self-stabilization preserving compiler. The compiler we designed and implemented transforms programs written in a language similar to the abstract state machine (ASM). The compiler preserves the stabilization property of the high level program.
KW - Abstract state machines
KW - Compilers
KW - Self-stabilization
UR - http://www.scopus.com/inward/record.url?scp=70349745360&partnerID=8YFLogxK
U2 - 10.1145/1552309.1552312
DO - 10.1145/1552309.1552312
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:70349745360
SN - 0164-0925
VL - 31
JO - ACM Transactions on Programming Languages and Systems
JF - ACM Transactions on Programming Languages and Systems
IS - 6
M1 - 22
ER -