Results 1  10
of
18
The Topological Structure of Asynchronous Computability
 JOURNAL OF THE ACM
, 1996
"... 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 algebra ..."
Abstract

Cited by 114 (11 self)
 Add to MetaCart
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 highdimensional 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 waitfree decision task, expressed in terms of interleaved computations unfolding ...
Roundbyround fault detectors: Unifying synchrony and asynchrony
 In Proc of the 17th ACM Symp. Principles of Distributed Computing (PODC
, 1998
"... and insights. 1 Introduction For many years, researchers studying synchronous messagepassing systems have considered algorithms composed of rounds of computation. In each round, a process sends a message to the others and then waits to receive messages from the other processes. The synchronous natu ..."
Abstract

Cited by 48 (7 self)
 Add to MetaCart
and insights. 1 Introduction For many years, researchers studying synchronous messagepassing systems have considered algorithms composed of rounds of computation. In each round, a process sends a message to the others and then waits to receive messages from the other processes. The synchronous nature of the system ensures that, by the end of the round, each process receives all messages sent to it in that round by correct processes. In the parlance of Elrad and Frances [1] then, each round of a synchronous system is a communicationclosedlayer.
Set Consensus Using Arbitrary Objects
 In Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
, 1994
"... In the (N; k)consensus task, each process in a group starts with a private input value, communicates with the others by applying operations to shared objects, and then halts after choosing a private output value. Each process is required to choose some process's input value, and the set of values c ..."
Abstract

Cited by 35 (17 self)
 Add to MetaCart
In the (N; k)consensus task, each process in a group starts with a private input value, communicates with the others by applying operations to shared objects, and then halts after choosing a private output value. Each process is required to choose some process's input value, and the set of values chosen should have size at most k. This problem, first proposed by Chaudhuri in 1990, has been extensively studied using asynchronous read/write memory. In this paper, we investigate this problem in a more powerful asynchronous model in which processes may communicate through objects other than read/write memory, such as test&set variables. We prove two general theorems about the solvability of set consensus using objects other than read/write registers. The first theorem addresses the question of what kinds of shared objects are needed to solve (N; k)consensus, and the second addresses the question of what kinds of tasks can be solved by N processes using (M; j)consensus objects, for M N...
Algebraic spans
, 2000
"... Topological methods have yielded a variety of lower bounds and impossibility results for distributed computing. In this paper, we introduce a new tool for proving impossibility results, which is based on a core theorem of algebraic topology, the acyclic carrier theorem, and unifies, generalizes and ..."
Abstract

Cited by 32 (16 self)
 Add to MetaCart
Topological methods have yielded a variety of lower bounds and impossibility results for distributed computing. In this paper, we introduce a new tool for proving impossibility results, which is based on a core theorem of algebraic topology, the acyclic carrier theorem, and unifies, generalizes and extends earlier results.
Unifying Synchronous and Asynchronous MessagePassing Models
 In Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing
, 1998
"... We take a significant step toward unifying the synchronous, semisynchronous, and asynchronous messagepassing models of distributed computation. The key idea is the concept of a pseudosphere, a new combinatorial structure in which each process from a set of processes is independently assigned a valu ..."
Abstract

Cited by 25 (11 self)
 Add to MetaCart
We take a significant step toward unifying the synchronous, semisynchronous, and asynchronous messagepassing models of distributed computation. The key idea is the concept of a pseudosphere, a new combinatorial structure in which each process from a set of processes is independently assigned a value from a set of values. Pseudospheres have a number of nice combinatorial properties, but their principal interest lies in the observation that the behavior of protocols in the three models can be characterized as simple unions of pseudospheres, where the exact structure of these unions is determined by the timing properties of the model. We use this pseudosphere construction to derive new and remarkably succinct proofs of bounds on consensus and kset agreement in the asynchronous and synchronous models, as well as the first lower bound on waitfree kset agreement in the semisynchronous model. To appear in the 16th Annual ACM Symposium on Principles of Distributed Computing (PODC98), Puer...
The Combinatorial Structure of Waitfree Solvable Tasks (Extended Abstract)
, 1996
"... This paper presents a selfcontained study of waitfree solvable tasks. A new necessary and sufficient condition for waitfree solvability is proved, providing a characterization of the waitfree solvable tasks. The necessary condition is used to prove tight bounds on renaming and kset consensus. ..."
Abstract

Cited by 24 (13 self)
 Add to MetaCart
This paper presents a selfcontained study of waitfree solvable tasks. A new necessary and sufficient condition for waitfree solvability is proved, providing a characterization of the waitfree solvable tasks. The necessary condition is used to prove tight bounds on renaming and kset consensus. The framework is based on topology, but uses only elementary combinatorics, and does not rely on algebraic or geometric arguments.
A Tutorial on Algebraic Topology and Distributed Computation
 Lecture Notes in Computer Science
, 1994
"... This document is a set of course notes from an informal tutorial to be presented at UCLA in August 1994. These notes are intended to be informative, even provocative, but are not intended to be balanced, comprehensive, or authoritative. All reasonable suggestions for improvement will be enthusiastic ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
This document is a set of course notes from an informal tutorial to be presented at UCLA in August 1994. These notes are intended to be informative, even provocative, but are not intended to be balanced, comprehensive, or authoritative. All reasonable suggestions for improvement will be enthusiastically acknowledged in future revisions. 1 Introduction
Algebraic Topology and Distributed Computing A Primer
, 1995
"... . Models and techniques borrowed from classical algebraic topology have recently yielded a variety of new lower bounds and impossibility results for distributed and concurrent computation. This paper explains the basic concepts underlying this approach, and shows how they apply to a simple distribut ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
. Models and techniques borrowed from classical algebraic topology have recently yielded a variety of new lower bounds and impossibility results for distributed and concurrent computation. This paper explains the basic concepts underlying this approach, and shows how they apply to a simple distributed problem. 1 Introduction The problem of coordinating concurrent processes remains one of the central problems of distributed computing. Coordination problems arise at all scales in distributed and concurrent systems, ranging from synchronizing data access in tightlycoupled multiprocessors, to allocating data paths in networks. Coordination is difficult because modern multiprocessor systems are inherently asynchronous: processes may be delayed without warning for a variety of reasons, including interrupts, preemption, cache misses, communication delays, or failures. These delays can vary enormously in scale: a cache miss might delay a process for fewer than ten instructions, a page fault...
Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures
 Journal of Parallel and Distributed Computing
, 1993
"... This paper studies the time complexity of solving decision problems in ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
This paper studies the time complexity of solving decision problems in
Lower Bounds in Distributed Computing
, 2000
"... This paper discusses results that say what cannot be computed in certain environments or when insucient resources are available. A comprehensive survey would require an entire book. As in Nancy Lynch's excellent 1989 paper, \A Hundred Impossibility Proofs for Distributed Computing" [86], we shall re ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
This paper discusses results that say what cannot be computed in certain environments or when insucient resources are available. A comprehensive survey would require an entire book. As in Nancy Lynch's excellent 1989 paper, \A Hundred Impossibility Proofs for Distributed Computing" [86], we shall restrict ourselves to some of the results we like best or think are most important. Our aim is to give you the avour of the results and some of the techniques that have been used. We shall also mention some interesting open problems and provide an extensive list of references. The focus will be on results from the past decade.