On the decidability of phase ordering problem in optimizing compilation

Proceedings of the 3rd Conference on Computing Frontiers 2006, CF '06

Volumn 2006, Issue , 2006, Pages 147-156

  Touati, Sid Ahmed Ali ^a   Barthou, Denis ^a  

^a UNIVERSITY OF VERSAILLES   (France)

Author keywords

Iterative compilation; Library generation; Optimizing compilation; Parameters space exploration; Phase ordering

Indexed keywords

COMPUTATION THEORY; ITERATIVE METHODS; OPTIMIZATION; PARAMETER ESTIMATION; PROGRAM COMPILERS;

ITERATIVE COMPILATION; LIBRARY GENERATION; OPTIMIZING COMPILATION; PARAMETERS SPACE EXPLORATION; PHASE ORDERING;

PROBLEM SOLVING;

EID: 34247365670     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1128022.1128042     Document Type: Conference Paper

References (26)

1. A. Cohen and S. Girbal and O. Temam. A Polyhedral Approach to Ease the Composition of Program Transformations. In Proceedings of Euro-Pur'04, Aug. 2004.
2. B. Aarts and M. Barreteau and F. Bodin and P. Brinkhaus and Z. Chamski and H.-P. Charles and C. Eisenbeis and J. R. Gurd and J. Hoogerbrugge and P. Hu and W. Jalby and P. M. W. Knijnenburg and M. R P. O'Boyle and E. Rohou and R. Sakellariou and H. Schepers and A. Seznec and E. A. Stohr and M. Verhoeven and H. A. G. Wijshoff. OCEANS: Optimizing Compilers for Embedded Applications. In Proceedings of EuroPar'97, Lecture Notes in Computer Science. Springer-Verlag, 1997.
3. C. Click and K. D. Cooper. Combining Analyses, Combining Optimizations. ACM Transactions on Programming Languages and Systems, 17(2):181-196, 1995.
4. D. Callahan, J. Cocke, and K. Kennedy. Estimating Interlock and Improving Balance for Pipelined Architectures. Journal of Parallel and Distributed Computing, 5(4):334-358, Aug. 1988.
5. K. D. Cooper, D. Subramanian, and L. Torczon. Adaptive Optimizing Compilers for the 21st Century. The Journal of Supercomputing, 23(1):7-22, 2002.
6. L. Eeckhout, H. Vandierendonck, and K. D. Bosschere. Quantifying the Impact of Input Data Sets on Program Behavior and its Applications. Journal of Instruction-Level Parallelism, 5, 2003. Electronic journal : www.jilp.org.
7. S. M. Freudenberger and J. C. Ruttenberg. Phase Ordering of Register Allocation and Instruction Scheduling. In Code Generation - Concepts, Tools, Techniques. Proceedings of the International Workshop on Code Generation, pages 146-172, London, 1992. Springer-Verlag.
8. M. Frigo. A Fast Fourier Transform Compiler. In Proc. of Programing Language Design and Implementation, 1999.
9. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
10. J. P. Jones. Universal Diophantine Equation. Journal of Symbolic Logic, 47(3):403-410, 1982.
11. K. Kennedy, N. McIntosh, and K. McKinley. Static Performance Estimation in a Parallelizing Compiler. Technical Report CRPC-TR92204, Center for Research on Parallel Computation, Rice University, May 1992.
12. L. Almagor and K. D. Cooper and A. Grosul and T. J. Harvey and S. W. Reeves and D. Subramanian and L. Torczon and T. Waterman. Finding effective compilation sequences. In Proceeding of the Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, June 2004. ACM.
13. M. E. Wolf and D. E. Maydan and D.-K. Chen. Combining Loop Transformations Considering Caches and Scheduling. International Journal of Parallel Programming, 26(4):479-503, 1998.
14. M. Pschel and J. M. F. Moura and J. Johnson and D. Padua and M. Veloso and B. Singer and J. Xiong and F. Franchetti and A. Gacic and Y. Voronenko and K. Chen and R. W. Johnson and N. Rizzolo. SPIRAL: Code Generation for DSP Transforms. Proceedings of the IEEE special issue on Program Generation, Optimization and Adaptation, (2):232-275, 2005.
15. M. Zhao and B. R. Childers and M. L. Soffa. A Model-Based Framework: An Approach for Profit-driven Optimization. In ACM SIGMICRO Int. Conference on Code Generation and Optimization (CGO'05), San Jose, California, Mar. 2005.
16. W. Mangione-Smith, T.-P. Shih, S. Abraham, and E. Davidson. Approaching a Machine-Application Bound in Delivered Performance on Scientifique Code. In Proceedings of the IEEE, volume 81, pages 1166-1178, Aug. 1993.
17. Y. Matiyasevich. Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets. Math. Comput. Simul., 67(1-2):125-133, 2004.
18. R. Jain. The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. John Wiley and Sons, Inc., New York, 1991.
19. R. Whaley and A. Petitet and J. Dongarra. Automated Empirical Optimizations of Software and the ATLAS Project. Parallel. Computing, 27(1-2):3-25, 2001. ISSN 0167-8191.
20. U. Schwiegelshohn, F. Gasperoni, and K. Ebcioglu. On Optimal Parallelization of Arbitrary Loops. Journal of Parallel and Distributed Computing, 11:130-134, 1991.
21. T. Alexander. Performance Prediction for Loop Restructuring Optimization. Master thesis, University of Carnegie Mellon. Physics/Computer Science Department, July 1993.
22. T. L. Veldhuizen and A. Lumsdaine. Guaranteed Optimization: Proving Null space Properties of Compilers. In 9th International Symposium on Static Analysis (SAS 2002). Lecture Notes in Computer Science., volume 2477, pages 263-277. springer, 2002.
23. K. B. Theobald, G. R. Gao, and L. J. Hendren. On the Limits of Program Parallelism and its Smoothability. In Wen-mei Hwu, editor, Proceedings of the 25th Annual International Symposium on Microarchitecture, pages 10-19, Portland, OR, Dec. 1992. IEEE.
24. S. Triantafyllis, M. Vachharajani, and D. I. August. Compiler Optimization-Space Exploration. Journal of Instruction-Level Parallelism, 7, Jan. 2005. Electronic journal: www.jilp.org.
25. K.-Y. Wang. Precise Compile-Time Performance Prediction for Superscalar-Based Computers. ACM SIGPLAN Notices, 29(6):73-84, June 1994.
26. D. Whitfield and M. L. Soffa. An Approach for Exploring Code-Improving Transformations. ACM Transactions on Programming Languages and Systems, 19(6):1053-1084, 1997.