Theory and Practice of Fault Tolerance in Distributed Systems.

reportActive / Technical Report | Accession Number: ADA187559 | Open PDF

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.

Author(s):
Chandy, K. M. ; Misra, J.
Author Organization(s):
TEXAS UNIV AT AUSTIN DEPT OF COMPUTER SCIENCES
Descriptive Note:
Final rept. 15 Jun 85-14 Oct 86,
Supplementary Note:
DOI: 10.21236/ADA187559
Pagination:
0012

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
AFOSR-TR-87-1462
Contract/Grant Number(s):
AFOSR-85-0252
Task Number(s):
A3
Project Number(s):
2304
Monitor Series:
TR-87-1462
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_6_Net Centric; JCA_1_Force Support; JCA_5.3.3_Develop Strategy; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_6.1_Information Transport; JCA_1.2_Force Preparation
Modernization Areas:
Quantum Science and Computing; Fully Networked C3
Communities of Interest:
C4I
Descriptor(s):
*COMPUTER PROGRAMMING, *PARALLEL PROCESSING, *DISTRIBUTED DATA PROCESSING, *FAULT TOLERANT COMPUTING, COMPUTATIONS, COMPUTER ARCHITECTURE, DISTRIBUTION, FAULTS, HYPOTHESES, MEMORY DEVICES, MESSAGE PROCESSING, TOLERANCE, TRANSFORMATIONS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
Unity project, Parallel programming, PE61102F, WUAFOSR2304A3
Report Date:
1987 Mar 30