Enforcing replica determinism

Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 345)


The necessity to enforce replica determinism in non-trivial systems has been shown in the previous chapter. This chapter is concerned with methodologies and implementations that are appropriate to enforce replica determinism in the context of fault-tolerant real-time systems. Since it is impossible to achieve ideal replica determinism, all implementations—as presented in this chapter—relax the semantics to achievable cases of replica determinism. Achievable semantics are either based on epsilon common knowledge or on concurrent common knowledge.


Service Request Total Order Consensus Problem Consensus Protocol Broadcast Protocol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Personalised recommendations