($t$,$k$)-Diagnosability of Multiprocessor Systems with Applications to Grids and Tori

  • Authors:
  • Guey-Yun Chang;Gen-Huey Chen

  • Affiliations:
  • -;-

  • Venue:
  • SIAM Journal on Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

($t$, $k$)-diagnosis, which is a generalization of sequential diagnosis, requires at least $k$ faulty processors identified and replaced (or repaired) in each iteration provided there are at most $t$ faulty processors, where $t \ge k$. This paper suggests lower bounds on the degrees of $(t,k)$-diagnosability of multiprocessor systems under both the PMC and the MM* models. As a consequence, grids and tori of $d$ dimensions are shown to be $(\Omega(N^\frac{d}{d+1})$, $\Omega(d))$-diagnosable and $(\Omega(N^\frac{d}{d+1})$, $\Omega(2d))$-diagnosable, respectively, where $N$ is the number of processors.