TY - GEN
T1 - Self-stabilizing operating systems
AU - Dolev, Shlomi
AU - Yagel, Reuven
PY - 2005/12/1
Y1 - 2005/12/1
N2 - This work presents new directions for building a self stabilizing operating system kernel. A system is self-stabilizing [3, 4] if it can be started in any possible state and it converges to a desired behavior. A state of a system is an assignment of arbitrary values to the systems variables. The usefulness of such a system in critical and remote systems cannot be over estimated. Entire years of work maybe lost when the operating system of an expensive complicated device e.g., a spaceship, may reach an arbitrary state due to say, soft errors (e.g., [8]), and be lost forever. Last results of this research can be found in [5] and [6].
AB - This work presents new directions for building a self stabilizing operating system kernel. A system is self-stabilizing [3, 4] if it can be started in any possible state and it converges to a desired behavior. A state of a system is an assignment of arbitrary values to the systems variables. The usefulness of such a system in critical and remote systems cannot be over estimated. Entire years of work maybe lost when the operating system of an expensive complicated device e.g., a spaceship, may reach an arbitrary state due to say, soft errors (e.g., [8]), and be lost forever. Last results of this research can be found in [5] and [6].
UR - http://www.scopus.com/inward/record.url?scp=84885650593&partnerID=8YFLogxK
U2 - 10.1145/1095810.1118590
DO - 10.1145/1095810.1118590
M3 - Conference contribution
AN - SCOPUS:84885650593
SN - 1595930795
SN - 9781595930798
T3 - Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005
BT - Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005
T2 - 20th ACM Symposium on Operating Systems Principles, SOSP 2005
Y2 - 23 October 2005 through 26 October 2005
ER -