Providing fault-tolerant services to distributed Ada95 applications

Proceedings of the Conference on TRI-Ada: Disciplined Software Development with Ada, TRI-Ada 1996

Volumn , Issue , 1996, Pages 39-47

  Kermarrec, Yvon ^a   Nana, Laurent ^a   Pautet, Laurent ^b  

^a ECOLE DES MINES DE NANTES   (France)

^b TELECOM PARISTECH   (France)

Author keywords

Distributed processing; Fault tolerance; Language tools; Programming languages; Recovery blocks; Transactions

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FAULT TOLERANCE; RECOVERY; SOFTWARE DESIGN;

DISTRIBUTED APPLICATIONS; DISTRIBUTED PROCESSING; FAULT-TOLERANT; LANGUAGE TOOLS; RECOVERY BLOCK; TRANSACTIONS;

ADA (PROGRAMMING LANGUAGE);

EID: 85029283584     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/240678.240688     Document Type: Conference Paper

References (20)

1. [l] T. Anderson and A. Kerr. Recovery blocks in action: A s:ystem supporting high reliability. Proc. Int. Conf. on software Ing., pages 447-457, October 1976.
2. T. Anderson and B. Randell. Computing systems reliability: An advanced course. Combrtdge Universrty Press, page 110, 1979.
3. H. E. Bal, M. F. Kaashoek, and A. S. Tanenbaum. Orca: A language for parallel programming of distributed systems. In IEEE Transactions on Software Engineering, volume 18, pages 190-205, March 1992.
4. A. Burns, A. Lister, and A. Wellings. A review of Ada tasking model. Lecture Notes in computer science, Springer Verlag, 1987.
5. A. Burns and A. Wellings. Real-time systems and their programming languages. Addison-Wesley Publishing Company, 1989.
6. DEC and HP et al. The common object request broker : Architecture and specification. Technical Report OMG 91-12-1, Object Management Group and X Open, December 1991.
7. N. H. Gehani. Capsules: A shared memory access mechanism for Concurrent C/C++. In IEEE Transactions on Parallel and Drstributed Systems, volume 4, pages 795-811, July 1993.
8. L. Gunaseelan and R. J. Leblanc. Distributed EifTel: A language for programming multi-granular distributed objects on the clouds operating system. In Proc. IEEE CS, Int. Conj. on Computer Languages, 1992.
9. J. Horning, H. C. Lauer, P. M. Melliar-Smith, and B. Randell. A program structure for error detection and recovery. Lecture Notes in Computer Science, New I'ork: Springer- l'erlag, 16:171-187, 1974.
10. Intermetrics. Ada95 re/erence manual. International St.andard ANSI / IS0 / IEC-8652:1995, January 1995.
11. Y. Kermarrec, L. Nana, and L. Pautet. Implementing recovery blocks in GNAT : A powerful fault tolerance mechanism and a transaction support. In ACM, editor, Proceedings of the Trr Ado'95 conference, Anaheim, California, November 1995.
12. Y. Kermarrec, L. Pautet, and E. Schonberg. Design document for the implementation of the distributed systems annex of Ada 9X and its implementation in GNAT. Technical report, Courant Institute of Mathematical Sciences, New York University, 715 Broadway, New York NY 10012, 1995. CO be published.
13. Y. Kermarrec, L. Pautet, and S. Tardieu. GARLIC : Generic Ada Reusable Library for Interpartitions Communication. In ACM, editor, Proceedings oj the Tri Ada '95 conference, Anaheim, California, November 1995.
14. K.H. Kim. Approaches to mechanization of the conversation scheme based on monitors. IEEE TSE, SE8(3):189-197, May 1982.
15. D. B. Lomet. Copmg with deadlock in distributed systems. Database Archrtecture, North /lolland, pages 95-105. 1979.
16. OFTA. Informatzque tot&ante aurfautes. Number 15 in Arago. Masson, Paris, 1994.
17. B. Randell. System structure for software fault-tolerance. IEEE TSE, SE1(2):220-232, June 1975.
18. B. Randell, P. A. Lee, and P. C. Trclnven. Reliability issues in computing system design. ACM Comput. Surveys, 10(2):123-169, June 1978.
19. E. Schonberg and et al. GNAT: The GNU - NYU Ada translator, a compiler for everyone. In Proceedzngs of the TRI Ada con/crerrce, Baltimore, Maryland, november 1994. ACM.
20. K.G. Shin and Y.H. Lee. Evaluation of error recovery blocks used for cooperating processes. IEEE TSE, SE10(6):69?-700, November 1984.