Using atomic broadcast to implement a posteriori agreement for clock synchronization

In resent paper we presented a new clock synchronization algorithm, dubbed a posteriori agreement, a variant of the convergence non-averaging technique. In this paper we present a particular materialization of this algorithm, implemented as a time service of the xAMp, which simplified the work and stressed its advantages. The paper also presents performance results for this implementation obtained on two different infrastructures. Timings validate the design choices and clearly show that our algorithm is able to provide improved precision without compromising accuracy and reliability.