Accession Number : ADA302812

Title :   Manual and Compiler Assisted Methods For Generating Fault-Tolerant Parallel Programs.

Descriptive Note : Technical rept.,

Corporate Author : ILLINOIS UNIV AT URBANA COORDINATED SCIENCE LAB

Personal Author(s) : Roy-Chowdhury, Amber

PDF Url : ADA302812

Report Date : DEC 1995

Pagination or Media Count : 130

Abstract : We have developed an automated, compile time approach to generating error-detecting parallel programs. The compiler is used to identify statements implementing affine transformations within the program and automatically insert code for computing, manipulating, and comparing checksums in order to check the correctness of the code implementing affine transformations. Statements which do not implement affine transformations are checked by duplication. Checksums are reused from one loop to the next if this is possible, rather than recomputing checksums for every statement. A global dataflow analysis is performed in order to determine points at which checksums need to be recomputed. We also use a novel method of specifying the data distributions of the check data using directives provided by the High Performance Fortran (HPF) standard so that the computations on the original data and the corresponding check computations are performed on different processors. Results are presented on an Intel Paragon distributed memory multicomputer.

Descriptors :   *SOFTWARE ENGINEERING, *PARALLEL PROCESSING, *FAULT TOLERANT COMPUTING, ALGORITHMS, COMPUTATIONS, COMPUTERS, THESES, TIME, MEMORY DEVICES, MANUAL OPERATION, LOOPS, COMPILERS, FAULTS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE