ePrints

Synchronizing Events in Replicated Systems

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

The application of N-Modular Redundancy (NMR) in the construction of software permits redundant systems to be robust with respect to failures in replicated processors. In order to exhibit consistent behavior, all processors in an NMR node must process input requests in the same order. This paper investigates the introduction of synchronization points among replicated computations in a nondeterministic model for concurrent programming. A formal specification is given of a distributed synchronization mechanism that does not introduce any additional deadlock in the replication of a basic single system. We propose this synchronization mechanism as a means of preventing the occurrence of the so-called sequencing failures. The properties of the proposed solution are specified and proved using the COSY path-expression formalism. Finally, some implementation schemes are proposed which satisfy the given specification.

Publication metadata

Author(s): Koutny M, Mancini LV

Publication type: Article

Publication status: Published

Journal: Journal of Systems and Software

Year: 1989

Volume: 9

Issue: 3

Pages: 183-190

ISSN (print): 0164-1212

ISSN (electronic): 1873-1228

Publisher: Elsevier Science Inc.

URL: http://dx.doi.org/10.1016/0164-1212(89)90038-1

DOI: 10.1016/0164-1212(89)90038-1

Altmetrics

Share