António Casimiro

Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization

Luís Rodrigues, Paulo Veríssimo and António Casimiro

Proceedings of the 12th Symposium on Reliable Distributed Systems, Princeton, New Jersey, USA, October 1993


In a recent paper we presented a new clock synchronization algorithm, dubbed a posteriori agreement, a variant of the convergence non-averaging technique. By exploiting the characteristics of broadcast networks, the effect of message delivery delay variance is largely reduced. In consequence, the precision achieved by the algorithm is drastically improved. Accuracy preservation is near to optimal.
In this paper we present a particular materialization of this algorithm, implemented as a time service of the xAMp group communications system. The algorithm was implemented using some of the primitives offered by 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.


  author       = "Rodrigues, L. and Ver\'{\i}ssimo, P. and Casimiro, A.",
  title        = "Using atomic broadcast to implement {\em a
                  posteriori} agreement for clock synchronization",
  booktitle    = "Proceedings of the 12th Symposium on Reliable
                  Distributed Systems ({SRDS} '93)",
  year         = "1993",
  abstractURL  = "",
  documentURL  = "",
  pages        = "115--124",
  publisher    = "IEEE Computer Society Press",
  ISBN         = "0-8186-4310-2",
  address      = "Princeton, New Jersey",
  month        = oct


Download paper in (.pdf) or (.ps.gz)