Reliability MicroKernel: Providing application-aware reliability in the OS

IEEE Transactions on Reliability

Volumn 56, Issue 4, 2007, Pages 597-614

  Wang, Long ^a   Kalbarczyk, Zbigniew ^a   Gu, Weining ^a   Iyer, Ravishankar K ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Application aware reliability; Checkpointing; Error detection; OS level error detection; System crash hang detection; Transparent application checkpointing

Indexed keywords

COMPUTER OPERATING SYSTEMS; ERROR DETECTION; SUPERVISORY AND EXECUTIVE PROGRAMS;

APPLICATION AWARE RELIABILITY; SYSTEM CRASH/HANG DETECTION;

SOFTWARE RELIABILITY;

EID: 36949008996     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2007.909758     Document Type: Article

References (36)

1. D. Bovet and M. Cesati, "Clock and timer circuits," in Understanding the Linux Kernel, 3rd ed.: O'Reilly & Associates, Inc., 2005, ch. 6.1.
2. Trace Distribution Center, Performance Evaluation Laboratory, Brigham Young University [Online]. Available: http://tds.cs.byu.edu/tds
3. IBM Corporation, "Open, secure, scalable, reliable UNIX for POWER5 servers," AIX 5L for POWER Version 5.3, 2004.
4. A. Robertson, "The Evolution of the Linux-HA Project," in UKUUG LISA/Winter Conference on High-Availability and Reliability, Bournemouth, U.K., Feb. 2004.
5. M. Russinovich and Z. Segall, "Fault-tolerance for off-the-shelf applications and hardware," in Proc. of the 25th International Symposium on Fault-Tolerant Computing, 1995.
6. R. Rashid, R. Baron, A. Forin, D. Golub, M. Jones, D. Julin, D. Orr, and R. Sanzi, "Mach: A foundation for open systems," in Proc. 2nd Workshop Workstation Operating System, Sept. 1989.
7. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Léonard, and W. Neuhauser, "Overview of the CHORUS distributed operating systems," in USENIX Workshop on Microkernels and Other Kernel-Architectures, Seattle, WA, 1992.
8. N. Nakka, G. P. Saggese, Z. Kalbarczyk, and R. K. Iyer, "An architectural framework for detecting process hangs/crashes," in The European Dependable Computing Conference 2005, pp. 103-121.
9. N. Nakka, Z. Kalbarczyk, R. K. Iyer, and J. Xu, "An architectural framework for providing reliability and security support," in International Conference on Dependable Systems and Networks, 2004, pp. 585-594.
10. "Operations Manual: PCI Watch-Dog Timer Card" DECISION-COMPUTER Deutschland Online. Available: http://www.decision-computer.de/dowSHD/sonstiges/manualPCIwatchdod.PDF
11. D. Beauregard, "Error injection-based failure profile of the IEEE 1394 bus," MS thesis,, 2003.
12. Z. Kalbarczyk, R. K. Iyer, and L. Wang, "Application fault tolerance with armor middleware," IEEE Internet Computing, vol. 9, no. 2, pp. 28-37, 2005.
13. J. S. Plank, M. Beck, G. Kingsley, and K. Li title, "Libckpt: Transparent checkpointing under unix," in Conference Proceedings, Usenix Winter 1995 Technical Conference, New Orleans, LA, January 1995, pp. 213-223.
14. S. Osman, D. Subhraveti, G. Su, and J. Nieh, "The design and implementation of zap: A system for migrating computing environments," ACM SIGOPS Operating Systems Review, vol. 36, 2002.
15. E. Pinheiro, "Truly transparent checkpointing of parallel applications," Dec. 1997 [Online]. Available: http:// www.research.rutgers.edu/~edpin/epckpt/epckpt.ps.gz, Internal Report
16. L. Wang, Z. Kalbarczyk, R. K. Iyer, H. Vora, and T. Chahande, "Checkpointing of control structures in main memory database systems," in The International Conference on Dependable Systems and Networks 2004, pp. 687-692.
17. D. Bovet and M. Cesati, "Checking the NMI watchdogs," in Understanding the Linux Kernel, 3rd ed.: O'Reilly & Associates, Inc., 2005, ch. 6.4.2.
18. Y.S. Li, S. Malik, and A. Wolfe, "Performance estimation of embedded software with instruction cache modeling," ACM Trans. on Design Automation of Electronic Systems, vol. 4, no. 3.
19. M.E. Russinovich and D. A. Solomon, Microsoft Windows Internals, 4th ed.: Microsoft Press, 2005.
20. G. Trent and M. Sake, WebSTONE: The First Generation in http Server Benchmarking.: MTS Silicon Graphics, Feb. 1995.
21. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler, "An empirical study of operating systems errors,"in Symposium on Operating Systems Principles, 2001.
22. "IA-32 Intel Architecture Software Developer's Manual, Volume 3: System Programming Guide," Intel Corp., 2006.
23. "IA-32 Intel Architecture Software Developer's Manual, Volume 1: Basic Architecture," Intel Corp., 2006.
24. D. T. Stott, B. Floering, D. Burke, Z. Kalbarczyk, and R. K. Iyer, "Dependability assessment in distributed systems with lightweight fault injectors in NFTAPE," in Proc. of the Dependable Computing for Critical Applications Conf., 1998.
25. L. Stein and D. MacEachern, Writing Apache Modules with Perl and C. O'Reilly & Associates, Inc., 1999.
26. F. Salles, M. Rodriguez, J.-C. Fabre, and J. Arlat, "MetaKernels and fault containment wrappers," in Proc. of the 29th International Symposium on Fault-Tolerant Computing, 1999, pp. 22-29.
27. J. Arlat, J.-C. Fabre, M. Rodriguez, and F. Salles, "Dependability of COTS Microkernel-based systems," IEEE Trans. Computers, vol. 51, no. 2, Feb. 2002.
28. S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou, "Flashback: A lightweight extension for rollback and deterministic replay for software debugging," in USENIX Annual Technical Conference, General Track, 2004, pp. 29-44.
29. P. Bernstein, "Sequoia: A fault-tolerant tightly coupled multiprocessor for transaction processing," IEEE Computer, Feb. 1988.
30. W. Gu, Z. Kalbarczyk, R. K. Iyer, and Z. Yang, "Characterization of Linux Kernel behavior under errors," in The International Conference on Dependable Systems and Networks, 2003.
31. Y. Huang and C. Kintala, "Software-implemented fault tolerance: technologies and experience," in Proc. IEEE Fault-Tolerant Computing Symp., June 1993.
32. N. Neves and W. K. Fuchs, "RENEW: A tool for fast and efficient implementation of checkpoint protocols," in Proc. of the 28th International Symposium on Fault-Tolerant Computing (FTCS), June 1998.
33. L. Wang, K. Pattabiraman, Z. Kalbarczyk, and R. K. Iyer, "Modeling coordinated checkpointing for large-scale supercomputers," in International Conference on Dependable Systems and Networks, 2005.
34. M. Beck, J. S. Plank, and G. Kingsley, "Compiler-assisted checkpointing," Technical Report UT-CS-94-269, 1994.
35. G. Hoglund and J. Butler, Rootkits: Subverting the Windows Kernel. : Addison-Wesley Professional, July 2005, ISBN: 0321294319.
36. P. Koopman and J. DeVale, "The exception handling effectiveness of POSIX operating systems," IEEE Trans. Software Engineering, vol. 26, no. 9, 2000.