Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 1996: Reliable Software Technologies — Ada-Europe '96 pp 235–246Cite as

Drago: An Ada extension to program fault-tolerant distributed applications

  • Distribution Systems
  • Conference paper
  • First Online:

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

Abstract

This paper describes Drago, an experimental language designed to support the implementation of fault-tolerant distributed applications. The language is the result of an effort to impose discipline and give linguistic support to the main concepts of Isis, as well as to experiment with the group communication paradigm. Drago has been designed and implemented as an extension to Ada 83. In this paper we introduce Drago, give some simple examples of its use, and briefly discuss its implementation. Drago is also compared with the Distributed Annex of Ada 95.

This work has been partially funded by the Spanish Research Council (CICYT), contract numbers TIC94-0162-C02-01 and TAP93-0001-CP.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arevalo, 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. Arevalo, S., Alvarez, A., Miranda, J. and Guerra, F.: A Fault-tolerant Programming Language Based on Distributed Consensus, Cabernet'94 Workshop, Dublin (March 1994)

    Google Scholar 

  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. Courtel, N., PARADISE: Package of Asynchronous Real-Time Ada Drivers for Interconnected Systems Exchange, version 3,2. GNU (January 1993).

    Google Scholar 

  5. 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 

  6. 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 

  7. Guerra, F., Arevalo, S., Alvarez, A., and Miranda, J. A Distributed Consensus Protocol with a Coordinator. International Conference on Decentralized and Distributed Systems ICDDS'93. IFIP, Palma de Mallorca (Spain). September 1993.

    Google Scholar 

  8. Guerra, F., Arevalo, S., Alvarez, A., and Miranda, J., A Quick Distributed Consensus Protocol. Microprocessing and Microprogramming 39 (1993) pp.111–114.

    Google Scholar 

  9. Guerra, F. 1995. Efficient Consensus Protocols for Distributed Systems. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)

    Google Scholar 

  10. Intermetrics, Inc. 1995. Ada 95 Language Reference Manual. Intermetrics, Inc., Cambridge, Mass. (January).

    Google Scholar 

  11. Liang, L., Chanson, S.T., and Neufeld, G.W.: Process Groups and Group Communications: Classification and Requirements. IEEE Computer. (February 1990)

    Google Scholar 

  12. Miranda, F. 1994. Drago: A Language to Program Fault-tolerant and Cooperative Distributed Applications. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)

    Google Scholar 

  13. Neumann, J. Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies. Princeton University Press, 1956. pp. 43–98.

    Google Scholar 

  14. Schneider, F.B. Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial. A CM Computing Surveys, 22(4), December 1990.

    Google Scholar 

  15. Self, J. 1990. Aflex: An Ada Lexical Analyzer Generator V1.1. Arcadia Environment Research Project. Department of Information and Computer Science, University of California, Irvine, T.R. UCI-90-18 (May).

    Google Scholar 

  16. Taback, D., Tolani, D., and Schmalz, R. 1988. Agace V1.0. Department of Information and Computer Science, University of California, Irvine, T.R. UCI-88-16 (May).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Las Palmas de Gran Canaria, Spain

    J. Miranda, A. Alvarez, S. Arévalo & F. Guerra

  2. Technical University of Madrid, Spain

    J. Miranda, A. Alvarez, S. Arévalo & F. Guerra

Authors
  1. J. Miranda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Alvarez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. Arévalo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. F. Guerra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Miranda, J., Alvarez, A., Arévalo, S., Guerra, F. (1996). Drago: An Ada extension to program fault-tolerant distributed applications. In: Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe '96. Ada-Europe 1996. Lecture Notes in Computer Science, vol 1088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013492

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-68457-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation