Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1996 Kluwer Academic Publishers
About this chapter
Cite this chapter
(1996). Enforcing replica determinism. In: Fault-Tolerant Real-Time Systems. The Springer International Series in Engineering and Computer Science, vol 345. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-29580-0_5
Download citation
DOI: https://doi.org/10.1007/978-0-585-29580-0_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9657-4
Online ISBN: 978-0-585-29580-0
eBook Packages: Springer Book Archive