State-machine-based replication is an effective way to increase the availability and dependability of mission-critical applications. However, all practical applications contain some degree of non-determinism. Consequently, ensuring strong replica consistency in the presence of application non-determinism has been one of the biggest challenges in building dependable distributed systems. In this Study, the authors propose a classification of common types of application non-determinism with respect to the requirement of achieving Byzantine fault tolerance (BFT), and present the design and implementation of a BFT framework that controls these types of non-determinism in a systematic manner.
Zhang, H.; Zhao, Wenbing; Moser, Louise E.; and Melliar-Smith, P. Michael, "Design and Implementation of a Byzantine Fault Tolerance Framework for Non-Deterministic Applications" (2011). Electrical Engineering & Computer Science Faculty Publications. 79.
Zhang, H. H., Zhao, W. W., Moser, L. E., & Melliar-Smith, P. M. (2011). Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications. IET Software, 5(3), 342-356. doi:10.1049/iet-sen.2010.0013
© The Institution of Engineering and Technology 2011