Title :
Active replication in Delta-4
Author :
Chereque, M. ; Powell, D. ; Reynier, P. ; Richier, J.-L. ; Voiron, J.
Author_Institution :
Bull SA, Echirolles, France
Abstract :
Delta-4 is an open dependable distributed computing systems architecture, in which fault-tolerance is achieved by means of replication of run-time software components on host computers interconnected by a local area network. The authors discuss the coordination of active replicas executing either in a fail-silent host computer environment, or in a full-uncontrolled environment. This coordination is carried out by a specific protocol, the inter replica protocol (IRp). The IRp was implemented in various Delta-4 prototypes. The protocol, the service it delivers, and the environment assumptions were formally specified. The specifications were formally verified for consistency by model checking techniques. The formal specification and verification of IRp are considered. Some implementation details and results of performance tests are given.<>
Keywords :
distributed processing; fault tolerant computing; formal specification; formal verification; local area networks; protocols; Delta-4; active replication; consistency; fault-tolerance; formal specification; formal verification; full-uncontrolled environment; host computers; inter replica protocol; local area network; model checking; open dependable distributed computing systems architecture; protocol; run-time software components; Computer architecture; Computer networks; Distributed computing; Fault tolerant systems; Formal specifications; LAN interconnection; Local area networks; Protocols; Prototypes; Runtime;
Conference_Titel :
Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-8186-2875-8
DOI :
10.1109/FTCS.1992.243618
