Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
The process group approach to reliable distributed computing
Communications of the ACM
Fault tolerance in distributed Ada 95
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
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
Delta Four: A Generic Architecture for Dependable Distributed Computing
Delta Four: A Generic Architecture for Dependable Distributed Computing
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
NESTED TRANSACTIONS: AN APPROACH TO RELIABLE DISTRIBUTED COMPUTING
Manetho: fault tolerance in distributed systems using rollback-recovery and process replication
Manetho: fault tolerance in distributed systems using rollback-recovery and process replication
Object-Oriented Stable Storage Based on Mirroring
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
| Hi-index | 0.01 |
This paper presents the foundations of RAPIDS ("Replicated Ada Partitions In Distributed Systems"), an implementation of the Distributed Systems Annex E incorporating the transparent replication of partitions in distributed Ada 95 applications. RAPIDS is a replication manager for semi-active replication based on a piecewise deterministic computation model. It guarantees replica consistency for arbitrary Ada 95 partitions despite the inherent non-determinism of multitasking, offering k-resilient partitions. The RAPIDS prototype is implemented for the GNAT compiler and evolved from its PCS, Garlic.