A new probabilistic algorithm for clock synchronization

Presented is an averaging probabilistic clock-synchronization algorithm that is based on the redundant transmission of multiple synchronization messages. The algorithm can guarantee a much lower upper bound on the deviation between clocks than can most existing algorithms. The algorithm is probabilistic in the sense that the upper bound on the deviation that it guarantees has an associated probability of invalidity. The probability of invalidity, i.e. the probability that the deviation exceeds the guaranteed maximum deviation, may be made extremely small by sufficiently increasing the number of messages transmitted. It is proved that an upper bound on the probability of invalidity decreases exponentially with the number of messages, i.e. the probability of invalidity itself decreases exponentially or better