Skip to main content

A highly available application in the transis environment

  • Software Architectures for Fault Tolerance
  • Conference paper
  • First Online:
Hardware and Software Architectures for Fault Tolerance (Fault Tolerance 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 774))

Included in the following conference series:

Abstract

This paper presents a typical replicated application in a distributed system. The application was developed on top of Transis, a reliable and efficient transport layer protocol. The basic properties of the protocol and the advantages of using Transis as the transport layer are discussed. The algorithms used in this application can lead to better solutions in the area of distributed transaction systems and replicated databases.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Y. Amir, D. Dolev, S. Kramer, and D. Malki. Membership algorithms for multicast communication groups. In Intl. Workshop on Distributed Algorithms proceedings (WDAG-6), (LCNS, 647), number 6th, pages 292-312, November 1992.

    Google Scholar 

  2. Y. Amir, D. Dolev, S. Kramer, and D. Malki. Transis: A communication subsystem for high availability. In Annual International Symposium on Fault-Tolerant Computing, number 22, pages 76–84, July 1992.

    Google Scholar 

  3. Y. Amir, L. Moser, P. Melliar-Smith, D. Agarwal, and P. Ciarfella. Fast message ordering and membership using a logical token-passing ring. In International Conference on Distributed Computing Systems, number 13th, pages 551–560, May 1993.

    Google Scholar 

  4. P. Bernstein, D. Shipman, and J. Rothnie, J.B. Concurrency control in a system for distributed databases (sdd-1). ACM Trans. on Database Systems, 5(1):18–51, March 1980.

    Article  Google Scholar 

  5. K. Birman, R. Cooper, T. A. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, and M. Wood. The ISIS System Manual. Dept of Computer Science, Cornell University, Sep 90.

    Google Scholar 

  6. K. Birman and T. Joseph. Exploiting virtual synchrony in distributed systems. In Ann. Symp. Operating Systems Principles, number 11, pages 123-138. ACM, Nov 87.

    Google Scholar 

  7. J. Chang and N. Maxemchuk. Reliable broadcast protocols. ACM Transactions on Computer systems, 2(3):251–273, August 1984.

    Article  Google Scholar 

  8. D. Dolev, C. Dwork, and L. Stockmeyer. On the minimal synchrony needed for distributed consensus. J. ACM, 34(1):77–97, Jan. 1987.

    Article  Google Scholar 

  9. D. Dolev, S. Kramer, and D. Malki. Early delivery totally ordered broadcast in asynchronous environments. In 23rd Annual International Symposium on Fault-Tolerant Computing, pages 544–553, June 1993.

    Google Scholar 

  10. A. El Abbadi and N. Dani. A dynamic accessibility protocol for replicated databases. Data and Knowledge Engineering, (6):319–332, 1991.

    Article  Google Scholar 

  11. A. El Abbadi and S. Toueg. Availability in partitioned replicated databases. In ACM SIGACT-SIGMOD Symp. on Principles of Database systems, number 5, pages 240–251, Cambridge, MA, March 1986.

    Google Scholar 

  12. K. Eswaran, J. Gray, R. Lorie, and I. Traiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19(11):624–633, 1976.

    Article  Google Scholar 

  13. M. Fischer, N. Lynch, and M. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32:374–382, April 1985.

    Article  Google Scholar 

  14. J. Gray. Notes on database operating systems. In Operating Systems: An Advanced Course,Lecture Notes in Computer Science, volume 60, pages 393–481. Springer-Verlag, Berlin, 1978.

    Google Scholar 

  15. M. F. Kaashoek, A. S. Tanenbaum, S. F. Hummel, and H. E. Bal. An efficient reliable broadcast protocol. Operating Systems Review, 23(4):5–19, October 1989.

    Article  Google Scholar 

  16. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Comm. ACM, 21(7):558–565, July 78.

    Google Scholar 

  17. P. M. Melliar-Smith, L. E. Moser, and V. Agrawala. Broadcast protocols for distributed systems. IEEE Trans. Parallel & Distributed Syst., (1), Jan 1990.

    Google Scholar 

  18. L. L. Peterson, N. C. Buchholz, and R. D. Schlichting. Preserving and using context information in interprocess communication. ACM Trans. Comput. Syst., 7(3):217–246, August 89.

    Google Scholar 

  19. C. Pu and A. Leff. Replica control in distributed systems: An asynchronous approach. In ACM SIGMOD Symp. on Management of Data, May 1991.

    Google Scholar 

  20. M. Stonebraker. Concurrency control and consistency of multiple copies of data in distributed Ingres. IEEE Trans. on Software Engineering, 3(3):188–194, May 1979.

    Google Scholar 

  21. R. Thomas. A majority consensus approach to concurrency control for multiple copy databases. ACM Trans. on Database Systems, 4(2):180–209, June 1979.

    Article  Google Scholar 

  22. P. Verissimo, L. Rodrigues, and J. Rufino. The Atomic Multicast Protocol (AMp). In D. Powell, editor, Delta-4: A Generic Architecture for Dependable Distributed Computing, pages 267–294. Springer-Verlag, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Michel Banâtre Peter A. Lee

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Amir, O., Amir, Y., Dolev, D. (1994). A highly available application in the transis environment. In: Banâtre, M., Lee, P.A. (eds) Hardware and Software Architectures for Fault Tolerance. Fault Tolerance 1993. Lecture Notes in Computer Science, vol 774. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020028

Download citation

  • DOI: https://doi.org/10.1007/BFb0020028

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57767-6

  • Online ISBN: 978-3-540-48330-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics