An Ada library to program fault-tolerant distributed applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1251, Issue , 1997, Pages 230-243

  Guerra, F ^a   Miranda, J ^a   Alvarez, A ^a   Arevalo S ^a  

^a UNIVERSITY OF LAS PALMAS DE GRAN CANARIA   (Spain)

Author keywords

Ada; Distributed systems; Fault tolerant systems; Isis

Indexed keywords

APPLICATION PROGRAMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; MULTICASTING;

BROADCAST PROTOCOLS; CLIENT-SERVER INTERACTIONS; CONSENSUS PROTOCOLS; DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS; FAULT TOLERANT SYSTEMS; ISIS; RELIABLE MULTICAST;

ADA (PROGRAMMING LANGUAGE);

EID: 84957660717     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63114-3_21     Document Type: Conference Paper

References (19)

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.
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)
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.
4. Chang, J. M. and Maxemchuck, N. 1984. Reliable Broadcast Protocols. ACM Trans, on Computer Systems, 2(3), pages 251-273.
5. Caurtel, N., PARADISE: Package of Asynchronous Real-Time Ada Drivers for Interconnected Systems Exchange, version 3.2. GNU (January 1993).
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)
7. Gropp, W., Lusk, E., and Skjellum, A.: Using MPI: Portable Parallel Programming with the Message-Passing Interface. The MIT Press, Cambridge, Mass. (1994)
8. Guerra, F., Arevalo, S., Alvarez, 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.
9. Guerra, F., Arevalo, S., Alvarez, A., and Miranda, J. A Quick Distributed Consensus Protocol. Microprocessing and Microprogramming 39 (1993) pp.111-114.
10. Guerra, F. 1995. Efficient Consensus Protocols for Distributed Systems. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)
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.
12. Intermetrics, Inc. 1995. Ada 95 Language Reference Manual. Intermetrics, Inc., Cambridge, Mass. (January).
13. Liang, L., Chanson, S.T., and Neufeld, G.W.: Process Groups and Group Communications: Classification and Requirements. IEEE Computer. (February 1990)
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.
15. Miranda, J. 1994. Drago: A Language to Program Fault-tolerant and Cooperative Distributed Applications. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)
16. Miranda, J., Alvarez, A., Âré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.
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.
18. Schneider, F.B. Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4), December 1990.
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.