Action Filename Description Size Access License Resource Version
Show more files...


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.