On Using Time Without Clocks via Zigzag Causality

Even in the absence of clocks, time bounds on the duration of actions enable the use of time for distributed coordination. This paper initiates an investigation of coordination in such a setting. A new communication structure called a zigzag pattern is introduced, and is shown to guarantee bounds on the relative timing of events in this clockless model. Indeed, zigzag patterns are shown to be necessary and sufficient for establishing that events occur in a manner that satisfies prescribed bounds. We capture when a process can know that an appropriate zigzag pattern exists, and use this to provide necessary and sufficient conditions for timed coordination of events using a full-information protocol in the clockless model.

[1]  Leslie Lamport,et al.  Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. , 1984, TOPL.

[2]  Boaz Patt-Shamir,et al.  A theory of clock synchronization (extended abstract) , 1994, STOC '94.

[3]  Yehuda Afek,et al.  Temporally Bounding TSO for Fence-Free Asymmetric Synchronization , 2015, ASPLOS.

[4]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[5]  Yoram Moses,et al.  Knowledge and communication: a tutorial , 1992 .

[6]  Christopher Frost,et al.  Spanner: Google's Globally-Distributed Database , 2012, OSDI.

[7]  K. Harris.  An application of IEEE 1588 to Industrial Automation , 2008, 2008 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.

[8]  Hagit Attiya,et al.  Optimal Clock Synchronization under Different Delay Assumptions , 1996, SIAM J. Comput..

[9]  Kiyoshi Oguri,et al.  Asynchronous Circuit Design , 2001 .

[10]  Paolo Giusto,et al.  Reliable estimation of execution time of embedded software , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[11]  Danny Dolev,et al.  A new look at fault tolerant network routing , 1984, STOC '84.

[12]  Masakazu Konishi.  Centrally synthesized maps of sensory space , 1986, Trends in Neurosciences.

[13]  G. Bi,et al.  Synaptic Modifications in Cultured Hippocampal Neurons: Dependence on Spike Timing, Synaptic Strength, and Postsynaptic Cell Type , 1998, The Journal of Neuroscience.

[14]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[15]  Brian A. Coan,et al.  A communication-efficient canonical form for fault-tolerant distributed protocols , 1986, PODC '86.

[16]  Yoram Moses,et al.  Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle , 2016, TARK.

[17]  Yoram Moses,et al.  Agent-Time Epistemics and Coordination , 2012, ICLA.

[18]  Hagit Attiya,et al.  Optimal clock synchronization under different delay assumptions , 1993, PODC '93.

[19]  Nancy A. Lynch,et al.  An Upper and Lower Bound for Clock Synchronization , 1984, Inf. Control..

[20]  Nancy A. Lynch,et al.  An Overview of Clock Synchronization , 1986, Fault-Tolerant Distributed Computing.

[21]  Yoram Moses,et al.  Beyond Lamport's Happened-before , 2014, J. ACM.

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

[23]  David Harris,et al.  CMOS VLSI Design: A Circuits and Systems Perspective , 2004 .

[24]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

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

[26]  Yoram Moses,et al.  On interactive knowledge with bounded communication , 2011, J. Appl. Non Class. Logics.

[27]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[28]  Kang Lee,et al.  IEEE 1588 standard for a precision clock synchronization protocol for networked measurement and control systems , 2002, 2nd ISA/IEEE Sensors for Industry Conference,.

[29]  Joseph Y. Halpern,et al.  Optimal precision in the presence of uncertainty , 1985, J. Complex..

[30]  Pedro Moreira,et al.  White rabbit: Sub-nanosecond timing distribution over ethernet , 2009, 2009 International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.

[31]  Yoram Moses,et al.  Knowledge, Timed Precedence and Clocks , 1995, PODC 1995.

[32]  Yoram Moses,et al.  Timely Common Knowledge , 2013, TARK.

[33]  Yoram Moses,et al.  The Shape of Reactive Coordination Tasks , 2013, TARK.

[34]  N. Lynch,et al.  Timing-based mutual exclusion , 1992, [1992] Proceedings Real-Time Systems Symposium.