• DOI:10.1145/331524.331529
• Corpus ID: 5797174

The topological structure of asynchronous computability

@article{Herlihy1999TheTS,
  title={The topological structure of asynchronous computability},
  author={Maurice Herlihy and Nir Shavit},
  journal={J. ACM},
  year={1999},
  volume={46},
  pages={858-923}
}

• M. Herlihy, N. Shavit
• Published 1 November 1999
• Computer Science
• J. ACM

We give necessary and sufficient combinatorial conditions characterizing the tasks that can be solved by asynchronous processes, of which all but one can fail, that communicate by reading and writing a shared memory. We introduce a new formalism for tasks, based on notions from classical algebraic and combinatorial topology, in which a task''s possible input and output values are each associated with high-dimensional geometric structures called simplicial complexes. We characterize computability in terms of the topological properties of these complexes. This characterization has a surprising geometric interpretation: a task is solvable if and only if the complex representing the task''s allowable inputs can be mapped to the complex representing the task''s allowable outputs by a function satisfying certain simple regularity properties. Our formalism thus replaces the ``operational'''' notion of a wait-free decision task, expressed in terms of interleaved computations unfolding in time, by a static ``combinatorial'''' description expressed in terms of relations among topological spaces, allowing us to exploit powerful theorems from the classic literature on algebraic and combinatorial topology. This approach yields the first impossibility results for several long-standing open problems in distributed computing, such as the ``renaming'''' problem of Attiya et al., and the ``$k$-set agreement'''' problem of Chaudhuri.