Toward Self-Stabilizing Operating Systems

Authors:
Shlomi Dolev;Reuven Yagel
Affiliations:
Ben-Gurion University of the Negev, Israel;Ben-Gurion University of the Negev, Israel
Venue:
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Year:
2004

Citing 0
Cited 14

Research issues in automatic database clustering

ACM SIGMOD Record
Self-stabilizing operating systems

Proceedings of the twentieth ACM symposium on Operating systems principles
Recovery oriented programming

Proceedings of the twentieth ACM symposium on Operating systems principles
Self-stabilizing distributed file system

Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Self-stabilizing device drivers

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A self-stabilizing autonomic recoverer for eventual Byzantine software

Journal of Systems and Software
Self-stabilization preserving compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Recovery oriented programming

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing device drivers

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of Byzantine guests

SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests

ACM SIGOPS Operating Systems Review
Self-stabilization preserving compiler

SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Memory management for self-stabilizing operating systems

SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Self-stabilizing Java

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work presents several approaches for designing self-stabilizing operating systems. The first approach is based on periodical automatic reinstalling of the operating system and restart. The second, reinstalls the executable portion of the operating system and uses predicates on the operating system state (content of variables) to ensure that the operating system does not diverge from its specifications. The last approach presents an example of a tailored self-stabilizing very-tiny operating system. Prototypes using the Intel Pentium processor were composed.