Document Open Access Logo

One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks

Authors Hagit Attiya , Pierre Fraigniaud, Ami Paz , Sergio Rajsbaum

PDF
Thumbnail PDF

File

LIPIcs.DISC.2023.4.pdf
  • Filesize: 1.08 MB
  • 23 pages

Document Identifiers

Author Details

Hagit Attiya
  • Department of Computer Science, Technion, Israel
Pierre Fraigniaud
  • IRIF - CNRS & Université Paris Cité, France
Ami Paz
  • LISN - CNRS & Université Paris-Saclay, France
Sergio Rajsbaum
  • IRIF, École Polytechnique and Instituto de Matemáticas, UNAM, Mexico

Funding

  • Attiya, Hagit: partially supported by the Israel Science Foundation (grants 380/18 and 22/1425).
  • Fraigniaud, Pierre: partially supported by the ANR projects DUCAT (ANR-20-CE48-0006), FREDDA (ANR-17-CE40-0013), and QuData (ANR-18-CE47-0010).
  • Rajsbaum, Sergio: partially supported by the ANR projects DUCAT (ANR-20-CE48-0006).

Acknowledgements

The authors thank Faith Ellen and the referees for helpful comments.

Cite AsGet BibTex

Hagit Attiya, Pierre Fraigniaud, Ami Paz, and Sergio Rajsbaum. One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks. In 37th International Symposium on Distributed Computing (DISC 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 281, pp. 4:1-4:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.DISC.2023.4

Abstract

The paper compares two generic techniques for deriving lower bounds and impossibility results in distributed computing. First, we prove a speedup theorem (a-la Brandt, 2019), for wait-free colorless algorithms, aiming at capturing the essence of the seminal round-reduction proof establishing a lower bound on the number of rounds for 3-coloring a cycle (Linial, 1992), and going by backward induction. Second, we consider FLP-style proofs, aiming at capturing the essence of the seminal consensus impossibility proof (Fischer, Lynch, and Paterson, 1985) and using forward induction. We show that despite their very different natures, these two forms of proof are tightly connected. In particular, we show that for every colorless task Π, if there is a round-reduction proof establishing the impossibility of solving Π using wait-free colorless algorithms, then there is an FLP-style proof establishing the same impossibility. For 1-dimensional colorless tasks (for an arbitrarily number n ≥ 2 of processes), we prove that the two proof techniques have exactly the same power, and more importantly, both are complete: if a 1-dimensional colorless task is not wait-free solvable by n ≥ 2 processes, then the impossibility can be proved by both proof techniques. Moreover, a round-reduction proof can be automatically derived, and an FLP-style proof can be automatically generated from it. Finally, we illustrate the use of these two techniques by establishing the impossibility of solving any colorless covering task of arbitrary dimension by wait-free algorithms.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • Wait-free computing
  • lower bounds

Metrics

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

Related Versions

References

  1. Marcos Kawazoe Aguilera and Sam Toueg. A simple bivalency proof that t-resilient consensus requires t + 1 rounds. Inf. Process. Lett., 71(3-4):155-158, 1999. URL: https://doi.org/10.1016/S0020-0190(99)00100-3.
  2. Dan Alistarh, James Aspnes, Faith Ellen, Rati Gelashvili, and Leqi Zhu. Why extension-based proofs fail. In Moses Charikar and Edith Cohen, editors, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, STOC, pages 986-996. ACM, 2019. URL: https://doi.org/10.1145/3313276.3316407.
  3. Dan Alistarh, Faith Ellen, and Joel Rybicki. Wait-free approximate agreement on graphs. In Tomasz Jurdzinski and Stefan Schmid, editors, Structural Information and Communication Complexity - 28th International Colloquium, SIROCCO, volume 12810 of Lecture Notes in Computer Science, pages 87-105. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-79527-6_6.
  4. J. Aspnes and M. Herlihy. Wait-free data structures in the asynchronous PRAM model. In 2nd ACM Symposium on Parallel Algorithms and Architectures (SPAA), pages 340-349, 1990. URL: https://doi.org/10.1145/97444.97701.
  5. Hagit Attiya, Armando Castañeda, and Sergio Rajsbaum. Locally solvable tasks and the limitations of valency arguments. J. Parallel Distributed Comput., 176:28-40, 2023. URL: https://doi.org/10.1016/j.jpdc.2023.02.002.
  6. Hagit Attiya and Faith Ellen. Impossibility Results for Distributed Computing. Synthesis Lectures on Distributed Computing Theory. Morgan & Claypool Publishers, 2014. URL: https://doi.org/10.2200/S00551ED1V01Y201311DCT012.
  7. Hagit Attiya and Jennifer Welch. Distributed Computing: Fundamentals, Simulations and Advanced Topics. John Wiley & Sons, Hoboken, NJ, USA, 2004. Google Scholar
  8. Alkida Balliu, Sebastian Brandt, Juho Hirvonen, Dennis Olivetti, Mikaël Rabie, and Jukka Suomela. Lower bounds for maximal matchings and maximal independent sets. In 60th IEEE Symposium on Foundations of Computer Science (FOCS), pages 481-497, 2019. URL: https://doi.org/10.1109/FOCS.2019.00037.
  9. Ofer Biran, Shlomo Moran, and Shmuel Zaks. A combinatorial characterization of the distributed 1-solvable tasks. J. Algorithms, 11(3):420-440, 1990. URL: https://doi.org/10.1016/0196-6774(90)90020-F.
  10. Elizabeth Borowsky and Eli Gafni. Generalized FLP impossibility result for t-resilient asynchronous computations. In 25 ACM Symposium on Theory of Computing (STOC), pages 91-100, 1993. URL: https://doi.org/10.1145/167088.167119.
  11. Elizabeth Borowsky and Eli Gafni. A simple algorithmically reasoned characterization of wait-free computations. In 16th ACM Symposium on Principles of Distributed Computing (PODC), pages 189-198, 1997. URL: https://doi.org/10.1145/259380.259439.
  12. Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, and Sergio Rajsbaum. The BG distributed simulation algorithm. Distributed Comput., 14(3):127-146, 2001. URL: https://doi.org/10.1007/PL00008933.
  13. Sebastian Brandt. An automatic speedup theorem for distributed problems. In 38th ACM Symposium on Principles of Distributed Computing (PODC), pages 379-388, 2019. URL: https://doi.org/10.1145/3293611.3331611.
  14. Kayman Brusse and Faith Ellen. Reductions and extension-based proofs. In PODC '21: ACM Symposium on Principles of Distributed Computing, pages 497-507. ACM, 2021. URL: https://doi.org/10.1145/3465084.3467906.
  15. Armando Castañeda, Damien Imbs, Sergio Rajsbaum, and Michel Raynal. Generalized symmetry breaking tasks and nondeterminism in concurrent objects. SIAM J. Comput., 45(2):379-414, 2016. URL: https://doi.org/10.1137/130936828.
  16. Armando Castañeda, Sergio Rajsbaum, and Matthieu Roy. Two convergence problems for robots on graphs. In 2016 Seventh Latin-American Symposium on Dependable Computing, LADC, pages 81-90. IEEE Computer Society, 2016. URL: https://doi.org/10.1109/LADC.2016.21.
  17. Soma Chaudhuri. More choices allow more faults: Set consensus problems in totally asynchronous systems. Inf. Comput., 105(1):132-158, 1993. Google Scholar
  18. Faith E. Fich and Eric Ruppert. Hundreds of impossibility results for distributed computing. Distributed Comput., 16(2-3):121-163, 2003. URL: https://doi.org/10.1007/s00446-003-0091-y.
  19. Michael J. Fischer, Nancy A. Lynch, and Mike Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2):374-382, 1985. URL: https://doi.org/10.1145/3149.214121.
  20. Pierre Fraigniaud, Ami Paz, and Sergio Rajsbaum. A speedup theorem for asynchronous computation with applications to consensus and approximate agreement. In PODC, pages 460-470. ACM, 2022. Google Scholar
  21. Pierre Fraigniaud, Sergio Rajsbaum, and Corentin Travers. Locality and checkability in wait-free computing. Distributed Comput., 26(4):223-242, 2013. URL: https://doi.org/10.1007/s00446-013-0188-x.
  22. Eli Gafni and Sergio Rajsbaum. Distributed programming with tasks. In 14th International Conference on Principles of Distributed Systems (OPODIS), LNCS 6490, pages 205-218. Springer, 2010. URL: https://doi.org/10.1007/978-3-642-17653-1_17.
  23. Maurice Herlihy, Dmitry N. Kozlov, and Sergio Rajsbaum. Distributed Computing Through Combinatorial Topology. Morgan Kaufmann, 2013. Google Scholar
  24. Maurice Herlihy and Sergio Rajsbaum. The decidability of distributed decision tasks. In Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, pages 589-598. ACM, 1997. URL: https://doi.org/10.1145/258533.258652.
  25. Maurice Herlihy and Sergio Rajsbaum. A classification of wait-free loop agreement tasks. Theor. Comput. Sci., 291(1):55-77, 2003. URL: https://doi.org/10.1016/S0304-3975(01)00396-6.
  26. Maurice Herlihy and Sergio Rajsbaum. The topology of shared-memory adversaries. In PODC, pages 105-113. ACM, 2010. Google Scholar
  27. Maurice Herlihy and Sergio Rajsbaum. Simulations and reductions for colorless tasks. In ACM Symposium on Principles of Distributed Computing, PODC, pages 253-260. ACM, 2012. URL: https://doi.org/10.1145/2332432.2332483.
  28. Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, and Julien Stainer. From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci., 683:1-21, 2017. Google Scholar
  29. Maurice Herlihy and Nir Shavit. The topological structure of asynchronous computability. J. ACM, 46(6):858-923, 1999. URL: https://doi.org/10.1145/331524.331529.
  30. Gunnar Hoest and Nir Shavit. Toward a topological characterization of asynchronous complexity. SIAM J. Comput., 36(2):457-497, 2006. URL: https://doi.org/10.1137/S0097539701397412.
  31. Idit Keidar and Sergio Rajsbaum. A simple proof of the uniform consensus synchronous lower bound. Inf. Process. Lett., 85(1):47-52, 2003. URL: https://doi.org/10.1016/S0020-0190(02)00333-2.
  32. Petr Kuznetsov, Thibault Rieutord, and Yuan He. An asynchronous computability theorem for fair adversaries. In PODC, pages 387-396. ACM, 2018. Google Scholar
  33. Nathan Linial. Locality in distributed graph algorithms. SIAM J. Comput., 21(1):193-201, 1992. Google Scholar
  34. Nancy A. Lynch. A hundred impossibility proofs for distributed computing. In 8th ACM Symposium on Principles of Distributed Computing (PODC), pages 1-28, 1989. URL: https://doi.org/10.1145/72981.72982.
  35. Nancy A. Lynch and Sergio Rajsbaum. On the borowsky-gafni simulation algorithm. In ISTCS, pages 4-15. IEEE Computer Society, 1996. Google Scholar
  36. Moni Naor and Larry J. Stockmeyer. What can be computed locally? SIAM J. Comput., 24(6):1259-1277, 1995. URL: https://doi.org/10.1137/S0097539793254571.
  37. David Peleg. Distributed Computing: A Locality-Sensitive Approach. SIAM, 2000. Google Scholar
  38. Sergio Rajsbaum. Iterated shared memory models. In LATIN, volume 6034 of Lecture Notes in Computer Science, pages 407-416. Springer, 2010. Google Scholar
  39. Joseph Rotman. Covering complexes with applications to algebra. Rocky Mountain Journal of Mathematics, 3(4):641-674, 1973. URL: https://doi.org/10.1216/RMJ-1973-3-4-641.
  40. Michael E. Saks and Fotios Zaharoglou. Wait-free k-set agreement is impossible: the topology of public knowledge. In 25th ACM Symposium on Theory of Computing (STOC), pages 101-110, 1993. URL: https://doi.org/10.1145/167088.167122.
  41. Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, and Sergio Rajsbaum. A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program., 121:100662, 2021. URL: https://doi.org/10.1016/j.jlamp.2021.100662.
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact