Affiliation:
1. Computer Science Division, University of California, Berkeley, California
Abstract
In the last three decades a large number of compiler transformations for optimizing programs have been implemented. Most optimizations for uniprocessors reduce the number of instructions executed by the program using transformations based on the analysis of scalar quantities and data-flow techniques. In contrast, optimizations for high-performance superscalar, vector, and parallel processors maximize parallelism and memory locality with transformations that rely on tracking the properties of arrays using loop dependence analysis.
This survey is a comprehensive overview of the important high-level program restructuring techniques for imperative languages, such as C and Fortran. Transformations for both sequential and various types of parallel architectures are covered in depth. We describe the purpose of each transformation, explain how to determine if it is legal, and give an example of its application.
Programmers wishing to enhance the performance of their code can use this survey to improve their understanding of the optimizations that compilers can perform, or as a reference for techniques to be applied manually. Students can obtain an overview of optimizing compiler technology. Compiler writers can use this survey as a reference for most of the important optimizations developed to date, and as bibliographic reference for the details of each optimization. Readers are expected to be familiar with modern computer architecture and basic program compilation techniques.
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Reference207 articles.
1. ABELSON H. AND SUSSMAN G. J. 1985. Structure and Interpretation of Computer Programs. MIT Press Cambridge Mass. ABELSON H. AND SUSSMAN G. J. 1985. Structure and Interpretation of Computer Programs. MIT Press Cambridge Mass.
2. On the performance enhancement of paging systems through program analysis and transformations IEEE;ABU-SUFAH W.;Trans. Comput. C-30,1981
3. Data flow languages;ACKERSLAX;Computer,1982
4. Code Generation for Expressions with Common Subexpressions
5. Ago A. V. SF~THI R. AND ULLMAN J. D. 1986. Compilers. Prtnc~ples Techniques and Tools. Addison-Wesley Reading Mass. Ago A. V. SF~THI R. AND ULLMAN J. D. 1986. Compilers. Prtnc~ples Techniques and Tools. Addison-Wesley Reading Mass.
Cited by
371 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Improving the Resource Efficiency and Applicability of Fpga-Based Cnn Accelerator Through Loop Optimization;2024
2. Detection of Optimizations Missed by the Compiler;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. Enhancing Coverage-Guided Fuzzing via Phantom Program;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. End-to-end programmable computing systems;Communications Engineering;2023-11-24
5. Evaluating the Resiliency of Posits for Scientific Computing;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12