Article

Free access

Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support

Authors:

Yvon Kermarrec,

Laurent Nana,

Laurent PautetAuthors Info & Claims

TRI-Ada '95: Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world

Pages 462 - 466

https://doi.org/10.1145/376503.376722

Published: 01 November 1995 Publication History

PDF eReader

References

[1]

T. Anderson and A. Kerr. Recovery blocks in action: a system supporting high reliability. Proc. Irk Conf. on software Ing., pages 447-457, October 1976.

Digital Library

Google Scholar

[2]

T. Anderson and B. Randell. Computing systems reliabiity: An advanced course. Cambridge University Pars, page 110, 1979.

Google Scholar

[3]

A. Burns, A. Lister, and A. Welling. A review of Ada tasking model. Lecture Notes in computer science, Springer Verlag, 1987.

Digital Library

Google Scholar

[4]

A. Burns and A. Wellings. Real-time systems and their progmmming languages. Addison-Wesley Publishing Company, 1989.

Digital Library

Google Scholar

[5]

E. Schonberg et al. GNAT: the GNU - NYU Ada translator, a compiler for everyone. In Proceeding6 of the TRI Ada conference, Baltimore, Maryland, november 1994. ACM.

Google Scholar

[6]

Intermetrics. Ada9X reference manual - dmjt - version 5.0. Intermetrlcs, Inc, Cambridge, Massachussetts, June 1994.

Google Scholar

[7]

Y. Kermarrec, L. Nana, and L. Pautet. Implementing an efficient fault tolerance mechanism in Ada 9X : an early experiment with GNAT. In Ada Belgium conjerence, Bruxells, Belgium, November 1994. In co-operation with ACM/SIGAda and UniversitC Libre de Bruxelles. printed in the Ada-Belgium Newsletter, Volume 3, Numbers 2+3, Winter 1994.

Google Scholar

[8]

Y. Kermarrec and L. Pautet. Ada reusable software components for education in distributed systems and applick tions. In J.L. Dias-Herrera, editor, Pruceedinga of the 7th SEIconference on Software Engineering Education, number 750 in Lectures Notes in Computer Science, pages 77-96, San Antonio, Texas, 1994. ACM IEEE, Springer Verlag.

Digital Library

Google Scholar

[9]

Y. Kermarrec and L. Pautet. Evaluation of the dig tributed 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, 1994.

Google Scholar

Cited By

View all

Levine G(2009)Ada for the control of degradation of serviceACM SIGAda Ada Letters10.1145/1620593.162059629:2(20-27)Online publication date: 25-Sep-2009
https://dl.acm.org/doi/10.1145/1620593.1620596
Wolf T(1997)Fault tolerance in distributed Ada 95ACM SIGAda Ada Letters10.1145/271662.271721XVII:5(106-110)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/271662.271721
Wolf T(1997)Fault tolerance in distributed Ada 95Proceedings of the eighth international workshop on Real-Time Ada10.1145/271658.271721(106-110)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/271658.271721
Show More Cited By

Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Fault isolation for nonisolated blocks

We consider circuits represented as interconnections of logic blocks. In such circuits, the goal of fault isolation is to identify which one of the blocks is faulty based on a faulty output response produced by the circuit. We study this issue and ...
Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications

The concept of distributed execution of recovery blocks is examined as an approach for uniform treatment of hardware and software faults. A useful characteristic of the approach is the relatively small time cost it requires. The approach is thus ...
Recovery Device for Real-Time Dual-Redundant Computer Systems

This paper proposes the design of specialized hardware, called Recovery Device, for a dual-redundant computer system that operates in real-time. Recovery Device executes all fault-tolerant services including fault detection, fault type determination, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TRI-Ada '95: Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world

November 1995

508 pages

ISBN:0897917057

DOI:10.1145/376503

Editor:
Charles B. Engle
Defense Information Systems Agency, Florida Insitute of Technology, Arlington, VA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

TriAda95

Sponsor:

SIGAda

TriAda95: Tri-Ada '95

November 5 - 10, 1995

California, Anaheim, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
155
Total Downloads

Downloads (Last 12 months)25
Downloads (Last 6 weeks)2

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Levine G(2009)Ada for the control of degradation of serviceACM SIGAda Ada Letters10.1145/1620593.162059629:2(20-27)Online publication date: 25-Sep-2009
https://dl.acm.org/doi/10.1145/1620593.1620596
Wolf T(1997)Fault tolerance in distributed Ada 95ACM SIGAda Ada Letters10.1145/271662.271721XVII:5(106-110)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/271662.271721
Wolf T(1997)Fault tolerance in distributed Ada 95Proceedings of the eighth international workshop on Real-Time Ada10.1145/271658.271721(106-110)Online publication date: 1-Oct-1997
https://dl.acm.org/doi/10.1145/271658.271721
Kermarrec YNana LPautet LDíaz-Herrera JGargaro A(1996)Providing fault-tolerant services to distributed Ada 95 applicationsProceedings of the conference on TRI-Ada '96: disciplined software development with Ada10.1145/240678.240688(39-47)Online publication date: 1-Dec-1996
https://dl.acm.org/doi/10.1145/240678.240688

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Fault isolation for nonisolated blocks

Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications

Recovery Device for Real-Time Dual-Redundant Computer Systems