Building a self-healing operating system

Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing

Volumn , Issue , 2007, Pages 3-10

  David, Francis M ^a   Campbell, Roy H ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT INJECTION EXPERIMENTS; MICRO REBOOTING; WATCHDOG TIMERS;

DATA STORAGE EQUIPMENT; DATA TRANSFER; ERROR DETECTION; FAULT DETECTION;

SELF ADJUSTING CONTROL SYSTEMS;

EID: 38049006933     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISDASC.2007.4351383     Document Type: Conference Paper

References (37)

1. ARM Integrator Family. http://www.arm.com/miscPDFs/8877.pdf.
2. A. Avizienis, J.-C. Laprie, B. Randell, and C. E. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 1(1): 11-33, 2004.
3. M. Baker and M. Sullivan. The Recovery Box: Using Fast Recovery to Provide High Availability in the UNIX Environment. In USENIX, pages 31-44, Summer 1992.
4. F. Bellard. QEMU, a Fast and Portable Dynamic Translator. In USENIX Annual Technical Conference, FREENIX Track, April 2005.
5. Blue Screen, http://support.microsoft.com/kb/q129845/.
6. H. Bos and B. Samwel. Safe kernel programming in the OKE. In IEEE Open Architectures and Network Programming, 2002.
7. R. H. Campbell, G. M. Johnston, and V. Russo. "Choices (Class Hierarchical Open Interface for Custom Embedded Systems)". ACM Operating Systems Review, 21(3):9-17, July 1987.
8. G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot - A Technique for Cheap Recovery. In Symposium on Operating Systems Design and Implementation, San Francisco, CA, December 2004.
9. P. M. Chen, W. T. Ng, S. Chandra, C. Aycock, G. Rajamani, and D. Lowell. The Rio File Cache: Surviving Operating System Crashes. In Architectural Support for Programming Languages and Operating Systems, pages 74-83, 1996.
10. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler. An Empirical Study of Operating System Errors. In Symposium on Operating Systems Principles, pages 73-88, 2001.
11. F. M. David and R. H. Campbell. Recovering from Operating System Errors. Technical Report UIUCDCS-R-2007-2831, University of Illinois at Urbana-Champaign, March 2007.
12. F. M. David, J. C. Carlyle, and R. H. Campbell. Exploring Recovery from Operating System Lockups. In USENIX Annual Technical Conference, Santa Clara, CA, June 2007.
13. F. M. David, J. C. Carlyle, E. M. Chan, D. K. Raila, and R. H. Campbell. Exception Handling in the Choices Operating System, volume 4119 of Lecture Notes in Computer Science. Springer-Verlag Inc., New York, NY, USA, 2006.
14. F. M. David, J. C. Carlyle, E. M. Chan, P. A. Reames, and R. H. Campbell. Improving Dependability by Revisiting Operating System Design. In Workshop on Hot Topics in Dependability, Edinburgh, UK, June 2007.
15. B. Demsky and M. Rinard. Automatic Data Structure Repair for Self-Healing Systems. In Proceedings of the First Workshop on Algorithms and Architectures for Self-Managed Systems, San Diego, California, June 2003.
16. P. J. Denning. Fault Tolerant Operating Systems. ACM Cornput. Surv., 8(4):359-389, 1976.
17. B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, I. Pratt, A. Warfield, P. Barham, and R. Neugebauer. Xen and the Art of Virtualization. In Proceedings of the ACM Symposium on Operating Systems Principles, October 2003.
18. J. Duell, P. Hargrove, and E. Roman. The Design and Implementation of Berkeley Lab's Linux Checkpoint/Restart. Technical Report LBNL-54941, Lawrence Berkeley National Laboratory, 2003.
19. H. I. Glyfason and G. Hjalmtysson. Exceptional Kernel: Using C++ Exceptions in the Linux Kernel, October 2004. http://netlab.ru.is/exception/ KernelExceptions.pdf.
20. J. N. Herder. Towards a True Microkernel Operating System. Master's thesis, Vrije Universiteit Amsterdam, 2005.
21. B. Home, L. R. Matheson, C. Sheehan, andR. E. Tarjan. Dynamic Self-Checking Techniques for Improved Tamper Resistance. In Digital Rights Management Workshop, pages 141-159, 2001.
22. i.MX31 Multimedia Applications Processor. http://www.freescale.com/files/ 32bit/doc/ref_manual/MCIMX31RM.pdf.
23. J. Liedtke. On micro-kernel construction. In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, pages 237-250, New York, NY, USA, 1995. ACM Press.
24. V. J. Marathe, M. F. Spear, C. Heriot, A. Acharya, D. Eisenstat, W. N. Scherer III, and M. L. Scott. Lowering the Overhead of Software Transactional Memory. Technical Report TR 893, Computer Science Department, University of Rochester, Mar 2006.
25. N. Nakka, Z. Kalbarczyk, R. K. Iyer, and J. Xu. An Architectural Framework for Providing Reliability and Security Support. In DSN, pages 585-594. IEEE Computer Society, 2004.
26. G. D. Parrington, S. K. Shrivastava, S. M. Wheater, and M. C. Little. The Design and Implementation of Arjuna. Computing Systems, 8(2):255-308, 1995.
27. E. Pinheiro. Truly-Transparent Checkpointing of Parallel Applications, 1998. http://www.research.rutgers.edu/~edpin/epckpt/.
28. B. Randell. Operating Systems: The Problems of Performance and Reliability. In Proceedings of IFIP Congress 71 Volume 1, pages 281-290, 1971.
29. J. S. Shapiro. EROS: A Capability System. PhD thesis, University of Pennsylvania, 1999.
30. A. Shriraman, V. J. Marathe, S. Dwarkadas, M. L. Scott, D. Eisenstat, C. Heriot, W. N. Scherer III, and M. F. Spear. Hardware Acceleration of Software Transactional Memory. In ACM SIGPLAN Workshop on Transactional Computing. Jun 2006.
31. F. Sultan, A. Bohra, S. Smaldone, Y. Pan, P. Gallard, I. Neamtiu, and L. Iftode. Recovering Internet Service Sessions from Operating System Failures. IEEE Internet Computing, 9(2):17-21, 2005.
32. M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering Device Drivers. In Symposium on Operating Systems Design and Implementation, pages 1-16, 2004.
33. M. M. Swift, B. N. Bershad, and H. M. Levy. Improving the Reliability of Commodity Operating Systems. In Proceedings of the nineteenth ACM Symposium on Operating Systems Principles, pages 207-222, New York, NY, USA, 2003. ACM Press.
34. A. S. Tanenbaum, J. N. Herder, and H. Bos. Can We Make Operating Systems Reliable and Secure? Computer, 39(5):44-51, 2006.
35. Texas Instruments OMAP Platform, http ://focus.ti.com/omap/docs/ omaphomepage.tsp.
36. H. Zhong and J. Nieh. CRAK: Linux Checkpoint/Restart as a Kernel Module. Technical Report CUCS-014-01, Columbia University, November 2002.
37. F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harre, G. Necula, and E. Brewer. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. In Symposium on Operating Systems Design and Implementation, Nov 2006.