Версионирование кода как развитие оптимизации методом Распространения констант
https://doi.org/10.15514/ISPRAS-2026-38(1)-5
Аннотация
В работе рассмотрены принципы устройства оптимизации методом Распространения констант, играющей большую роль во многих современных оптимизирующих компиляторах. Исследована техника версионирования кода и предложен алгоритм, улучшающий метод Распространения констант. Реализация алгоритма была осуществлена в компиляторе GCC. Результатами, подтверждающими важность и актуальность данной работы, являются замеры работы вычислительно сложных приложений из пакета задач СPUBench.
Об авторах
Иван Александрович ЗИНИН
Московский физико-технический институт
Россия
Россия
Студент МФТИ. Сфера научных интересов: компиляторные технологии, оптимизации, гетерогенные вычислительные системы.
Вячеслав Викторович ЧЕРНОНОГ
Московский физико-технический институт
Россия
Россия
Кандидат технических наук, ассистент кафедры перспективных вычислительных технологий МФТИ. Сфера научных интересов: компиляторные технологии, оптимизирующие компиляторы, анализ производительности высоконагруженных систем.
Список литературы
1. GCC official website. Available at: https://gcc.gnu.org/, accessed 01.11.2025.
2. Wegman, Mark N., Zadeck F. K. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems (TOPLAS), 1991, vol. 13, no. 2, pp. 181-210.
3. Callahan D., Cooper K. D., Kennedy K., Torczon L. Interprocedural constant propagation. ACM SIGPLAN Notices, 1986, vol. 21, no. 7, pp. 152-161.
4. Harrison W. H. Compiler analysis of the value ranges for variables. IEEE Transactions on software engineering, 1977, no. 3, pp. 243-250.
5. Huang J. C., Leng T. Generalized loop-unrolling: a method for program speedup. Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No. PR00122), IEEE, 1999, pp. 244-248.
6. Liang X., Humos A. A., Pei T. Vectorization and parallelization of loops in C/C++ code, Proceedings of the International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS). The Steering Committee of The World Congress in Computer Science, Computer, 2017,
7. pp. 203-206.
8. Glek T., Hubicka J. Optimizing real world applications with GCC link time optimization. arXiv preprint. Available at: https://arxiv.org/abs/1010.2196, 2010, accessed 03.02.2026.
9. Khedker U. GCC Translation Sequence and Gimple IR. GCC Resource Center, Department of Computer Science and Engineering. Indian Institute of Technology, Bombay, 2010.
10. Исходный код в openEuler/gcc. Available at: https://gitee.com/openeuler/gcc/pulls/256/commits, accessed 03.02.2026.
11. Cytron R., Ferrante J., Rosen B. K. et al. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems (TOPLAS), 1991, vol. 13, no. 4, pp. 451-490.
12. Lu H., Ren X., Zhong W. et al. CPUBench: An open general computing CPU performance benchmark tool. Microelectronics & Computer, 2023, vol. 40, no. 5, pp. 75-83.
Рецензия
Для цитирования:
ЗИНИН И.А., ЧЕРНОНОГ В.В. Версионирование кода как развитие оптимизации методом Распространения констант. Труды Института системного программирования РАН. 2026;38(1):61-70. https://doi.org/10.15514/ISPRAS-2026-38(1)-5
For citation:
ZININ I.A., CHERNONOG V.V. Code Versioning as an Evolution of Constant Propagation Optimization. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(1):61-70. (In Russ.) https://doi.org/10.15514/ISPRAS-2026-38(1)-5
Послать статью по эл. почте 