TY - GEN

T1 - Resiliency of interactive distributed tasks

AU - Chor, Benny

AU - Nelson, Lee Bath

N1 - Publisher Copyright:
© 1991 ACM

PY - 1991/7/1

Y1 - 1991/7/1

N2 - Interaction is a fundamental notion in computation. In many cases, important properties are revealed by considering the interactive aspects of problems. In this work, we examine the power and limitations of interaction in the context of fault-tolerant, asynchronous distributed computing. We focus on two models of interprocess communication - shared memory, and message passing. Interactive distributed tasks naturally occur in many distributed systems. In such a task, each of n processors receives a local input, responds with some local output, then receives a second input (possibly depending on the response), responds to i t, and so on. Different processors can be at different stages simultaneously, so that additional inputs are received by fast processors while slow processors are still working on early inputs. Interactive distributed tasks have strong expressive power. They include, for example, both decision tasks and sequential systems as special cases. The main result of this work is an exact characterization of the interactive tasks which can be solved by randomized t-resilient protocols. The major tool we use in the characterization is a directed acyclic graph that is associated with an interactive task. Properties of this graph are used to determine the resiliency of the task, and to devise a "generic" resilient algorithm which solves such tasks.

AB - Interaction is a fundamental notion in computation. In many cases, important properties are revealed by considering the interactive aspects of problems. In this work, we examine the power and limitations of interaction in the context of fault-tolerant, asynchronous distributed computing. We focus on two models of interprocess communication - shared memory, and message passing. Interactive distributed tasks naturally occur in many distributed systems. In such a task, each of n processors receives a local input, responds with some local output, then receives a second input (possibly depending on the response), responds to i t, and so on. Different processors can be at different stages simultaneously, so that additional inputs are received by fast processors while slow processors are still working on early inputs. Interactive distributed tasks have strong expressive power. They include, for example, both decision tasks and sequential systems as special cases. The main result of this work is an exact characterization of the interactive tasks which can be solved by randomized t-resilient protocols. The major tool we use in the characterization is a directed acyclic graph that is associated with an interactive task. Properties of this graph are used to determine the resiliency of the task, and to devise a "generic" resilient algorithm which solves such tasks.

UR - http://www.scopus.com/inward/record.url?scp=0342397134&partnerID=8YFLogxK

U2 - 10.1145/112600.112604

DO - 10.1145/112600.112604

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0342397134

SN - 0897914392

T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

SP - 37

EP - 49

BT - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

PB - Association for Computing Machinery

T2 - 10th Annual ACM Symposium on Principles of Distributed Computing, PODC 1991

Y2 - 19 August 1991 through 21 August 1991

ER -