Loop transformations: Convexity, pruning and optimization

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2010, Pages 549-561

  Pouchet, Louis Noël ^a   Bondhugula, Uday ^b   Bastoul, Cédric ^c   Cohen, Albert ^d   Ramanujam, J ^e   Sadayappan, P ^a   Vasilache, Nicolas ^f  

^a OHIO STATE UNIVERSITY   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

^c UNIVERSITÉ PARIS SACLAY   (France)

^d INRIA   (France)

^e LOUISIANA STATE UNIVERSITY   (United States)

^f Reservoir Labs Inc   (United States)

Author keywords

Affine scheduling; Compilation; Compiler optimization; Loop transformations; Parallelism

Indexed keywords

AFFINE SCHEDULING; COMPILATION; COMPILER OPTIMIZATIONS; LOOP TRANSFORMATIONS; PARALLELISM;

ALGORITHMS; COMPUTER ARCHITECTURE; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS;

STRUCTURED PROGRAMMING;

EID: 79952033338     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1926385.1926449     Document Type: Conference Paper

References (50)

1. F. Agakov, E. Bonilla, J. Cavazos, B. Franke, G. Fursin, M. F. P. O'Boyle, J. Thomson, M. Toussaint, and C. K. I. Williams. Using machine learning to focus iterative optimization. In Proc. of the Intl. Symposium on Code Generation and Optimization (CGO'06), pages 295-305, Washington, 2006.
2. D. Barthou, J.-F. Collard, and P. Feautrier. Fuzzy array dataflow analysis. Journal of Parallel and Distributed Computing, 40:210-226, 1997. (Pubitemid 127174334)
3. C. Bastoul. Code generation in the polyhedral model is easier than you think. In IEEE Intl. Conf. on Parallel Architectures and Compilation Techniques (PACT'04), pages 7-16, Juan-les-Pins, France, Sept. 2004.
4. M.-W. Benabderrahmane, L.-N. Pouchet, A. Cohen, and C. Bastoul. The polyhedral model is more widely applicable than you think. In Intl. Conf. on Compiler Construction (ETAPS CC'10), LNCS 6011, pages 283-303, Paphos, Cyprus, Mar. 2010.
5. F. Bodin, T. Kisuki, P. M. W. Knijnenburg, M. F. P. O'Boyle, and E. Rohou. Iterative compilation in a non-linear optimisation space. In W. on Profile and Feedback Directed Compilation, Paris, Oct. 1998.
6. U. Bondhugula, M. Baskaran, S. Krishnamoorthy, J. Ramanujam, A. Rountev, and P. Sadayappan. Automatic transformations for communication-minimized parallelization and locality optimization in the polyhedral model. In International conference on Compiler Construction (ETAPS CC), Apr. 2008.
7. U. Bondhugula, O. Gunluk, S. Dash, and L. Renganarayanan. A model for fusion and code motion in an automatic parallelizing compiler. In Proc. of the 19th Intl. conf. on Parallel Architectures and Compilation Techniques (PACT'10), pages 343-352, 2010.
8. U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan. A practical automatic polyhedral program optimization system. In ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2008.
9. C. Chen, J. Chame, and M. Hall. CHiLL: A framework for composing high-level loop transformations. Technical Report 08-897, U. of Southern California, 2008.
10. P. Clauss. Counting solutions to linear and nonlinear constraints through ehrhart polynomials: applications to analyze and transform scientific programs. In Proc. of the Intl. Conf. on Supercomputing, pages 278-285. ACM, 1996.
11. A. Cohen, S. Girbal, D. Parello, M. Sigler, O. Temam, and N. Vasilache. Facilitating the search for compositions of program transformations. In ACM International conference on Supercomputing, pages 151-160, June 2005. (Pubitemid 43251319)
12. A. Darte. On the complexity of loop fusion. Parallel Computing, pages 149-157, 1999. (Pubitemid 30502483)
13. A. Darte and G. Huard. Loop shifting for loop parallelization. Technical Report RR2000-22, ENS Lyon, May 2000.
14. A. Darte, G.-A. Silber, and F. Vivien. Combining retiming and scheduling techniques for loop parallelization and loop tiling. Parallel Proc. Letters, 7(4):379-392, 1997. (Pubitemid 127732656)
15. P. Feautrier. Parametric integer programming. RAIRO Recherche Oṕerationnelle, 22(3):243-268, 1988.
16. P. Feautrier. Dataflow analysis of scalar and array references. Intl. J. of Parallel Programming, 20(1):23-53, Feb. 1991.
17. P. Feautrier. Some efficient solutions to the affine scheduling problem, part I: one dimensional time. Intl. J. of Parallel Programming, 21(5):313-348, Oct. 1992.
18. P. Feautrier. Some efficient solutions to the affine scheduling problem, part II: multidimensional time. Intl. J. of Parallel Programming, 21(6):389-420, Dec. 1992.
19. F. Franchetti, Y. Voronenko, and M. P̈uschel. Formal loop merging for signal transforms. In ACM SIGPLAN Conf. on Programming Language Design and Implementation, pages 315-326, 2005.
20. S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello, M. Sigler, and O. Temam. Semi-automatic composition of loop transformations. Intl. J. of Parallel Programming, 34(3):261-317, June 2006.
21. M. Griebl. Automatic parallelization of loop programs for distributed memory architectures. Habilitation thesis. Faculẗat f ̈ur Mathematik und Informatik, Universiẗat Passau, 2004.
22. A.-C. Guillou, F. Quilleŕe, P. Quinton, S. Rajopadhye, and T. Risset. Hardware design methodology with the Alpha language. In FDL'01, Lyon, France, Sept. 2001.
23. F. Irigoin and R. Triolet. Supernode partitioning. In ACM SIGPLAN Principles of Programming Languages, pages 319-329, 1988.
24. W. Kelly. Optimization within a Unified Transformation Framework. PhD thesis, Univ. of Maryland, 1996.
25. K. Kennedy and K. McKinley. Maximizing loop parallelism and improving data locality via loop fusion and distribution. In Languages and Compilers for Parallel Computing, pages 301-320, 1993.
26. I. Kodukula, N. Ahmed, and K. Pingali. Data-centric multi-level blocking. In ACM SIGPLAN'97 Conf. on Programming Language Design and Implementation, pages 346-357, Las Vegas, June 1997. (Pubitemid 127453710)
27. M. Kudlur and S. Mahlke. Orchestrating the execution of stream programs on multicore platforms. In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI'08), pages 114- 124. ACM Press, 2008.
28. R. Lethin, A. Leung, B. Meister, N. Vasilache, D. Wohlford, M. Baskaran, A. Hartono, and K. Datta. R-stream compiler. In D. Padua, editor, Encyclopedia of Parallel Computing. Springer, 1st edition., 2011, 50 p. in 4 volumes, not available separately., hardcover edition, June 2011.
29. K. S. McKinley, S. Carr, and C.-W. Tseng. Improving data locality with loop transformations. ACM Trans. Program. Lang. Syst., 18(4):424-453, 1996. (Pubitemid 126422522)
30. N. Megiddo and V. Sarkar. Optimal weighted loop fusion for parallel programs. In symposium on Parallel Algorithms and Architectures, pages 282-291, 1997.
31. A. Nisbet. GAPS: A compiler framework for genetic algorithm (GA) optimised parallelisation. In HPCN Europe 1998: Proc. of the Intl. Conf. and Exhibition on High-Performance Computing and Networking, pages 987-989, London, UK, 1998. Springer-Verlag. (Pubitemid 128067807)
32. L.-N. Pouchet. Interative Optimization in the Polyhedral Model. PhD thesis, University of Paris-Sud 11, Orsay, France, Jan. 2010.
33. L.-N. Pouchet, C. Bastoul, A. Cohen, and J. Cavazos. Iterative optimization in the polyhedral model: Part II, multidimensional time. In ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI'08), pages 90-100. ACM Press, 2008.
34. L.-N. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam, and P. Sadayappan. Combined iterative and model-driven optimization in an automatic parallelization framework. In Conf. on SuperComputing (SC'10), New Orleans, LA, Nov. 2010. To appear.
35. A. Qasem and K. Kennedy. Profitable loop fusion and tiling using model-driven empirical search. In Proc. of the 20th Intl. Conf. on Supercomputing (ICS'06), pages 249-258. ACM press, 2006. (Pubitemid 47168511)
36. J. Ramanujam and P. Sadayappan. Tiling multidimensional iteration spaces for multicomputers. Journal of Parallel and Distributed Computing, 16(2):108-230, 1992.
37. M. Ren, J. Y. Park, M. Houston, A. Aiken, and W. J. Dally. A tuning framework for software-managed memory hierarchies. In Intl. Conf. on Parallel Architectures and Compilation Techniques (PACT'08), pages 280-291. ACM Press, 2008.
38. L. Renganarayanan, D. Kim, S. Rajopadhye, and M. M. Strout. Parameterized tiled loops for free. SIGPLAN Notices, Proc. of the 2007 PLDI Conf., 42(6):405-414, 2007. (Pubitemid 47630707)
39. A. Schrijver. Theory of linear and integer programming. John Wiley & Sons, 1986.
40. S. Singhai and K. McKinley. A Parameterized Loop Fusion Algorithm for Improving Parallelism and Cache Locality. The Computer Journal, 40(6):340-355, 1997.
41. N. J. A. Sloane. Sequence a000670. The On-Line Encyclopedia of Integer Sequences.
42. M. Stephenson, S. Amarasinghe, M. Martin, and U.-M. O'Reilly. Meta optimization: improving compiler heuristics with machine learning. SIGPLAN Not., 38(5):77-90, 2003.
43. A. Tiwari, C. Chen, J. Chame, M. Hall, and J. K. Hollingsworth. A scalable autotuning framework for computer optimization. In IPDPS'09, Rome, May 2009.
44. N. Vasilache. Scalable Program Optimization Techniques in the Polyhedra Model. PhD thesis, University of Paris-Sud 11, 2007.
45. S. Verdoolaege, F. Catthoor, M. Bruynooghe, and G. Janssens. Feasibility of incremental translation. Technical Report CW 348, Katholieke Universiteit Leuven Department of Computer Science, Oct. 2002.
46. Y. Voronenko, F. de Mesmay, and M. P̈uschel. Computer generation of general size linear transform libraries. In Intl. Symp. on Code Generation and Optimization (CGO'09), Mar. 2009.
47. R. C. Whaley, A. Petitet, and J. J. Dongarra. Automated empirical optimization of software and the atlas project. Parallel Computing, 27(1-2):3-35, 2001. (Pubitemid 32264775)
48. M. Wolf, D. Maydan, and D.-K. Chen. Combining loop transformations considering caches and scheduling. In MICRO 29: Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture, pages 274-286, 1996.
49. M. Wolfe. More iteration space tiling. In Proceedings of Supercomputing '89, pages 655-664, 1989. (Pubitemid 20665965)
50. M. Wolfe. High performance compilers for parallel computing. Addison-Wesley Publishing Company, 1995.