DocumentCode
1514604
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
Volume
39
Issue
4
fYear
1990
fDate
4/1/1990 12:00:00 AM
Firstpage
436
Lastpage
446
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/12.54837
Filename
54837
Link To Document