Document Open Access Logo

Probable Approximate Coordination

Authors Ariel Livshits , Yoram Moses



PDF
Thumbnail PDF

File

LIPIcs.OPODIS.2023.19.pdf
  • Filesize: 0.97 MB
  • 21 pages

Document Identifiers

Author Details

Ariel Livshits
  • Yahoo! Research, Haifa, Israel
Yoram Moses
  • Technion, Haifa, Israel

Acknowledgements

Yoram Moses is the Israel Pollak academic chair at the Technion. The authors would like to thank Yonathan Shadmi for his most valuable help.

Cite AsGet BibTex

Ariel Livshits and Yoram Moses. Probable Approximate Coordination. In 27th International Conference on Principles of Distributed Systems (OPODIS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 286, pp. 19:1-19:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.OPODIS.2023.19

Abstract

We study the problem of how to coordinate the actions of independent agents in a distributed system where message arrival times are unbounded, but are determined by an exponential probability distribution. Asynchronous protocols executed in such a model are guaranteed to succeed with probability 1. We demonstrate a case in which the best asynchronous protocol can be improved on significantly. Specifically, we focus on the task of performing actions by different agents in a linear temporal order - a problem known in the literature as Ordered Response. In asynchronous systems, ensuring such an ordering requires the construction of a message chain that passes through each acting agent, in order. Solving Ordered Response in this way in our model will terminate in time that grows linearly in the number of participating agents n, in expectation. We show that relaxing the specification slightly allows for a significant saving in time. Namely, if Ordered Response should be guaranteed with high probability (arbitrarily close to 1), it is possible to significantly shorten the expected execution time of the protocol. We present two protocols that adhere to the relaxed specification. One of our protocols executes exponentially faster than a message chain, when the number of participating agents n is large, while the other is roughly quadratically faster. For small values of n, it is also possible to achieve similar results by using a hybrid protocol.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • Distributed coordination
  • ordered response
  • exponentially distributed delay

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Hisham S Abdel-Ghaffar. Analysis of synchronization algorithms with time-out control over networks with exponentially symmetric delays. IEEE Transactions on Communications, 50(10):1652-1661, 2002. URL: https://doi.org/10.1109/TCOMM.2002.803979.
  2. Koshal Arvind. Probabilistic clock synchronization in distributed systems. IEEE Transactions on Parallel and Distributed Systems, 5(5):474-487, 1994. URL: https://doi.org/10.1109/71.282558.
  3. Ido Ben-Zvi and Yoram Moses. Beyond lamport’s happened-before: On the role of time bounds in synchronous systems. In International Symposium on Distributed Computing, pages 421-436. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-15763-9_42.
  4. Nicolas Bourbaki. General Topology: Chapters 1-4, volume 18. Springer Science & Business Media, 2013. URL: https://doi.org/10.1007/978-3-642-61701-0.
  5. K. Mani Chandy and Jayadev Misra. How processes learn. In Proceedings of the fourth annual ACM symposium on Principles of Distributed Computing, pages 204-214, 1985. URL: https://doi.org/10.1145/323596.323615.
  6. Qasim M Chaudhari, Erchin Serpedin, and Jang-Sub Kim. Energy-efficient estimation of clock offset for inactive nodes in wireless sensor networks. IEEE Transactions on Information Theory, 56(1):582-596, 2009. URL: https://doi.org/10.1109/TIT.2009.2034817.
  7. John H. Conway and Richard Guy. The book of numbers, pages 258-259. Springer Science & Business Media, 1998. URL: https://doi.org/10.1007/978-1-4612-4072-3.
  8. Flaviu Cristian. Probabilistic clock synchronization. Distributed computing, 3:146-158, 1989. URL: https://doi.org/10.1007/BF01784024.
  9. M Evans, N Hastings, and B Peacock. Erlang distribution. In Statistical Distributions, 3rd ed., chapter 12, pages 71-73. Wiley, New York, 2000. Google Scholar
  10. Daniel R Jeske. On maximum-likelihood estimation of clock offset. IEEE Transactions on Communications, 53(1):53-54, 2005. URL: https://doi.org/10.1109/TCOMM.2004.840668.
  11. Daniel R Jeske and Ashwin Sampath. Estimation of clock offset using bootstrap bias-correction techniques. Technometrics, 45(3):256-261, 2003. URL: https://doi.org/10.1198/004017003000000078.
  12. Leonard Kleinrock. Theory, volume 1, queueing systems, 1975. Google Scholar
  13. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. In Concurrency: the Works of Leslie Lamport, pages 179-196. Association for Computing Machinery, New York, 2019. URL: https://doi.org/10.1145/3335772.3335934.
  14. Mei Leng and Yik-Chung Wu. Low-complexity maximum-likelihood estimator for clock synchronization of wireless sensor nodes under exponential delays. IEEE Transactions on Signal Processing, 59(10):4860-4870, 2011. URL: https://doi.org/10.1109/TSP.2011.2160857.
  15. Alberto Leon-Garcia. Probability and Random Processes for Electrical Engineering. Addison-Wesley, Reading, MA, USA, 2nd edition, 1993. Google Scholar
  16. Ariel Livshits and Yoram Moses. Probable approximate coordination. arXiv preprint, 2023. URL: https://arxiv.org/abs/2311.05368.
  17. Nancy A Lynch. Distributed algorithms, page 466. Elsevier, 1996. Google Scholar
  18. Alan Olson and Kang G Shin. Probabilistic clock synchronization in large distributed systems. IEEE Transactions on Computers, 43(9):1106-1112, 1994. URL: https://doi.org/10.1109/12.312120.
  19. Santashil PalChaudhuri, Amit Saha, and David B Johnson. Probabilistic clock synchronization service in sensor networks. IEEE Transactions on Networking, 2(2):177-189, 2003. Google Scholar
  20. Athanasios Papoulis. Probability, random variables and stochastic processes. McGraw-Hill, Columbus, OH, USA, 3rd edition, 1991. Google Scholar
  21. Davide Zennaro, Aitzaz Ahmad, Lorenzo Vangelista, Erchin Serpedin, Hazem Nounou, and Mohamed Nounou. Network-wide clock synchronization via message passing with exponentially distributed link delays. IEEE transactions on communications, 61(5):2012-2024, 2013. URL: https://doi.org/10.1109/TCOMM.2013.021913.120595.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail