ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
On the Implementation and Use of Ada on Fault-Tolerant Distributed Systems
IEEE Transactions on Software Engineering
Communication between Ada programs in DIADEM
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
An implementation supporting distributed execution of partitioned ada programs
ACM SIGAda Ada Letters
Virtual nodes/distributed systems working group
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
An object oriented approach to virtual nodes: are package types an answer?
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ada/TL specification and verification of a distributed computation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Hi-index | 0.00 |
This paper presents the design and implementation experience of MEDS—an experimental distributed fault-tolerant system written in Ada that implements prototypes of some C3Ifunctions. MEDS implements distribution and fault-tolerance services such that application functions and data survive successive processor failures, and new or repaired processors can be added dynamically as additional resources.The design issues related to distribution/failure semantics, units of distribution, failure detection, reconfiguration, and recovery are discussed in the context of Ada. The design and implementation of these aspects of MEDS is presented and lessons learned from this experience are summarized.