Title :
Compiler-assisted synthesis of algorithm-based checking in multiprocessors
Author :
Balasubramanian, Vijay ; Banerjee, Prithviraj
Author_Institution :
Dept. of Electr. Eng., Illinois Univ., IL, USA
fDate :
4/1/1990 12:00:00 AM
Abstract :
The task of synthesizing algorithm-based checking techniques for general applications is investigated. The problem is approached at the compiler level by identifying linear transformations in Fortran DO loops and restructuring program statements to convert nonlinear transformations to linear ones. System-level checks based on this property are proposed. The approach is demonstrated with example problems of matrix multiplication and the LINPACK routine: DGEFA
Keywords :
concurrency control; fault tolerant computing; multiprocessing systems; DGEFA; Fortran DO loops; LINPACK routine; algorithm-based checking; compiler assisted synthesis; linear transformations; matrix multiplication; multiprocessors; nonlinear transformations; Costs; Encoding; Fast Fourier transforms; Fault detection; Hypercubes; Matrix converters; Matrix decomposition; Message passing; Parallel processing; Program processors;
Journal_Title :
Computers, IEEE Transactions on
