Journal article
Synchronizing events in replicated systems
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 …
Authors
Koutny M; Mancini LV
Journal
Journal of Systems and Software, Vol. 9, No. 3, pp. 183–190
Publisher
Elsevier
Publication Date
March 1989
DOI
10.1016/0164-1212(89)90038-1
ISSN
0164-1212