Self-stabilizing device drivers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4280 LNCS, Issue , 2006, Pages 276-289

  Dolev, Shlomi ^a   Yagel, Reuven ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b RAFAEL   (Israel)

Author keywords

ATA interface standard; Device driver failures; Self stabilizing systems

Indexed keywords

COMPUTER SYSTEM RECOVERY; DATA STORAGE EQUIPMENT; FAULT TOLERANT COMPUTER SYSTEMS; INTERFACES (COMPUTER); NETWORK PROTOCOLS;

ATA INTERFACE STANDARD; DEVICE DRIVER FAILURES; SELF-STABILIZING SYSTEMS;

COMPUTER OPERATING SYSTEMS;

EID: 33845520129     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49823-0_19     Document Type: Conference Paper

References (35)

1. M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, M. Young. "MACH: A New Kernel Foundation for UNIX Development", Proceedings of the USENIX Summer Conference, Atlants, GA, 1986.
2. P. Barham, B. Dragovich, K. Fraser, S. Hand, A. Ho, I. Pratt. "Safe Hardware Access with the Xen Virtual Machine Monitor", 1st Workshop on Operating System and Architectural Support for On-Demand IT Infrastructure, May 2004.
3. 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.
4. T. Ball, S.K. Rajamani. "The SLAM Project: Debugging System Software via Static Analysis", Proceedings of the 29th Symposium on Principles of Programming Languages (POPL 2002), Portland, OR, 200.
5. 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, CA, October 2000.
6. A. Chou, J. Yang, B. Chelf, S. Hallem, D. Engler. "An empirical study of operating systems errors", Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP), 2001.
7. S. Dolev, Y. Haviv. "Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors", IEEE Trans. on Computers 55(4), 2006.
8. Also at: 17th International Conference on Architecture of Computing Systems (ARCS04), 2004.
9. E. W. Dykstra. "Self-Stabilizing Systems in Spite of Distributed Control," Communications of the ACM, Vol. 17, No. 11, pp. 643-644, 1974.
10. S. Dolev. Self-Stabilization, The MIT Press, Cambridge, 2000.
11. S. Dolev, R. Yagel. "Toward Self-Stabilizing Operating Systems", Proceedings of the 15th International Conference on Database and Expert Systems Applications, 2nd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS04,DEXA), pp. 684-688, Zaragoza, Spain, August 2004.
12. S. Dolev and R. Yagel. "Memory Management for Self-Stabilizing Operating Systems (Extended Abstract)". Proceedings of the 7th Symposium on Self Stabilizing Systems, Barcelona, October 2005.
13. K. T. Van Maren. "The Fluke Device Driver Framework", Master's thesis, The University of Utah, 1999.
14. G. C. Hunt, J. R. Larus, M. Abadi, M. Aiken, P. Barham, M. Fahndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, B. Zill. "An Overview of the Singularity Project", Microsoft Research Technical Report MSR-TR-2005-135, Microsoft Corporation, Redmond, WA, October 2005.
15. H. J. Löeser, F. Mehnert, L. Reuther, M. Pohlack, A. Warg. "An I/O Architecture for Mikrokernel-Based Operating Systems", Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, 2004
16. IBM. Autonomic computing initiative, http://www.research.ibm.com/ autonomic, 2001.
17. Intel Corporation. "The IA-32 Intel Architecture Software Developer's Manual", http://developer.Intel.com/design/pentium4/ documentation. htm, 2006.
18. M. Kistler, P. Shivakumar, L. Alvisi, D. Burger, and S. Keckler. "Modeling the effect of technology trends on the soft error rate of combinational logic". In ICDSN, volume 72 of LNCS, pages 216-226, 2002.
19. B. Leslie, G. Heiser. "Towards untrusted device drivers", Technical Report UNSWCSE-TR-OSOS, School of Computer Science and Engineering, 2003.
20. 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.
21. J. LeVasseur, V. Uhlig. "A Sledgehammer Approach to Reuse of Legacy Device Drivers", Proceedings of the 11th ACM SIGOPS European Workshop, Belgium, 2004.
22. J. LeVasseur, V. Uhlig, J. Stoess, S. Götz. "Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines", Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, 2004
23. P. G. Neumann, R. S. Boyer, R. J. Feiertag, K. N. Levitt, L. Robinson. "A provably secure operating system: The system, its applications, and proofs", Technical Report CSL-116, SRI International, 1980.
24. V. Prabhakaran, L. N. Bairavasundaram, N. Agrawal, H. S. Gunawi, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau. "IRON File Systems", Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05) Brighton, UK, October 2005.
25. D. Patterson, A. Brown, P. Broadwell, G. Candea, M. Chen, J. Cutler, P. Enriquez, A. Fox, E. Kiciman, M. Merzbacher, D. Oppenheimer, N. Sastry, W. Tetzlaff, J. Traupman, N. Treuhaft. "Recovery Oriented Computing(ROC): Motivation, definition, techniques and case studies", UC Berkeley Computer Science Technical Report UCB/CSD-02-1175, Berkeley, CA, March 2002.
26. M. Swift. "Improving the Reliability of Commodity Operating Systems", Ph.D. Dissertation, University of Washongton, 2005.
27. M. Swift, M. Annamalai, B. N. Bershad, H. M. Levy. "Recovering Device Drivers", Proceedings of the 6th ACM/USENIX Symposium on Operating Systems Design and Implementation (ODSI), San Francisco, 2004.
28. M. Swift, B. N. Bershad, H. M. Levy. "Improving the reliability of commodity operating systems", Proceedings of the 19th ACM Symposium on Operating Systems Principles (SOSP), Bolton Landing, NY, October 2003.
29. J. Shapiro, M. S. Doerrie, E. Northup, S. Sridhar, M. Miller. "Towards a verified, general-purpose operating system kernel". Available at http://www.coyotos.org, 2005.
30. http: //www.es.bgu.ac.il/~yagel/sos
31. M. Spear, T. Roeder, O. Hodson, G. Hunt, S. Levi. "Solving the Starting Problem: Device Drivers as Self-Describing Artifacts", Proceedings of EuroSys2006. Leuven, Belgium, April 2006.
32. http://WOT.selfstabilization.org
33. Sun Microsystems, Inc. 'Predictive Self-Healing in the Solaris™ 10 Operating System", White paper, September 2004. http://www.sun.com/ software/whitepapers/solaris10/self_healing.pdf.
34. InterNational Committee for Information Technology Standards,T13 ATA Storage Interface - T13/1532D Vol. 2. Revision 4a (working drafts). http://W13.t13.org/#Projects.
35. A. S. Tanenbaum, A. S. Woddhull. Operating Systems Design and Implementation, 3nd edition, (p. 225). Prentice Hall, New Jersey, 2006.