Advertisement

Operating systems and fault-tolerance

  • Richard D. Schlichting
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 563)

Abstract

The key to constructing fault-tolerant software is managing the extra complexity through the use of appropriate programming paradigms, abstractions, and system structuring techniques. While significant progress has been made in these areas, it is clear that additional work is required to bring the level of software sophistication in this area up to that found elsewhere. This is a problem not just for the new hardware architectures that are now coming into play, but also for current hardware architectures. However, no matter what advances are made, the inherent complications induced by the need to worry about failures will always make the design, implementation, and verification of fault-tolerant systems more complex than other systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Laprie, J.C. (ed.), Dependability: Basic Concepts and Associated Terminology, Vol. 5, Dependable Computing and Fault-Tolerant Systems Series, Springer-Verlag, Vienna, to appear.Google Scholar
  2. [2]
    Neumann, P.G., Illustrative risks to the public in the use of computer systems and related technology, Software Engineering Notes 16, 1 (Jan. 1991), 2–9.Google Scholar
  3. [3]
    Schneider, F.B., Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys 22, 4 (Dec. 1990), 299–319.CrossRefGoogle Scholar
  4. [4]
    Liskov, B., and Scheifler, R. Guardians and Actions: Linguistic Support for Robust Distributed Programs, ACM Trans. on Programming Languages and Systems 5, 3 (July 1983), 381–404.CrossRefGoogle Scholar
  5. [5]
    Randell, B., Lee, P.A., and Treleaven, P.C., Reliability Issues in Computing System Design, ACM Computing Surveys 10, 2 (June 1978), 123–166.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Richard D. Schlichting
    • 1
  1. 1.Department of Computer ScienceThe University of ArizonaTucsonUSA

Personalised recommendations