Theory and practice of fault tolerance in distributed systems. Final report, 15 June 1985-14 October 1986

Technical Report · Mon Mar 30 00:00:00 EST 1987

OSTI ID:5331818

Chandy, K M; Misra, J

This work has concentrated on developing a unifying framework, under the name UNITY, for studying problem solving in parallel programming independent of specific architectural considerations. A simple model of computation and a logic were proposed to reason about properties of such programs, and problems from a variety of problem areas were studied. A number of transformations were developed that 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 the hypothesis that there is a UNITY to computer programming.

• Research Organization: Texas Univ., Austin (USA). Dept. of Computer Sciences
• OSTI ID: 5331818
• Report Number(s): AD-A-187559/0/XAB
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
DISTRIBUTED DATA PROCESSING
FAULT TOLERANT COMPUTERS
PARALLEL PROCESSING
COMPUTER ARCHITECTURE
MEMORY DEVICES
PROGRAMMING
PROGRESS REPORT
TOLERANCE
TRANSFORMATIONS
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DOCUMENT TYPES
PROCESSING
990210* - Supercomputers- (1987-1989)
990300 - Information Handling