Toward self-stabilizing operating systems

International Conference on Database and Expert Systems Applications - DEXA

Volumn 15, Issue , 2004, Pages 684-688

  Dolev, Shlomi ^a   Yagel, Reuven ^a  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; DATA STORAGE EQUIPMENT; MONITORING; PROBABILISTIC LOGICS; PROGRAM PROCESSORS; SOFTWARE ENGINEERING;

HARDWARE RESOURCES; SELF STABILIZING OPERATING SYSTEMS; SOFT ERRORS; SOFTWARE PACKAGES;

COMPUTER OPERATING SYSTEMS;

EID: 10144231475     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dexa.2004.1333553     Document Type: Conference Paper

References (20)

1. Francois Armand. "ChorusOS Features and Architecture overview", Sun Technical Report, December 2001.
2. O. Brukman, S. Dolev, H. Kolodner. "Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software", Proceedings of IEEE International Conference on Software-Science Technology & Engineering, (SwSTE03), Israel, 2003.
3. M. Castro, B. Liskov. "Proactive Recovery in a Byzantine-Fault-Tolerant System", Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, pp. 273-288, San Diego, USA, October 2000.
4. S. Dolev. Self-Stabilization, The MIT Press, Cambridge, 2000.
5. E. W. Dijkstra. "Self-Stabilizing Systems in Spite of Distributed Control", Communications of the ACM, Vol. 17, No. 11, pp. 643-644, 1974.
6. S. Dolev, R. Kat. "Self-Stabilizing Distributed File Systems", International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS 2002), pp. 384-389, 2002.
7. S. Dolev, Y. Haviv. "Self-Stabilizing Microprocessor, Analyzing and Overcoming Soft-Errors", 17th International Conference on Architecture of Computing Systems (ARCS04), pp. 31-46, 2004.
8. S. Dolev, S. Moran, A. Israeli. "Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity", Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computation, pp. 103-117, 1990.
9. S. Dolev, J. L. Welch. "Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults," Proceedings of the Second Workshop on Self-Stabilizing Systems, (WSS 1995), pp. 9.1-9.12, 1995.
10. S. Dolev and R. Yagel. "Toward Self-Stabilizing Operating Systems". Technical report, # 04-01, Computer Science, Ben-Gurion University, Beer-Sheva, Israel, March 2004.
11. A. Fox, D. Patterson. "Self-Repairing Computers", Scientific American, June, 2003
12. Y. Hong, D. Chen, L. Li, K. S. Trivedi. "Closed Loop Design for Software Rejuvenation", Workshop on Self-Healing, Adaptive, and Self-Managed Systems (SH AMAN), 2002.
13. Intel. "The IA-32 Intel Architecture Software Developer's Manual, Volume 1: Basic Architecture. Volume 2: Manual Reference. Volume 3: System Programming guide", http://developer.intel.com/design/pentium4/manuals/, 2003.
14. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, K. Pister. "System Architecture Directions for Networked Sensors", ASPLOS 2000.
15. C. R. Landau. "The checkpoint mechanism in KeyKOS", Proceedings of the Second International Workshop on Object Orientation in Operating Systems, pp. 86-91, September, 1992.
16. L. Lamport, R. Shostak, and M. Pease. "The Byzantine Generals Problem", ACM Trans. on Programming Languages and Systems, Vol. 4, No. 3, pp. 382-401, 1982.
17. Microsoft. "Windows XP/Office XP Feature Overview". http://www.microsoft.com/windowsxp/pro/evaluation/overviews/windowsxpofficexp. asp.
18. P. C. Murley, G. R. Srinivasan. "Soft-error Monte Carlo modeling program, SEMM", IBM Journal of Research and Development, volume 40, Number 1 pages 109-118, 1996.
19. H. Munz. "LP-VxWin VxWorks Together with Windows on the same PC", Real-Time Magazine 97Q2 on RTOS Update (part1), 1997, http://www.realtime-info.be/
20. http://users.win.be/W0005997/GI/nmi.html