Survey of Provably Correct Fault-Tolerant Clock Synchronization Techniques

摘要

Six provably correct fault-tolerant clock synchronization algorithms are examined. These algorithms are all presented in the same notation to permit easier comprehension and comparison. The advantages and disadvantages of the different techniques are examined, and issues related to the implementation of these algorithms are discussed. The paper argues for the use of such algorithms in life-critical applications.