Advertisement

An Ada library to program fault-tolerant distributed applications

  • F. Guerra
  • J. Miranda
  • A. Alvarez
  • S. Arévalo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)

Abstract

This paper describes a library written in Ada which facilitates the construction of fault-tolerant distributed applications based on the active replication paradigm [18]. The library, called Group_IO [10], offers a simple interface to the implementation of reliable, atomic, causal, and uniform multicast. The work on Group_IO has been motivated by our experience with Isis [3] and similar reliable multicast frameworks. The library allows also client-server interactions where the client may be a group — this interaction is not supported by ISIS- and relies on an own consensus protocol [8, 9] to implement the uniform broadcast protocols. Group_IO is the base on which the programming language Drago [2, 15, 16] has been implemented, however it does not require Drago for its use.

Keywords

Distributed Systems Fault-Tolerant Systems Ada Isis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arévalo, S. and Gehani N. H. 1989. Replica Consensus in Fault Tolerant Concurrent C. Technical Report AT & T Bell Laboratories, Murray Hill, New Jersey 07974.Google Scholar
  2. 2.
    Arévalo, S., Álvarez, A., Miranda, J. and Guerra, F.: A Fault-tolerant Programming Language Based on Distributed Consensus, Cabernet'94 Workshop, Dublin (March 1994)Google Scholar
  3. 3.
    Birman, K., R. Cooper, T. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, and M. Wood. The Isis System Manual. Version 2.1. September 1990.Google Scholar
  4. 4.
    Chang, J. M. and Maxemchuck, N. 1984. Reliable Broadcast Protocols. ACM Trans. on Computer Systems, 2(3), pages 251–273.Google Scholar
  5. 5.
    Courtel, N., PARADISE: Package of Asynchronous Real-Time Ada Drivers for Interconnected Systems Exchange, version 3.2. GNU (January 1993).Google Scholar
  6. 6.
    Geist, A. et al.: PVM: Parallel Virtual Machine; A User's Guide and Tutorial for Networked Parallel Computing. The MIT Press, Cambridge, Mass. (1994)Google Scholar
  7. 7.
    Gropp, W., Lusk, E., and Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-Passing Interface. The MIT Press, Cambridge, Mass. (1994)Google Scholar
  8. 8.
    Guerra, F., Arévalo, S., Álvarez, A., and Miranda, J. A Distributed Consensus Protocol with a Coordinator. IFIP International Conference on Decentralized and Distributed Systems ICDDS'93. Palma de Mallorca (Spain). September 1993.Google Scholar
  9. 9.
    Guerra, F., Arévalo, S., Álvarez, A., and Miranda, J. A. Quick Distributed Consensus Protocol. Microprocessing and Microprogramming 39 (1993) pp. 111–114.Google Scholar
  10. 10.
    Guerra, F. 1995. Efficient Consensus Protocols for Distributed Systems. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)Google Scholar
  11. 11.
    Hadzilacos V. and Toueg, S. 1993. Fault-tolerant broadcasts and related problems. In Sape Mullender, editor, Distributed Systems, chapter 5, pages 97–145. Addison-Wesley.Google Scholar
  12. 12.
    Intermetrics, Inc. 1995. Ada 95 Language Reference Manual. Intermetrics, Inc., Cambridge, Mass. (January).Google Scholar
  13. 13.
    Liang, L., Chanson, S.T., and Neufeld, G.W.: Process Groups and Group Communications: Classification and Requirements. IEEE Computer. (February 1990)Google Scholar
  14. 14.
    Malki, D., Amir, Y., Dolev, D., and Kramer, S. 1994. The Transis approach to high available cluster communication. Technical Report CS-94-14, Institute of Computer Science, The Hebrew University of Jerusalem, 1994.Google Scholar
  15. 15.
    Miranda, J. 1994. Drago: A Language to Program Fault-tolerant and Cooperative Distributed Applications. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)Google Scholar
  16. 16.
    Miranda, J., Alvarez, A., Arévalo, S. and Guerra, F. Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. Proceedings of the Reliable Software Technologies-Ada-Europe96 Conference, LNCS 1088, Springer Verlag.Google Scholar
  17. 17.
    Moser, L., Amir, Y., Melliar-Smith, P., and Agarwal, D. 1994. Extended Virtual Synchrony. In IEEE 14th Intl. Distributed Computing Systems, pages 56–67, June.Google Scholar
  18. 18.
    Schneider, F.B. Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4), December 1990.Google Scholar
  19. 19.
    Guerraoui, R. and Schiper, A. Fault-Tolerance by Replication in Distributed Systems. Proceedings of the Reliable Software Technologies-Ada-Europe96 Conference, LNCS 1088, Springer Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • F. Guerra
    • 1
    • 2
  • J. Miranda
    • 1
    • 2
  • A. Alvarez
    • 1
    • 2
  • S. Arévalo
    • 1
    • 2
  1. 1.University of Las Palmas de Gran CanariaSpain
  2. 2.Technical University of MadridSpain

Personalised recommendations