Providing fault-tolerant services to distributed Ada 95 applications

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Providing fault-tolerant services to distributed Ada 95 applications

Full text

Pdf (837 KB)

Source

Annual International Conference on Ada archive
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada table of contents

Philadelphia, Pennsylvania, United States

Pages: 39 - 47

Year of Publication: 1996

ISBN:0-89791-808-8

Authors

Yvon Kermarrec	Télécom Bretagne, Deéartement Informatique, F 29 285 Brest Cedex - France
Laurent Nana	Télécom Bretagne, Deéartement Informatique, F 29 285 Brest Cedex - France
Laurent Pautet	Télécom Paris, Départment Informatique, 46 rue Barrault, F 75 634 Paris cedex 13 - France

Sponsor

SIGADA: ACM Special Interest Group on Ada Programming Language

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 6, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/240678.240688 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	T. Anderson , R. Kerr, Recovery blocks in action: A system supporting high reliability, Proceedings of the 2nd international conference on Software engineering, p.447-457, October 13-15, 1976, San Francisco, California, United States
	2	T. Anderson and B. R. andell. Computing systems reliability: An advanced course. Cambrsdge University Press, page 110, 1979.
	3	Henri E. Bal , M. Frans Kaashoek , Andrew S. Tanenbaum, Orca: A Language for Parallel Programming of Distributed Systems, IEEE Transactions on Software Engineering, v.18 n.3, p.190-205, March 1992 [doi>10.1109/32.126768]
	4	A. Burns, A review of Ada tasking, Springer-Verlag New York, Inc., New York, NY, 1987
	5	Alan Burns , A. J. Wellings, Real-time systems and their programming languages, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	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++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993 [doi>10.1109/71.238301]
	8	L. Gunaseelan and R. J. Leblanc. Distributed Eiffel: A language for programming multi-granular distributed objects on the clouds operating system. In Proc. IEEE CS, Int. Co~ff. on Computer Languages, 1992.
	9	James J. Horning , Hugh C. Lauer , P. M. Melliar-Smith , Brian Randell, A program structure for error detection and recovery, Operating Systems, Proceedings of an International Symposium, p.171-187, April 23-25, 1974
	10	Intermetrics. Ads95 reference manual. International Standard ANSI / ISO / IEC-8652:1995, January 1995.
	11	Yvon Kermarrec , Laurent Nana , Laurent Pautet, Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.462-466, November 05-10, 1995, Anaheim, California, United States [doi>10.1145/376503.376722]
	12	Y. Kermarrec, L. Pautet, and E. Schonberg. Design document for the implementation of the distributed systems annex of Ads 9X and its implementation in GNAT. Technical report, Courant Institute of Mathematical Sciences, New '~%rk University, 715 Broadway, New York NY 10012, 1995. to be published.
	13	Yvon Kermarrec , Laurent Pautet , Samuel Tardieu, GARLIC: generic Ada reusable library for interpartition communication, Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, p.263-269, November 05-10, 1995, Anaheim, California, United States [doi>10.1145/376503.376591]
	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. bomet. Coping with deadlock in distributed systems. Database Architecture, North Itolland, pages 95-105, 1979.
	16	OFTA. lnformatique toldrante auxfautes. 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. Lee , P. C. Treleaven, Reliability Issues in Computing System Design, ACM Computing Surveys (CSUR), v.10 n.2, p.123-165, June 1978 [doi>10.1145/356725.356729]
	19	Edmond Schonberg , Bernard Banner, The GNAT project: a GNU-Ada 9X compiler, Proceedings of the conference on TRI-Ada '94, p.48-57, November 06-11, 1994, Baltimore, Maryland, United States [doi>10.1145/197694.197706]
	20	K.G. Shin and Y.H. Lee. Evaluation of error recovery blocks used for cooperating processes. IEEE TSE, SE10(6):692-700, November 1984.

CITED BY 3

	Scott James, Redistribution in distributed Ada, ACM SIGAda Ada Letters, v.XIX n.3, p.3-8, Sept. 1999
	Pedro de las Heras-Quirós , Jesús M. González-Barahona , José Centeno-González, Programming distributed fault tolerant systems: the replicAda approach, Proceedings of the conference on TRI-Ada '97, p.21-29, November 09-13, 1997, St. Louis, Missouri, United States
	Luís Miguel Pinho , Francisco Vasques, Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems, ACM SIGAda Ada Letters, v.XVIII n.6, p.52-60, Nov./Dec. 1998