Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
An Ada Library to Program Fault-Tolerant Distributed Applications
Ada-Europe '97 Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies
A Distributed Consensus Protocol with a Coordinator
Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems
Building Robust Applications by Reusing Non-robust Legacy Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
How to Use GNAT to Efficiently Preprocess New Ada Sentences
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
A technique to build ada preprocessors
EUROMICRO-PDP'02 Proceedings of the 10th Euromicro conference on Parallel, distributed and network-based processing
| Hi-index | 0.00 |
This paper describes how we modified GNAT to experiment with one Ada extension. Our proposed extension, named Drago, is designed to support the implementation of fault-tolerant distributed applications. It is the result of an effort to impose discipline and give linguistic support to the main concepts of the Isis communication toolkit, as well as to experiment with the group communication paradigm. In this paper we briefly introduce Drago, and describe the modifications made to the GNAT scanner, parser, and semantic analyzer.