Understanding Protocols for Byzantine Clock Synchronization
Abstract
All published fault-tolerant clock synchronization protocols are shown to result from refining a single paradigm. This allows the different clock synchronization protocols to be compared and permits presentation of a single correctness analysis that holds for all. The paradigm is based on a reliable time source that periodically causes events; detection of such an event causes a processor to reset its clock. In a distributed system, the reliable time source can be approximated by combining the values of processor clocks using a generalization of a fault-tolerant average, called a convergence function. The performance of a clock synchronization protocol based on our paradigm can be quantified in terms of the two parameters that characterize the behavior of the convergence function used: accuracy and precision.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 24, 1987
- Accession Number
- ADA183932
Entities
People
- Fred S. Schneider
Organizations
- Cornell University