
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
V. Balasubramanian, P. Banerjee, "CompilerAssisted Synthesis of AlgorithmBased Checking in Multiprocessors," IEEE Transactions on Computers, vol. 39, no. 4, pp. 436446, April, 1990.  
BibTex  x  
@article{ 10.1109/12.54837, author = {V. Balasubramanian and P. Banerjee}, title = {CompilerAssisted Synthesis of AlgorithmBased Checking in Multiprocessors}, journal ={IEEE Transactions on Computers}, volume = {39}, number = {4}, issn = {00189340}, year = {1990}, pages = {436446}, doi = {http://doi.ieeecomputersociety.org/10.1109/12.54837}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  CompilerAssisted Synthesis of AlgorithmBased Checking in Multiprocessors IS  4 SN  00189340 SP436 EP446 EPD  436446 A1  V. Balasubramanian, A1  P. Banerjee, PY  1990 KW  compiler assisted synthesis; algorithmbased checking; multiprocessors; linear transformations; Fortran DO loops; nonlinear transformations; matrix multiplication; LINPACK routine; DGEFA; concurrency control; fault tolerant computing; multiprocessing systems. VL  39 JA  IEEE Transactions on Computers ER   
The task of synthesizing algorithmbased 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. Systemlevel checks based on this property are proposed. The approach is demonstrated with example problems of matrix multiplication and the LINPACK routine: DGEFA.
[1] C. L. Seitz, "The Cosmic Cube,"Commun. ACM, pp. 2233, Jan. 1985.
[2] J. R. Armstrong and F. G. Gray, "Fault diagnosis in a Boolean ncube array of multiprocessors,"IEEE Trans. Comput., vol. C30, pp. 587590, Aug. 1981.
[3] K. H. Huang and J. A. Abraham, "Algorithmbased fault tolerance for matrix operations,"IEEE Trans. Comput., vol. C33, pp. 518528, June 1984.
[4] J. Y. Jou and J. A. Abraham, "Fault tolerant arithmetic and signal processing on highly concurrent computing structures,"Proc. IEEE(Special Issue on Fault Tolerance in VLSI), vol. 74, pp. 732741, May 1986.
[5] J. Y. Jou and J. A. Abraham, "Fault tolerant FFT networks," inProc. 15th Int. Symp. FaultTolerant Comput., Ann Arbor, MI, June 1985.
[6] F. T. Luk, "Algorithmbased fault tolerance for parallel matrix solvers,"Proc. SPIE, vol. 564, Real Time Signal Processing VIII, 1985.
[7] A. L. N. Reddy and P. Banerjee, "Algorithmbased fault detection techniques in signal processing applications,"IEEE Trans. Comput., to be published.
[8] C.Y. Chen and J. A. Abraham, "Faulttolerant systems for the computation of eigenvalues and singular values," inProc. SPIE Conf., Aug. 1986, pp. 228237.
[9] P. Banerjeeet al., "An evaluation of systemlevel fault tolerance on the intel hypercube multiprocessor," inProc. 18th Int. Symp. FaultTolerant Comput., 1988, pp. 362367.
[10] P. Banerjee and C. Stunkel, "A novel approach to systemlevel fault tolerance in hypercube multiprocessors," inProc. 3rd ACM Conf. Hypercube Concurrent Computers and Applications, Pasadena, CA, Jan. 1988, pp. 307311.
[11] V. Balasubramanian and P. Banerjee, "Tradeoffs in the design of efficient algorithmbased error detection schemes for hypercube multiprocessors,"IEEE Trans. Software Eng., (Special Issue on Experimental Comput. Sci.), Feb. 1990.
[12] V. Balasubramanian and P. Banerjee, "Algorithmbased error detection for signal processing applications on a hypercube multiprocessor," inProc. 10th RealTime Systems Symp., Dec. 1989.
[13] R. B. MuellerThuns, P. McFarland, and P. Banerjee, "Algorithmbased fault tolerance for adaptive least squares lattice filtering on a hypercube multiprocessor," inProc. 18th Int. Conf. Parallel Processing, St. Charles, IL, Aug. 1989.
[14] B. Brode, "Precompilation of Fortran programs to facilitate array processing,"IEEE Comput. Mag., vol. 14, pp. 4651, Sept. 1981.
[15] J. Davies, C. Huson, T. Macke, B. Leasure, and M. Wolfe, "The KAP/205: An advanced sourcetosource vectorizer for the Cyber 205 supercomputer," inProc. 15th Int. Conf. Parallel Processing, St. Charles, IL, Aug. 1986, pp. 827832.
[16] J. R. Allen and K. Kennedy, "PFC: A program to convert Fortran to parallel/Form," in Tech. Rep. MASCTR826, Rice Univ., Houston, TX, Mar. 1982.
[17] D. Kuck, R. Kuhn, D. Padua, B. Leasure, and M. Wolfe, "The structure of an advanced vectorizer for pipelined processors," inProc. 4th Int. Conf. Comput. Software Appl., Oct. 1980.
[18] W. Harrison, "An overview of the structure of Parafrase," in CSRD Rep. 501, PR852, UILUENG858002, Univ. of Illinois, UrbanaChampaign, July 1985.
[19] D. J. Kuck, A. H. Sameh, R. Cryton, A. V. Veidenbaum, C. D. Polychronopolous, G. Lee, T. McDaniel, B. R. Leasure, C. Beckman, J. R. Davis, and C. P. Kruskal, "The effects of program restructuring, algorithm change and architecture choice on program performance," inProc. 13th Int. Conf. Parallel Processing, Aug. 1984, pp. 129138.
[20] B. Leasure, "The Parafrase Project's Fortran analyzer major module documentation," CSRD Rep. 504, PR855, UILUENG858005, Univ. of Illinois, UrbanaChampaign, July 1985.
[21] C. P. Polychronopoulos, "Advanced loop optimizations for parallel computers," inProc. 1987 Int. Conf. Supercomput., June 812, Athens, Greece, SpringerVerlag LNCS.
[22] C. Polychronopolous, "Automatic program restructuring for parallel/execution," inProc. DFVLR Conf. Parallel Processing, Sci. Eng., Bohn, West Germany, June 1987.
[23] C. Polychronopolous, "Compiler optimizations for enhancing parallelism and their impact on architecture design,"IEEE Trans. Comput., vol. 37, pp. 9911004, Aug. 1988.
[24] C.Y. Chen, "Design and analysis of faulttolerant processor arrays for numerical applications," Ph.D. dissertation, Dep. Comput. Sci., Univ. of Illinois, UrbanaChampaign, 1987.
[25] D. A. Padua and M. J. Wolfe, "Advanced compiler optimizations for supercomputers,"Common. ACM, vol. 29, no. 12, pp. 1184 1201, Dec. 1986.
[26] S. P. Midkiff and D. A. Padua, "Compiler algorithms for synchronization,"IEEE Trans. Comput., vol. C36, no. 12, pp. 14851495, Dec. 1987.
[27] J. J. Dongerra, C. B. Moler, J. R. Bunch, and G. W. Stewart,LINPACK User's Guide. Philadelphia, PA: SIAM, 1979.