Orthogonal Accuracy Clock Synchronization

We present description and analysis of a novel orthogonal accuracy clock synchronization algorithm (OA), which takes care of both precision and accuracy with respect to external time. It is based upon the generic algorithm introduced in [SS97a] and utilizes a convergence function based on Marzullo’s fault-tolerant intersection function. As far as precision is concerned, we show that OA has the same worstcase performance as the well-known fault-tolerant midpoint algorithm of [LWL88]. However, relying upon a perception-based hybrid fault model and a fairly realistic system model, our results are valid for a wide variety of node and link faults and apply to very high-precision applications as well: Impairments due to clock granularity and discrete rate adjustment cannot be ignored here anymore. Our accuracy analysis focuses on the nodes’ local accuracy interval, which provides the application with an on-line bound on the current deviation from external time. We show that this bound could get larger than twice the necessary lower bound (“traditional accuracy”), hence OA is definitely suboptimal in this respect.

[1]  Roger M. Kieckhafer,et al.  New Hybrid Fault Models for Asynchronous Approximate Agreement , 1996, IEEE Trans. Computers.

[2]  Flaviu Cristian,et al.  An optimal internal clock synchronization algorithm , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[3]  Fred B. Schneider,et al.  Understanding Protocols for Byzantine Clock Synchronization , 1987 .

[4]  Klaus Schossmaier,et al.  An interval-based framework for clock rate synchronization , 1997, PODC '97.

[5]  onio Casimiro CesiumSpray : a Precise and Accurate Global Clock Service for Large-scale Systems , 1997 .

[6]  Ulrich Schmid,et al.  Long-Term Evaluation of GPS Timing Receiver Failures , 1997 .

[7]  Paulo Veríssimo,et al.  A posteriori agreement for fault-tolerant clock synchronization on broadcast networks , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[8]  Sam Toueg,et al.  Optimal clock synchronization , 1985, PODC '85.

[9]  Zhonghua Yang,et al.  Annotated bibliography on global states and times in distributed systems , 1993, OPSR.

[10]  Fred B. Schneider,et al.  A Paradigm for Reliable Clock Synchronization , 1986 .

[11]  S. Sitharama Iyengar,et al.  Robust Distributed Comupting and Sensing Algorithm , 1996, Computer.

[12]  David L. Mills,et al.  Improved algorithms for synchronizing computer network clocks , 1995, TNET.

[13]  Ulrich Schmid,et al.  Synchronized universal time coordinated for distributed real-time systems , 1995 .

[14]  Leslie Lamport,et al.  Synchronizing Time Servers , 1987 .

[15]  Danny Dolev,et al.  On the possibility and impossibility of achieving clock synchronization , 1984, STOC '84.

[16]  Fred B. Schneider,et al.  Inexact agreement: accuracy, precision, and graceful degradation , 1985, PODC '85.

[17]  Keith Ansel Marzullo,et al.  Maintaining the time in a distributed system: an example of a loosely-coupled distributed service (synchronization, fault-tolerance, debugging) , 1984 .

[18]  Keith Marzullo,et al.  Tolerating failures of continuous-valued sensors , 1990, TOCS.

[19]  Nancy A. Lynch,et al.  A New Fault-Tolerance Algorithm for Clock Synchronization , 1988, Inf. Comput..

[20]  Nancy A. Lynch,et al.  A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.

[21]  Barbara Liskov,et al.  Practical uses of synchronized clocks in distributed systems , 1991, PODC '91.

[22]  Flaviu Cristian,et al.  Lower Bounds for Function Based Clock Synchronization , 1995 .

[23]  Donald E. Knuth,et al.  The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition , 1997 .