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