Skip to main content
SpringerLink
Log in

Fault-Tolerance Support for Responsive Computer Systems

  • Conference paper
Responsive Computer Systems

Part of the book series: Dependable Computing and Fault-Tolerant Systems ((DEPENDABLECOMP,volume 7))

  • 45 Accesses

Abstract

A number of projects related to supporting fault-tolerance in responsive systems are described. One area of work concerns the development of appropriate system abstractions. The focus here has been on designing and implementing Consul, a communication substrate for constructing fault-tolerant distributed programs. The other area concerns improving programming language support. The main projects in this area include a high-level distributed programming language called FT-SR, and a version of the Linda coordination language with fault-tolerance enhancements.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. C. Laprie, ed., Dependability: Basic Concepts and Terminology. Vienna: Springer-Verlag, 1992.

    MATH  Google Scholar 

  2. F. Schneider, “Implementing fault-tolerant services using the state machine approach: A tutorial,” ACM Computing Surveys, vol. 22, pp. 299–319, Dec 1990.

    Article  Google Scholar 

  3. K. Birman, A. Schiper, and P. Stephenson, “Lightweight causal and atomic group multicast,” ACM Transactions on Computer Systems, vol. 9, pp. 272–314, Aug 1991.

    Article  Google Scholar 

  4. F. Cristian, “Agreeing on who is present and who is absent in a synchronous distributed system,” Proc. of 18th International Conference on Fault-tolerant Computing, (Tokyo), pp. 206–211, Jun 1988.

    Google Scholar 

  5. D. Powell, D. Seaton, G. Bonn, P. Verissimo, and F. Waeselynk, “The Delta-4 approach to dependabiHty in open distributed computing systems,” Proc. of 18th Symposium on Fault-Tolerant Computing, ( Tokyo ), Jun 1988.

    Google Scholar 

  6. P. Verissimo, L. Rodrigues, and M. Baptist a, “Amp: A highly parallel atomic multicast protocol,” SIGCOMM’89, (Austin, TX), pp. 83–93, Sep 1989.

    Google Scholar 

  7. N. C. Hutchinson and L. L. Peterson, “Thea;-kernel: An architecture for implementing network protocols,” IEEE Transactions on Software Engineering, vol. 17, pp. 64–76, Jan 1991.

    Article  Google Scholar 

  8. S. Mishra, L. L. Peterson, and R. D. Schlichting, “A membership protocol based on partial order,” Dependable Computing for Critical Applications 2 (J. Meyer and R. Schlichting, eds.), pp. 309–331, Vienna: Springer-Verlag, 1992.

    Google Scholar 

  9. S. Mishra, L. L. Peterson, and R. D. Schlichting, “Consul: A communication substrate for fault-tolerant distributed programs,” Tech. Rep. TR 91-32, Dept of Computer Science, University of Arizona, Tucson, AZ, 1991.

    Google Scholar 

  10. S. Mishra, Consul: A Communication Substrate for Fault-tolerant Distributed Programs. PhD thesis, Dept of Computer Science, University of Arizona, Tucson, AZ, 1991.

    Google Scholar 

  11. S. Mishra, L. L. Peterson, and R. D. Schlichting, “Experience with modularity in Consul,” Tech. Rep. 92-25, Dept of Computer Science, University of Arizona, Tucson, AZ, 1992.

    Google Scholar 

  12. U. S. Department of Defense, Reference Manual for the Ada Programming Language. Washington D.C., 1983.

    Google Scholar 

  13. N. Wirth, Programming in Modula 2. New York: Springer-Verlag, 1982.

    MATH  Google Scholar 

  14. G. R. Andrews, R. A. Olsson, M. A. Coffin, I. Elshoff, K. Nilsen, T. Purdin, and G. Townsend, “An overview of the SR language and implementation,” ACM Transactions on Programming Languages and Systems, vol. 10, pp. 51–86, Jan. 1988.

    Article  Google Scholar 

  15. B. Lampson, “Atomic transactions,” Distributed Systems-Architecture and Implementation., pp. 246–265, Berlin: Springer-Verlag, 1981.

    Google Scholar 

  16. J. Gray, “An approach to decentralized computer systems,” IEEE Transactions on Software Engineering, vol. SE-12, pp. 684–692, Jun 1986.

    Google Scholar 

  17. C. Ellis, J. Feldman, and J. Hehotis, “Language constructs and support systems for distributed computing,” ACM Symposium on Principles of Distributed Computing, pp. 1–9, August 1982.

    Google Scholar 

  18. R. J. LeBlanc and C. T. Wilkes, “Systems programming with objects and actions,” Proc. of 5th International Conference on Distributed Computing Systems, (Denver, Colorado), pp. 132–139, May 1985.

    Google Scholar 

  19. B. Liskov, “The Argus language and system,” Distributed Systems: Methods and Tools for Specification, Lecture Notes in Computer Science, Volume 190 (M. Paul and H. Siegert, eds.), ch. 7, pp. 343–430, Berlin: Springer-Verlag, 1985.

    Google Scholar 

  20. R. Cmelik, N. Gehani, and W. D. Roome, “Fault Tolerant Concurrent C: A tool for writing fault tolerant distributed programs,” Proc. of 18th International Symposium on Fault-Tolerant Computing, (Tokyo), pp. 55–61, June 1988.

    Google Scholar 

  21. J. Knight and J. Urquhart, “On the implementation and use of Ada on fault-tolerant distributed systems,” IEEE Transactions on Software Engineering, vol. SE-13, pp. 553–563, May 1987.

    Google Scholar 

  22. F. Panzieri and S. K. Shrivastava, “Rajdoot: A remote procedure call mechanism supporting orphan detection and killing,” IEEE Transactions on Software Engineering, vol. SE-14, pp. 30–37, Jan 1988.

    Google Scholar 

  23. M. Herlihy and J. Wing, “Avalon: Language support for reliable distributed systems,” Proc. of 17th International Symposium on Fault-Tolerant Computing, (Pittsburgh, PA), pp. 89–94, July 1987.

    Google Scholar 

  24. R. D. SchUchting and V. T. Thomas, “A multi-paradigm language for programming fault-tolerant distributed systems,” Proc. of 11th Symposium on Reliable Distributed Systems, (Houston, TX), pp. 222–229, Oct 1992.

    Google Scholar 

  25. S. Ahuja, N. Carriero, and D. Gelernter, “Linda and friends,” IEEE Computer, vol. 19, pp. 26–34, August 1986.

    Article  Google Scholar 

  26. D. Bakken and R. D. SchHchting, “Tolerating failures in the bag-of-tasks progranmiing paradigm,” Proc. of 21st Symposium on Fault Tolerant Computing, (Montreal, Canada), pp. 248–255, Jun 1991.

    Google Scholar 

  27. A. Xu and B. Liskov, “A fault-tolerant distributed implementation of Linda,” Proc. of 19th Symposium on Fault-Tolerant Computing, (Chicago, IL), Jun 1989.

    Google Scholar 

  28. Y. Shinoda and T. Katayama, “Attribute grammar based programming and its environment,” Proc. of 21st Hawaii International Conference on System Sciences, (Kailu-Kona), pp. 612–620, Jan 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Arizona, Tucson, Arizona, 85721, USA

    R. D. Schlichting

Authors
  1. R. D. Schlichting
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Wien, Austria

    Hermann Kopetz

  2. Osaka University, Japan

    Yoshiaki Kakuda

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag/Wien

About this paper

Cite this paper

Schlichting, R.D. (1993). Fault-Tolerance Support for Responsive Computer Systems. In: Kopetz, H., Kakuda, Y. (eds) Responsive Computer Systems. Dependable Computing and Fault-Tolerant Systems, vol 7. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9288-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-9288-7_9

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-9290-0

  • Online ISBN: 978-3-7091-9288-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation