Theory and Practice of Fault Tolerance in Distributed Systems.

Abstract

Our work has concentrated on developing a unifying framework, under the name UNITY, for studying problem solving in parallel programming independent of specific architectural considerations. We have proposed a simple model of computation and a logic to reason about properties of such programs and have managed to study problems from a variety of problem areas. We have developed a number of transformations which are appropriate for implementations on a variety of architectures: sequential, asynchronous shared memory, distributed message passing, synchronous parallel with shared memory, systolic arrays, and VLSI chips. The diversity of the application areas and the architectures studied lends credence to our hypothesis that there is a UNITY to computer programming.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 30, 1987
Accession Number
ADA187559

Entities

People

  • J. Misra
  • K. M. Chandy

Organizations

  • University of Texas at Austin

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Command And Control
  • Command And Control Systems
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Fault Tolerance
  • Language
  • Machine Languages
  • Machines
  • Notation
  • Programming Languages
  • Sequences
  • Simulations

Fields of Study

  • Computer science

Readers

  • Integrated Circuit Design and Technology.
  • Operations Research
  • Theoretical Analysis.