Active replication in Delta-4

Author

Chereque, M. ; Powell, D. ; Reynier, P. ; Richier, J.-L. ; Voiron, J.

Author_Institution

Bull SA, Echirolles, France

fYear

1992

fDate

8-10 July 1992

Firstpage

28

Lastpage

37

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTCS.1992.243618

Filename

243618