Automatic selection of high-order transformations in the IBM XL FORTRAN compilers

IBM Journal of Research and Development

Volumn 41, Issue 3, 1997, Pages 233-264

  Sarkar, V ^a,b,c,d  

^a IBM   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c STANFORD UNIVERSITY   (United States)

^d ADTI Department   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; FORTRAN (PROGRAMMING LANGUAGE); MATHEMATICAL MODELS; MULTIPROCESSING PROGRAMS; OPTIMIZATION; PROBLEM SOLVING; PROGRAM PROCESSORS; STORAGE ALLOCATION (COMPUTER);

DATA TRANSFORMATIONS; QUANTITATIVE COST MODELS;

PROGRAM COMPILERS;

EID: 0031140581     PISSN: 00188646     EISSN: None     Source Type: Journal    
DOI: 10.1147/rd.413.0233     Document Type: Article

References (55)

1. Michael J. Wolfe, Optimizing Supercompilers for Supercomputers, Pitman, London, and MIT Press, Cambridge, MA, 1989; in the series Research Monographs in Parallel and Distributed Computing.
2. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck, "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph," ACM Trans. Programming Languages & Syst. 13, 451-490 (October 1991).
3. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley Publishing Co., Inc., Reading, MA, 1986.
4. Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck, "Global Value Numbers and Redundant Computations," Conference Record, Fifteenth ACM Principles of Programming Languages Symposium, San Diego, January 1988, pp. 12-27.
5. Mark Wegman and Kenneth Zadeck, "Constant Propagation with Conditional Branches," Conference Record, Twelfth ACM Symposium on Principles of Programming Languages, January 1985, pp. 291-299.
6. M. Metcalfe and J. Reid, FORTRAN 90 Explained, Oxford Science Publishers, England, 1990.
7. Jyh-Herng Chow, Leonard E. Lyon, and Vivek Sarkar, "Automatic Parallelization for Symmetric Shared-Memory Multiprocessors," presented at the CASCON '96 Conference, November 1996.
8. Ko-Yang Wang, Wei-Min Ching, Manish Gupta, Sam Midkiff, Edith Schonberg, and Dave Shields, "Improving the Performance of HPF Compilers," Proceedings of the Fifth Workshop on Compilers for Parallel Computers (CPC '95), Malaga, Spain, June 1995, pp. 22-39.
9. David F. Bacon, Jyh-Herng Chow, Dz-Ching R. Ju, K. Muthukumar, and Vivek Sarkar, "A Compiler Framework for Restructuring Data Declarations to Enhance Cache and TLB Effectiveness," presented at the CASCON '94 Conference, November 1994.
10. Kathryn S. McKinley, Steve Carr, and Chau-Wen Tseng, "Improving Data Locality with Loop Transformations," ACM Trans. Programming Languages & Syst. 18, 423-453 (July 1996).
11. Kevin O'Brien, Kathryn M. O'Brien, Martin Hopkins, Arvin Shepherd, and Ron Unrau, "XIL and YIL: The Intermediate Languages of TOBEY," Sigplan Notices 30, 71-82 (March 1995).
12. E. Anderson, Z. Bai, C. Bischof, J. Demmel, J. Dongarra, J. Du Croz, A. Greenbaum, S. Hammarling, A. McKenney, S. Ostrouchov, and D. Sorensen, LAPACK Users' Guide, Second Edition, Society for Industrial and Applied Mathematics (SIAM), September 1994.
13. KAP for IBM FORTRAN, User's Guide Version 3.3, Technical report (Document No. 9603001), Kuck & Associates, Inc., 1906 Fox Drive, Champaign, IL 61820-7334. http://www.kai.com., 1996.
14. VAST-2 for XL FORTRAN, User's Guide, Edition 1.2, Technical report (Document No. VA061), Pacific-Sierra Research Corporation, 2901 28th St., Santa Monica, CA 90405, 1994.
15. Engineering and Scientific Subroutine Library (ESSL), Guide and Reference, 1994; available through IBM branch offices.
16. R. C. Agarwal, F. G. Gustavson, and M. Zubair, "Exploiting Functional Parallelism of POWER2 to Design High-Performance Numerical Algorithms," IBM J. Res. Develop. 38, 563-576 (September 1994).
17. Theodore H. Romer, Dennis Lee, Brian N. Bershad, and J. Bradley Chen, "Dynamic Page Mapping Policies for Cache Conflict Resolution on Standard Hardware," Proceedings of the First Symposium on Operating System Design and Implementation, November 1994.
18. F. E. Allen and J. Cocke, "A Program Data Flow Analysis Procedure," Commun. ACM 19, 137-147 (March 1976).
19. J. T. Schwartz and M. Sharir, "Tarjan's Fast Interval Finding Algorithm," Technical report (SETL Newsletter Number 204), Courant Institute, New York University, 1978.
20. J. Ferrante, K. Ottenstein, and J. Warren, "The Program Dependence Graph and Its Use in Optimization," ACM Trans. Programming Languages & Syst. 9, 319-349 (July 1987).
21. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck, "An Efficient Method for Computing Static Single Assignment Form," Conference Record, Sixteenth Annual ACM Symposium on Principles of Programming Languages, January 1989, pp. 25-35.
22. Jong-Deok Choi, Vivek Sarkar, and Edith Schonberg, "Incremental Computation of Static Single Assignment Form," Proceedings of the 1996 International Conference on Compiler Construction (CC '96), Linkoping, Sweden, April 1996.
23. Ron Cytron, Michael Hind, and Wilson Hsieh, "Automatic Generation of DAG Parallelism," Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, Portland, OR, June 1989, pp. 54-68.
24. Ron Cytron, Jeanne Ferrante, and Vivek Sarkar, "Experiences Using Control Dependence in PTRAN," Proceedings of the Second Workshop on Languages and Compilers for Parallel Computing, August 1989; in Languages and Compilers for Parallel Computing, D. Gelernter, A. Nicolau, and D. Padua, Eds., MIT Press, 1990, pp. 186-212.
25. Ron Cytron, Jeanne Ferrante, and Vivek Sarkar, "Experiences Using Control Dependence in PTRAN," Proceedings of the Second Workshop on Languages and Compilers for Parallel Computing, August 1989; in Languages and Compilers for Parallel Computing, D. Gelernter, A. Nicolau, and D. Padua, Eds., MIT Press, 1990, pp. 186-212.
26. Vivek Sarkar, "The PTRAN Parallel Programming System," Parallel Functional Programming Languages and Compilers, B. Szymanski, Ed., ACM Press, New York, 1991, pp. 309-391.
27. Francois Irigoin, Pierre Jouvelot, and Remi Triolet, "Semantical Interprocedural Parallelization: An Overview of the PIPS Project," Proceedings of the ACM 1991 International Conference on Supercomputing, June 1991, pp. 244-251.
28. Constantine Polychronopoulos, "The Hierarchical Task Graph and Its Use in Auto-Scheduling," Proceedings of the ACM 1991 International Conference on Supercomputing, June 1991, pp. 252-263.
29. John R. Allen, "Dependence Analysis for Subscripted Variables and Its Application to Program Transformation," Ph.D. thesis, Rice University, Houston, TX, 1983.
30. Vivek Sarkar and Radhika Thekkath, "A General Framework for Iteration-Reordering Loop Transformations," Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, June 1992, pp. 175-187.
31. Nimrod Megiddo and Vivek Sarkar, "Optimal Weighted Loop Fusion for Parallel Programs," Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architecture, June 1997, pp. 282-291.
32. Randy Allen and Ken Kennedy, "Automatic Translation of FORTRAN Programs to Vector Form," ACM Trans. Programming Languages & Syst. 9, 491-592 (October 1987).
33. Jeanne Ferrante, Vivek Sarkar, and Wendy Thrash, "On Estimating and Enhancing Cache Effectiveness," Lecture Notes in Computer Science 589, 328-343 (1991); in Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing, U. Banerjee, D. Gelernter, A. Nicolau, D. Padua, Eds., Santa Clara, CA, August 1991.
34. Jeanne Ferrante, Vivek Sarkar, and Wendy Thrash, "On Estimating and Enhancing Cache Effectiveness," Lecture Notes in Computer Science 589, 328-343 (1991); in Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing, U. Banerjee, D. Gelernter, A. Nicolau, D. Padua, Eds., Santa Clara, CA, August 1991.
35. Utpal Banerjee, Dependence Analysis for Supercomputing, Kluwer Academic Publishers, Norwell, MA, 1988.
36. Vivek Sarkar, Guang R. Gao, and Shaohua Han, "Locality Analysis for Distributed Shared-Memory Multiprocessors," Proceedings of the Ninth Workshop on Languages and Compilers for Parallel Computing, Santa Clara, CA, August 1996; Lecture Notes in Computer Science 1239, Springer-Verlag, New York, 1996, pp. 20-40.
37. Vivek Sarkar, Guang R. Gao, and Shaohua Han, "Locality Analysis for Distributed Shared-Memory Multiprocessors," Proceedings of the Ninth Workshop on Languages and Compilers for Parallel Computing, Santa Clara, CA, August 1996; Lecture Notes in Computer Science 1239, Springer-Verlag, New York, 1996, pp. 20-40.
38. Michael E. Wolf and Monica S. Lam, "A Data Locality Optimization Algorithm," Proceedings of the ACM SIGPLAN Symposium on Programming Language Design and Implementation, June 1991, pp. 30-44.
39. Kyle Gallivan, William Jalby, and Dennis Gannon, "On the Problem of Optimizing Data Transfers for Complex Memory Systems," Proceedings of the ACM 1988 International Conference on Supercomputing, July 1988, pp. 238-253.
40. Michael E. Wolf and Monica S. Lam, "A Loop Transformation Theory and an Algorithm to Maximize Parallelism," IEEE Trans. Parallel & Distributed Syst. 2, 452-471 (October 1991).
41. Nimrod Megiddo and Vivek Sarkar, "Minimizing Loop Execution Time by Optimizing Block/Tile Sizes," Invention Disclosure ST9-95-008, October 1994.
42. Vivek Sarkar, "Determining Average Program Execution Times and Their Variance," Proceedings of the 1989 SIGPLAN Conference on Programming Language Design and Implementation, July 1989, pp. 298-312.
43. Ken Kennedy and Kathryn S. McKinley, "Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution," Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing, Portland, OR, August 1993; Lecture Notes in Computer Science 768, Springer-Verlag, New York, 1993.
44. Ken Kennedy and Kathryn S. McKinley, "Maximizing Loop Parallelism and Improving Data Locality via Loop Fusion and Distribution," Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing, Portland, OR, August 1993; Lecture Notes in Computer Science 768, Springer-Verlag, New York, 1993.
45. G. R. Gao, R. Olsen, V. Sarkar, and R. Thekkath, "Collective Loop Fusion for Array Contraction," Proceedings of the Fifth International Workshop on Languages and Compilers for Parallel Computing, New Haven, CT, August 1992; Lecture Notes in Computer Science 757, Springer-Verlag, New York, 1993, pp. 281-295.
46. G. R. Gao, R. Olsen, V. Sarkar, and R. Thekkath, "Collective Loop Fusion for Array Contraction," Proceedings of the Fifth International Workshop on Languages and Compilers for Parallel Computing, New Haven, CT, August 1992; Lecture Notes in Computer Science 757, Springer-Verlag, New York, 1993, pp. 281-295.
47. David Callahan, Steve Carr, and Ken Kennedy, "Improving Register Allocation for Subscripted Variables," Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, White Plains, NY, June 1990, pp. 53-65.
48. Special issue on POWER2 and PowerPC, IBM J. Res. Develop. 38, 489-648 (September 1994).
49. L. Lamport, "The Parallel Execution of DO Loops," Commun. ACM 17, 83-93 (February 1974).
50. Michael E. Wolf, "Improving Parallelism and Locality in Nested Loops," Ph.D. thesis, Stanford University, August 1992; Technical Report CSL-TR-92-538.
51. David H. Bailey, "Unfavorable Strides in Cache Memory Systems," Scientific Programming 4, 53-58 (1995);
52. RNR Technical Report RNR-92-015, NASA Ames Research Center, Sunnyvale, CA.
53. Robert Schreiber and Jack Dongarra, "Automatic Blocking of Nested Loops," Technical Report 90.38, Research Institute for Applied Computer Science (RIACS), Mountain View, CA, August 1990.
54. Francois Irigoin and Remi Triolet, "Supernode Partitioning," Conference Record, Fifteenth ACM Symposium on Principles of Programming Languages, 1988.
55. Francois Irigoin, "Code Generation for the Hyperplane Method and for Loop Interchange," Technical Report ENSMP-CAI-88-E102/CAI/I, École Nationale Supérieure des Mines de Paris, October 1988.