On the complexity of computation in the presence of link failures: the case of a ring

  • Authors:
  • Oded Goldreich;Liuba Shrira

  • Affiliations:
  • Computer Science Department, Technion, Haifa, Israel;Laboratory for Computer Science, MIT, Cambridge, MA

  • Venue:
  • Distributed Computing
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate the message complexity of distributed computations on rings of asynchronous processors. In such computations, each processor has an initial local value and the task is to compute some predetermined function of all local values. Our work deviates from previous works concerning the complexity of ring computations in that we consider the effect of link failures. A link is said to fail if some message sent through it never reaches its destination. We show that the message complexity of any function, which is "sensitive to all its inputs", is Θ(n log n) when n, the number of processors, is a-priori known; and is Θ(n2) when n is not known. Interestingly, these tight bounds do not depend on whether the identity of a leader is a-priori known before the computation starts. These results stand in sharp contrast to the situation in asynchronous rings with no link failures, where the message complexity is affected by the a-priori knowledge of a leader but is not affected by the knowledge of n.