论文信息 - Transparent replication for fault tolerance in distributed Ada 95

Transparent replication for fault tolerance in distributed Ada 95

In this paper we present the foundations of RAPIDS ("Replicated Ada Partitions In Distributed Systems"), an implementation of the PCS supporting the transparent replication of partitions in distributed Ada 95 using semi-active replication. The inherently non-deterministic executions of multi-tasked partitions are modeled as piecewise deterministic histories. I discuss the validity and correctness of this model of computation and show how it can be used for efficient semi-active replication. The R APIDS prototype ensures that replicas of a partition all go through the same history and are hence consistent.

Thomas Wolf

[1] Willy Zwaenepoel,et al. Manetho: fault tolerance in distributed systems using rollback-recovery and process replication , 1994 .

[2] Paulo Veríssimo,et al. The Delta-4 extra performance architecture (XPA) , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[3] Miroslaw Malek,et al. The consensus problem in fault-tolerant computing , 1993, CSUR.

[4] Dhiraj K. Pradhan,et al. Fault-tolerant computer system design , 1996 .

[5] Sam Toueg,et al. A Modular Approach to Fault-Tolerant Broadcasts and Related Problems , 1994 .

[6] J. Goldberg,et al. SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.

[7] André Schiper,et al. Understanding the Power of the Virtually-Synchronous Model , 1993 .

[8] Chris J. Walter,et al. The MAFT Architecture for Distributed Fault Tolerance , 1988, IEEE Trans. Computers.

[9] Thomas Wolf,et al. Replication of non-deterministic objects , 1998 .

[10] Laurent Pautet,et al. GARLIC: generic Ada reusable library for interpartition communication , 1995, TRI-Ada '95.

[11] Robert E. Strom,et al. Optimistic recovery in distributed systems , 1985, TOCS.

[12] Thomas Wolf. Fault tolerance in distributed Ada 95 , 1997 .

[13] Gerhard Fohler,et al. Real-time system development: The programming model of MARS , 1993, Proceedings ISAD 93: International Symposium on Autonomous Decentralized Systems.