rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Fault tolerance in multiprocessor systems using N-modular redundancy on demand
  name:
    name part: Al-Hashimi, Muhammad A.M.
    name part: 1965-
    role:
      role term: creator
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: xx
    date issued: 2000
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: x, 126 leaves : illustrations ; 28 cm.
  abstract: Idle processors naturally offer spare capacity in a multiprocessor under normal loading conditions. Many attempts have been made to utilize this redundancy to provide fault tolerant computation. A popular approach has been duplexing user tasks. In this dissertation we study the dependability of duplexing using a typical policy we call NMR on demand (NMROD). NMROD relies on a fault model favoring response correctness instead of actual fault status and integrates dynamic repair to provide non-stop operation over an extended period. It works by scheduling two identical copies of a task on different processors. Upon completion, outcomes are compared. If they match, the task is released and the processors are made available. Otherwise, a third copy is executed on a different processor. If the three outcomes do not produce a majority, we run yet another copy and so on until a pair reaches agreement, at which point the disagreeing processors are removed for repair. We first present stochastic models to describe the dynamics of processor loss and gain, and to determine the performance penalty resulting from additional loading due to task replication. Next, we identify and address two weaknesses which plague NMROD-like techniques: deadlock and agreement under faulty outcomes (malicious agreement). The deadlock problem is formalized and deadlock conditions are presented together with avoidance strategy. Then, a stochastic model to dynamically assess dependability in the presence of malicious agreement is developed. The model provides a tool for design and analysis of duplex systems with well known and controllable malicious agreement risks. Finally, an implementation on the nCUBE 2 multiprocessor demonstrates the low cost of adding NMROD-like fault tolerance to existing multiprocessors. It also gauges performance in a real world setting where various architecture implementation overheads are incorporated.
  note: by Muhammad A.M. Al-Hashimi.
  note: Vita.
  note: "Major Subject: Computer Science".
  note: Issued also on microfiche from University Microfilm Inc.
  note: Ph. D. Texas A&M University 2000.
  note: Includes bibliographical references (leaves 82-86).
  subject:
    topic: Major computer science
  identifier: 99-68874 UMI
  identifier: http://proxy.library.tamu.edu/login
  related item:
    location:
      url: http://proxy.library.tamu.edu/login
  record info:
    record content source: TXA
    record creation date: 010130
    record change date: 20190325101041.0
    record identifier: in00001585356