A Sound Foundation for the Topological Approach to Task Solvability

Authors Jérémy Ledent, Samuel Mimram



PDF
Thumbnail PDF

File

LIPIcs.CONCUR.2019.34.pdf
  • Filesize: 498 kB
  • 15 pages

Document Identifiers

Author Details

Jérémy Ledent
  • École Polytechnique, Palaiseau, France
Samuel Mimram
  • École Polytechnique, Palaiseau, France

Cite AsGet BibTex

Jérémy Ledent and Samuel Mimram. A Sound Foundation for the Topological Approach to Task Solvability. In 30th International Conference on Concurrency Theory (CONCUR 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 140, pp. 34:1-34:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.CONCUR.2019.34

Abstract

The area of fault-tolerant distributed computability is concerned with the solvability of decision tasks in various computational models where the processes might crash. A very successful approach to prove impossibility results in this context is that of combinatorial topology, started by Herlihy and Shavit’s paper in 1999. They proved that, for wait-free protocols where the processes communicate through read/write registers, a task is solvable if and only if there exists some map between simplicial complexes satisfying some properties. This approach was then extended to many different contexts, where the processes have access to various synchronization and communication primitives. Usually, in those cases, the existence of a simplicial map from the protocol complex to the output complex is taken as the definition of what it means to solve a task. In particular, no proof is provided of the fact that this abstract topological definition agrees with a more concrete operational definition of task solvability. In this paper, we bridge this gap by proving a version of Herlihy and Shavit’s theorem that applies to any kind of object. First, we start with a very general way of specifying concurrent objects, and we define what it means to implement an object B in a computational model where the processes are allowed to communicate through shared objects A_1, ..., A_k. Then, we derive the notion of a decision task as a special case of concurrent object. Finally, we prove an analogue of Herlihy and Shavit’s theorem in this context. In particular, our version of the theorem subsumes all the uses of the combinatorial topology approach that we are aware of.

Subject Classification

ACM Subject Classification
  • Theory of computation → Concurrency
Keywords
  • Fault-tolerant protocols
  • Asynchronous computability
  • Combinatorial topology
  • Protocol complex
  • Distributed task

Metrics

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

References

  1. Elizabeth Borowsky and Eli Gafni. Generalized FLP Impossibility Result for T-resilient Asynchronous Computations. In Proceedings of the Twenty-fifth Annual ACM Symposium on Theory of Computing, STOC '93, pages 91-100, New York, NY, USA, 1993. ACM. URL: https://doi.org/10.1145/167088.167119.
  2. Armando Castañeda, Sergio Rajsbaum, and Michel Raynal. Unifying Concurrent Objects and Distributed Tasks: Interval-Linearizability. J. ACM, 65(6):45:1-45:42, 2018. URL: https://doi.org/10.1145/3266457.
  3. Ivana Filipović, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang. Abstraction for concurrent objects. Theoretical Computer Science, 411(51):4379-4398, 2010. European Symposium on Programming 2009. Google Scholar
  4. Eli Gafni, Sergio Rajsbaum, and Maurice Herlihy. Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. In Shlomi Dolev, editor, Distributed Computing, pages 329-338. Springer Berlin Heidelberg, 2006. Google Scholar
  5. Éric Goubault, Jérémy Ledent, and Samuel Mimram. Concurrent Specifications Beyond Linearizability. In 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, pages 28:1-28:16, 2018. URL: https://doi.org/10.4230/LIPIcs.OPODIS.2018.28.
  6. Maurice Herlihy, Dmitry Kozlov, and Sergio Rajsbaum. Distributed Computing Through Combinatorial Topology. Morgan Kaufmann Publishers Inc., 2013. Google Scholar
  7. Maurice Herlihy and Sergio Rajsbaum. Set Consensus Using Arbitrary Objects (Preliminary Version). In Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, PODC '94, pages 324-333, New York, NY, USA, 1994. ACM. URL: https://doi.org/10.1145/197917.198119.
  8. Maurice Herlihy and Sergio Rajsbaum. Algebraic topology and distributed computing: a primer, pages 203-217. Springer Berlin Heidelberg, 1995. URL: https://doi.org/10.1007/BFb0015245.
  9. Maurice Herlihy, Sergio Rajsbaum, and Mark R. Tuttle. Unifying Synchronous and Asynchronous Message-passing Models. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, PODC '98, pages 133-142, New York, NY, USA, 1998. ACM. URL: https://doi.org/10.1145/277697.277722.
  10. Maurice Herlihy and Nir Shavit. The Topological Structure of Asynchronous Computability. J. ACM, 46(6):858-923, November 1999. URL: https://doi.org/10.1145/331524.331529.
  11. Maurice Herlihy and Jeannette M. Wing. Linearizability: A Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems, 12(3):463-492, 1990. Google Scholar
  12. Nancy A. Lynch and Mark R. Tuttle. An introduction to input/output automata. CWI Quarterly, 2:219-246, 1989. URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7751.
  13. Michael Saks and Fotios Zaharoglou. Wait-free K-set Agreement is Impossible: The Topology of Public Knowledge. In Proceedings of the Twenty-fifth Annual ACM Symposium on Theory of Computing, STOC '93, pages 101-110, New York, NY, USA, 1993. ACM. URL: https://doi.org/10.1145/167088.167122.
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