Towards a theory of replicated processing

  • Luigi V. Mancini
  • Giuseppe Pappalardo
Conference paper

DOI: 10.1007/3-540-50302-1_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 331)
Cite this paper as:
Mancini L.V., Pappalardo G. (1988) Towards a theory of replicated processing. In: Joseph M. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1988. Lecture Notes in Computer Science, vol 331. Springer, Berlin, Heidelberg


In the N-Modular Redundancy (NMR) approach, a computation is made reliable by executing it on several computers, and determining its results by a decision algorithm. This paper investigates a formal approach to the use of NMR in replicated distributed systems, for which it introduces a notion of correctness based on consistency with their non-replicated counterpart, and a local correctness criterion. We discuss how a replicated system component may be implemented by N base copies, a majority of which is non-faulty. The formal approach sheds light on the necessity of coordinating the copies and on the requirements they should satisfy; in particular the difficulty of replicating synchronous communication is pointed out. A practical approach is also briefly examined and shown to be consistent with the formal model.

Inside every replicated system there is a non-replicated system trying to get out.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Luigi V. Mancini
    • 1
    • 2
  • Giuseppe Pappalardo
    • 1
    • 3
  1. 1.Computing LaboratoryUniversity of Newcastle upon TyneUK
  2. 2.Dipartimento di InformaticaUniversità di PisaItaly
  3. 3.Università di Reggio CalabriaItaly

Personalised recommendations