Accession Number : ADA187559

Title :   Theory and Practice of Fault Tolerance in Distributed Systems.

Descriptive Note : Final rept. 15 Jun 85-14 Oct 86,

Corporate Author : TEXAS UNIV AT AUSTIN DEPT OF COMPUTER SCIENCES

Personal Author(s) : Chandy, K M ; Misra, J

PDF Url : ADA187559

Report Date : 30 Mar 1987

Pagination or Media Count : 12

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.

Descriptors :   *COMPUTER PROGRAMMING, *PARALLEL PROCESSING, *DISTRIBUTED DATA PROCESSING, *FAULT TOLERANT COMPUTING, COMPUTATIONS, COMPUTER ARCHITECTURE, DISTRIBUTION, FAULTS, HYPOTHESES, MEMORY DEVICES, MESSAGE PROCESSING, TOLERANCE, TRANSFORMATIONS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE