Curios: Improving reliability through operating system structure

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008

Volumn , Issue , 2019, Pages 59-72

  David, Francis M ^a   Chan, Ellick M ^a   Carlyle, Jeffrey C ^a   Campbell, Roy H ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

ERROR PROPAGATION; FAULT INJECTION; FILE SYSTEMS; PROTECTION DOMAINS; SERVICE FAILURE; STATE CORRUPTIONS; SYSTEM SERVICES; SYSTEM STRUCTURES;

ERRORS;

EID: 85076886809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (55)

1. ABROSSIMOV, V., AND HEMANN, F. Fast Error Recovery in CHORUS/OS: The Hot-Restart Technology. Tech. Rep. CSI-T4-96-34, Chorus Systems, Inc., August 1996.
2. TMIntegrator Family. http://www.arm.com/products/DevTools/Hardware_Platforms. html.
3. AVIZIENIS, A., LAPRIE, J.-C., RANDELL, B., AND LANDWEHR, C. E. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1, 1 (2004), 11-33.
4. BARTLETT, J., GRAY, J., AND HORST, B. Fault Tolerance in Tandem Computer Systems. In The Evolution of Fault-Tolerant Systems, A. Avizienis, H. Kopetz, and J.C. Laprie, Eds. Springer-Verlag, Vienna, Austria, 1987, pp. 55-76.
5. BARTLETT, J. F. A NonStop Kernel. In Symposium on Operating Systems Principles (New York, NY, USA, 1981), ACM Press, pp. 22-29.
6. BARTLETT, W., AND SPAINHOWER, L. Commercial Fault Tolerance: A Tale of Two Systems. IEEE Transactions on Dependable and Secure Computing 1, 1 (2004), 87-96.
7. BELLARD, F. QEMU, a Fast and Portable Dynamic Translator. In USENIX Annual Technical Conference, FREENIX Track (April 2005).
8. CAMPBELL, R. H., JOHNSTON, G. M., AND RUSSO, V. “Choices (Class Hierarchical Open Interface for Custom Embedded Systems)”. ACM Operating Systems Review 21, 3 (July 1987), 9-17.
9. CANDEA, G., AND FOX, A. Crash-Only Software. In Proceedings of the 9th Workshop on Hot Topics in Operating Systems (HotOS IX) (Lihue, HI, May 2003).
10. CANDEA, G., KAWAMOTO, S., FUJIKI, Y., FRIEDMAN, G., AND FOX, A. Microreboot - A Technique for Cheap Recovery. In Symposium on Operating Systems Design and Implementation (San Francisco, CA, December 2004), pp. 31-44.
11. CHASE, J. S., LEVY, H. M., FEELEY, M. J., AND LAZOWSKA, E. D. Sharing and Protection in a Single Address Space Operating System. ACM Transactions on Computer Systems 12, 4 (1994), 271-307.
12. CHEN, P. M., NG, W. T., CHANDRA, S., AYCOCK, C., RAJAMANI, G., AND LOWELL, D. The Rio File Cache: Surviving Operating System Crashes. In International Conference on Architectural Support for Programming Languages and Operating Systems (1996), pp. 74-83.
13. CHOU, A., YANG, J., CHELF, B., HALLEM, S., AND ENGLER, D. R. An Empirical Study of Operating System Errors. In Symposium on Operating Systems Principles (2001), pp. 73-88.
14. Compressed ROM filesystem. http://sourceforge.net/projects/cramfs/.
15. DAVID, F. M., AND CAMPBELL, R. H. Building a Self-Healing Operating System. In Symposium on Dependable, Autonomic and Secure Computing (Columbia, MD, Sep 2007), pp. 3-17.
16. DAVID, F. M., CARLYLE, J. C., AND CAMPBELL, R. H. Exploring Recovery from Operating System Lockups. In USENIX Annual Technical Conference (Santa Clara, CA, June 2007), pp. 351-356.
17. DAVID, F. M., CARLYLE, J. C., CHAN, E. M., RAILA, D. K., AND CAMPBELL, R. H. Exception Handling in the Choices Operating System, vol. 4119 of Lecture Notes in Computer Science. Springer-Verlag Inc., New York, NY, USA, 2006.
18. DAVID, F. M., CARLYLE, J. C., CHAN, E. M., REAMES, P. A., AND CAMPBELL, R. H. Improving Dependability by Revisiting Operating System Design. In Workshop on Hot Topics in Dependability (Edinburgh, UK, June 2007), pp. 58-63.
19. DENNING, P. J. Fault Tolerant Operating Systems. ACM Computing Survey 8, 4 (1976), 359-389.
20. DUNKELS, A. Full TCP/IP for 8-bit Architectures. In International Conference on Mobile Systems, Applications and Services (New York, NY, USA, 2003), ACM, pp. 85-98.
21. ENGLER, D. R., KAASHOEK, M. F., AND O'TOOLE, J. Exokernel: An Operating System Architecture for Application-Level Resource Management. In Symposium on Operating Systems Principles (1995), pp. 251-266.
22. GU, W., KALBARCZYK, Z., AND IYER, R. K. Error Sensitivity of the Linux Kernel Executing on PowerPC G4 and Pentium 4 Processors. In International Conference on Dependable Systems and Networks (Washington, DC, USA, 2004), IEEE Computer Society, pp. 887-896.
23. HARTIG, H., HOHMUTH, M., AND WOLTER, J. Taming Linux. In Australasian Conference on Parallel And Real-Time Systems (Adelaide, Australia, Sept 1998).
24. HERDER, J., BOS, H., GRAS, B., HOMBURG, P., AND TANENBAUM, A. S. Roadmap to a Failure-Resilient Operating System. USENIX;login 32 (February 2007), 14-20.
25. HERDER, J. N., BOS, H., GRAS, B., HOMBURG, P., AND TANENBAUM, A. S. Reorganizing UNIX for Reliability. In Asia-Pacific Computer Systems Architecture Conference (2006), pp. 81-94.
26. HERDER, J. N., BOS, H., GRAS, B., HOMBURG, P., AND TANENBAUM, A. S. Failure Resilience for Device Drivers. In International Conference on Dependable Systems and Networks (2007), pp. 41-50.
27. HILLER, M., JHUMKA, A., AND SURI, N. PROPANE: An Environment for Examining the Propagation of Errors in Software. In Symposium on Software Testing and Analysis (New York, NY, USA, 2002), ACM Press, pp. 81-85.
28. HUNT, G. C., LARUS, J. R., ABADI, M., AIKEN, M., BARHAM, P., FAHNDRICH, M., HAWBLITZEL, C., HODSON, O., LEVI, S., MURPHY, N., STEENSGAARD, B., TARDITI, D., WOBBER, T., AND ZILL, B. An Overview of the Singularity Project. Tech. Rep. MSR-TR-2005-135, Microsoft Research, 2005.
29. HYDEN, E. A. Operating System Support for Quality of Service. PhD thesis, University of Cambridge, 1994.
30. JOHANSSON, R. On Single Event Upset Error Manifestation. In European Dependable Computing Conference (London, UK, 1994), Springer-Verlag, pp. 217-231.
31. KAASHOEK, M. F., ENGLER, D. R., GANGER, G. R., NO, H. M. B., HUNT, R., MAZIÈRES, D., PINCKNEY, T., GRIMM, R., JANNOTTI, J., AND MACKENZIE, K. Application Performance and Flexibility on Exokernel Systems. In Symposium on Operating Systems Principles (New York, NY, USA, 1997), ACM Press, pp. 52-65.
32. KENNELL, R., AND JAMIESON, L. H. Establishing the Genuinity of Remote Computer Systems. In USENIX Security Symposium (2003), pp. 295-308.
33. KITTUR, S., ARMAND, F., STEEL, D., AND LIPKIS, J. Fault Tolerance in a Distributed CHORUS/MiX System. In USENIX Annual Technical Conference (1996), pp. 219-228.
34. LEE, I., AND IYER, R. K. Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. In International Symposium on Fault-Tolerant Computing (1993), pp. 20-29.
35. LESLIE, B., VAN SCHAIK, C., AND HEISER, G. Wombat: A portable user-mode Linux for embedded systems. In Linux.Conf.Au, (Canberra) (April 2005).
36. LEVASSEUR, J., UHLIG, V., STOESS, J., AND GÖTZ, S. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In Symposium on Operating Systems Design and Implementation (San Francisco, CA, Dec. 2004), pp. 17-30.
37. LIEDTKE, J. On µ-Kernel Construction. In Symposium on Operating Systems Principles (New York, NY, USA, 1995), ACM Press, pp. 237-250.
38. NG, W. T., AND CHEN, P. M. The Systematic Improvement of Fault Tolerance in the Rio File Cache. In International Symposium on Fault-Tolerant Computing (1999), pp. 76-83.
39. RANDELL, B. Operating Systems: The Problems of Performance and Reliability. In IFIP Congress 71 Volume 1 (1971), pp. 281-290.
40. ROZIER, M., ABROSSIMOV, V., ARMAND, F., BOULE, I., GIEN, M., GUILLEMONT, M., HERRMAN, F., KAISER, C., LANGLOIS, S., LÉONARD, P., AND NEUHAUSER, W. Overview of the Chorus Distributed Operating System. In Workshop on Micro-Kernels and Other Kernel Architectures (Seattle WA (USA), 1992), pp. 39-70.
41. SANDBERG, R., GOLDBERG, D., KLEIMAN, S., WALSH, D., AND LYON, B. Design and Implementation of the Sun Network Filesystem. In USENIX Conference (Portland, OR, USA, 1985), pp. 119-130.
42. SELTZER, M. I., ENDO, Y., SMALL, C., AND SMITH, K. A. Dealing With Disaster: Surviving Misbehaved Kernel Extensions. In Symposium on Operating Systems Design and Implementation (New York, NY, USA, 1996), ACM, pp. 213-227.
43. SHAPIRO, J. S. EROS: A Capability System. PhD thesis, University of Pennsylvania, 1999.
44. The Standish Group. TCO in the Trenches 2002. http://www.himalaya.compaq.com/object/TCO.html.
45. SWIFT, M. M., ANNAMALAI, M., BERSHAD, B. N., AND LEVY, H. M. Recovering Device Drivers. In Symposium on Operating Systems Design and Implementation (2004), pp. 1-16.
46. SWIFT, M. M., BERSHAD, B. N., AND LEVY, H. M. Improving the Reliability of Commodity Operating Systems. In Symposium on Operating Systems Principles (New York, NY, USA, 2003), ACM Press, pp. 207-222.
47. TANENBAUM, A. S., HERDER, J. N., AND BOS, H. Can We Make Operating Systems Reliable and Secure? IEEE Computer 39, 5 (2006), 44-51.
48. Texas Instruments OMAP Platform. http://focus.ti.com/omap/docs/omaphomepage.tsp.
49. TORRES-POMALES, W. Software Fault Tolerance: A Tutorial. Tech. Rep. NASA/TM-2000-210616, NASA Langley Research Center, 2000.
50. ÚLFAR ERLINGSSON, VALLEY, S., ABADI, M., VRABLE, M., BUDIU, M., AND NECULA, G. C. XFI: Software Guards for System Address Spaces. In Symposium on Operating Systems Design and Implementation (Berkeley, CA, USA, 2006), USENIX Association, pp. 75-88.
51. VENEMA, W. Murphy's law and computer security. USENIX Security Symposium (1996), 187.
52. WANG, L., KALBARCZYK, Z., GU, W., AND IYER, R. K. An OS-level Framework for Providing Application-Aware Reliability. In IEEE Pacific Rim International Symposium on Dependable Computing (2006).
53. WELCH, B. B. Naming, State Management, and User-Level Extensions in the Sprite Distributed File System. PhD thesis, University of California, Berkeley, CA 94720, Feb. 1990. Technical Report UCB/CSD 90/567.
54. WITCHEL, E., CATES, J., AND ASANOVIĆ, K. Mondrian Memory Protection. In International Conference on Architectural Support for Programming Languages and Operating Systems (New York, NY, USA, 2002), ACM Press, pp. 304-316.
55. ZHOU, F., CONDIT, J., ANDERSON, Z., BAGRAK, I., ENNALS, R., HARRE, M., NECULA, G., AND BREWER, E. SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. In Symposium on Operating Systems Design and Implementation (Nov 2006), pp. 45-60.