How to Model Link Failures: A Perception-Based Fault Model

  • Authors:

  • Ulrich Schmid

  • Affiliations:

  • -

  • Venue:
  • DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
  • Year:
  • 2001

Quantified Score

Hi-index 0.01

Visualization

Abstract

Abstract: We propose a new hybrid fault model for clock synchronization and single-round (approximate) agreement in synchronous distributed systems 1 , which accurately captures both node and link faults. Unlike conventional "global" fault models, which rest upon the total number of faulty nodes in the system, it solely relies upon the number of faults in any two non-faulty nodes' "perceptions" -conveyed by the messages from all other nodes- of the system. This way, arbitrary node and communication faults, including receiver-caused omission and time/value faults, can be modeled properly. As an example 2 , we show that the consistent broadcast primitive -and hence the clock synchronization algorithms- of Srikanth & Toueg can be analyzed under this model. As far as link faults are concerned, our analysis reveals that as few as 4f_{\ell a} +2f_{\ell s} +2f_{\ell o} +1 nodes are sufficient for tolerating at most f_{\ell a}, f_{\ell s}, and f_{\ell o} asymmetric, symmetric, and omission link faults at any receiving node.