On using time without clocks via zigzag causality. (English) Zbl 1380.68044
Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 241-250 (2017).
References:
| [1] | H. Attiya, A. Herzberg, and S. Rajsbaum. Optimal clock synchronization under different delay assumptions. SIAM J. Comput., 25, February 1996. 10.1137/S0097539794266328 · Zbl 0844.68043 |
| [2] | I. Ben-Zvi and Y. Moses. On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics, 21(3-4):323-354, 2011. · Zbl 1242.03035 |
| [3] | I. Ben-Zvi and Y. Moses. Agent-time epistemics and coordination. In Indian Conference on Logic and Its Applications, pages 97-108. Springer, 2013. 10.1007/978-3-642-36039-8_9 · Zbl 1303.03039 |
| [4] | I. Ben-Zvi and Y. Moses. The shape of reactive coordination tasks. In Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013. |
| [5] | I. Ben-Zvi and Y. Moses. Beyond Lamport’s happened-before: On time bounds and the ordering of events in distributed systems. J. ACM, 61(2):13:1-13:26, 2014. · Zbl 1295.68165 |
| [6] | G.-q. Bi and M.-m. Poo. Synaptic modifications in cultured hippocampal neurons: dependence on spike timing, synaptic strength, and postsynaptic cell type. Journal of neuroscience, 18(24):10464-10472, 1998. |
| [7] | B. A. Coan. A communication-efficient canonical form for fault-tolerant distributed protocols. In Proceedings of the fifth annual ACM symposium on Principles of distributed computing, pages 63-72. ACM, 1986. 10.1145/10590.10596 |
| [8] | J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. Furman, S. Ghemawat, A. Gubarev, C. Heiser, P. Hochschild, et al. Spanner: Google’s globally distributed database. ACM Transactions on Computer Systems (TOCS), 31(3):8, 2013. 10.1145/2518037.2491245 |
| [9] | A. Dan, R. Manohar, and Y. Moses. On using time without clocks via zigzag causality. arXiv.org article, http://arxiv.org/abs/1705.08627, 2017. |
| [10] | B. Dickerson. Time in the power industry: how and why we use it. Arbiter Systems, technical report, http://www.arbiter.com/ftp/datasheets/TimeInThePowerIndustry.pdf, 2010. |
| [11] | D. Dolev, J. Y. Halpern, B. B. Simons, and H. R. Strong. A new look at fault-tolerant network routing. Information and Computation, 72(3):180-196, 1987. 10.1016/0890-5401(87)90031-9 · Zbl 0638.68010 |
| [12] | D. Dolev, J. Y. Halpern, and H. R. Strong. On the possibility and impossibility of achieving clock synchronization. Journal of Computer and System Sciences, 32(2):230-250, 1986. 10.1016/0022-0000(86)90028-0 · Zbl 0595.68029 |
| [13] | R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, Mass., 2003. · Zbl 0839.68095 |
| [14] | P. Giusto, G. Martin, and E. Harcourt. Reliable estimation of execution time of embedded software. In Proceedings of the conference on Design, automation and test in Europe, pages 580-589. IEEE Press, 2001. 10.1109/DATE.2001.915082 |
| [15] | Y. A. Gonczarowski and Y. Moses. Timely common knowledge. In Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013, 2013. |
| [16] | J. Y. Halpern, N. Megiddo, and A. Munshi. Optimal precision in the presence of uncertainty. Journal of Complexity, 1:170-196, 1985. 10.1016/0885-064X(85)90010-X · Zbl 0598.68033 |
| [17] | K. Harris. An application of IEEE 1588 to industrial automation. In International IEEE Symposium on Precision Clock Synchronization for Measurement Control and Communication (ISPCS), 2008. 10.1109/ISPCS.2008.4659216 |
| [18] | IEEE TC 9. 1588 IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems Version 2. IEEE, 2008. |
| [19] | ITU-T G.8271/Y.1366. Time and phase synchronization aspects of packet networks. ITU-T, 2012. |
| [20] | M. Konishi. Centrally synthesized maps of sensory space. Trends in Neurosciences, 9:163-168, 1986. 10.1016/0166-2236(86)90053-6 |
| [21] | H. Kopetz. Real-time systems: design principles for distributed embedded applications. Springer Science & Business Media, 2011. 10.1007/978-1-4419-8237-7 · Zbl 1226.68001 |
| [22] | L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978. 10.1145/359545.359563 · Zbl 0378.68027 |
| [23] | L. Lamport. Using time instead of timeout for fault-tolerant distributed systems. ACM Trans. Program. Lang. Syst., 6(2):254-280, 1984. 10.1145/2993.2994 |
| [24] | L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. Journal of the ACM, 32(1):52-78, 1985. 10.1145/2455.2457 · Zbl 0629.68025 |
| [25] | J. Lundelius and N. Lynch. An upper and lower bound for clock synchronization. Information and control, 62(2-3):190-204, 1984. · Zbl 0591.68023 |
| [26] | N. A. Lynch and N. Shavit. Timing-based mutual exclusion. In Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona, USA, December 1992, pages 2-11, 1992. 10.1109/REAL.1992.242681 |
| [27] | P. Moreira, J. Serrano, T. Wlostowski, P. Loschmidt, and G. Gaderer. White rabbit: Sub-nanosecond timing distribution over ethernet. In Precision Clock Synchronization for Measurement, Control and Communication, 2009. ISPCS 2009. International Symposium on, pages 1-5. IEEE, 2009. |
| [28] | A. Morrison and Y. Afek. Temporally bounding TSO for fence-free asymmetric synchronization. In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS ’15, Istanbul, Turkey, March 14-18, 2015, pages 45-58, 2015. 10.1145/2694344.2694374 |
| [29] | Y. Moses. Knowledge and communication (a tutorial). In Y. Moses, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. Fourth Conference, pages 1-14. Morgan Kaufmann, San Francisco, Calif., 1992. |
| [30] | Y. Moses. Relating knowledge and coordinated action: The knowledge of preconditions principle. In Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015., pages 231-245, 2015. · Zbl 1483.68423 |
| [31] | Y. Moses and B. Bloom. Knowledge, timed precedence and clocks. In Proc. 13th ACM Symp. on Principles of Distributed Computing, pages 294-303, 1994. · Zbl 1374.68074 |
| [32] | C. J. Myers. Asynchronous circuit design. John Wiley & Sons, 2004. |
| [33] | B. Patt-Shamir and S. Rajsbaum. A theory of clock synchronization (extended abstract). In STOC ’94: Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, pages 810-819, New York, NY, USA, 1994. ACM. 10.1145/195058.195466 · Zbl 1344.68034 |
| [34] | B. Simons. An overview of clock synchronization. In Fault-Tolerant Distributed Computing, pages 84-96. Springer, 1990. 10.1007/BFb0042327 |
| [35] | T. K. Srikanth and S. Toueg. Optimal clock synchronization. In Proc. 4th ACM Symp. on Principles of Distributed Computing, pages 71-86, 1985. 10.1145/323596.323603 |
| [36] | N. Weste and D. Harris. CMOS VLSI Design: A Circuits and Systems Perspective (4th Edition). Pearson, 2010. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
