Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM
https://doi.org/10.15514/ISPRAS-2015-27(6)-7
Аннотация
Проблема масштабируемости систем оптимизации времени связывания и систем статического анализа не потеряла своей актуальности в настоящее время: несмотря на рост производительности и увеличении объема памяти компьютеров, программы растут в размерах и сложности пропорционально, особенно когда дело касается таких сложных многомодульных программ, как, например, операционные системы, браузеры и другие. В статье рассматривается подход к масштабированию по памяти системы оптимизаций времени связывания на основе компиляторной инфраструктуры LLVM [1], а также предложен метод применения масштабирования системы статического анализа. Представлены результаты тестирования реализации данного подхода на тестах SPEC CPU2000[2].
Список литературы
1. The LLVM Compiler Infrastructure. http://LLVM.org/
2. SPEC CPU benchmark. https://www.spec.org/cpu2000/
3. Preston Briggs, Doug Evans, Brian Grant, Robert Hundt, William Maddox, Diego Novillo, Seongbae Park, David Sehr, Ian Taylor, Ollie Wild. WHOPR - Fast and Scalable Whole Program Optimizations in GCC. Initial Draft, 12 Dec 2007.
4. Andrew Ayers, Stuart de Jong, John Peyton, and Richard Schooler. Scalable crossmodule optimization. SIGPLAN Not., 33(5):301-312, 1998. ISSN 0362-1340. doi:http://doi.acm.org/10.1145/277652.277745.
5. Sungdo Moon, Xinliang D. Li, Robert Hundt, Dhruva R. Chakrabarti, Luis A. Lozano, Uma Srinivasan, and Shin-Ming Liu. SYZYGY - a framework for scalable cross-module IPO. In CGO ’04: Proceedings of the international symposium on Code generation and optimization, page 65, Washington, DC, USA, 2004. IEEE Computer Society. ISBN 0-7695-2102-9
6. Xinliang David Li, Raksit Ashok, Robert Hundt. Lightweight Feedback-Directed CrossModule Optimization. CGO’10, April 24-28, 2010, Toronto, Ontario, Canada. ACM 978-1-60558-635-9/10/04.
7. К.Ю. Долгорукова. Обзор масштабируемых систем межмодульных оптимизаций. Труды Института системного программирования РАН Том 26, выпуск 3, 2014, стр. 69-90. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). DOI: 10.15514/ISPRAS-2014-26(3)-3
8. А.А. Белеванцев, Е.А. Велесевич. Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ. Труды Института системного программирования РАН. Том 27, выпуск 2, 2015, стр. 53-64. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). DOI: 10.15514/ISPRAS-2015-27(2)-4
9. Пакет GNU Binutils. http://www.gnu.org/software/binutils/
Рецензия
Для цитирования:
Долгорукова К.Ю. Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM. Труды Института системного программирования РАН. 2015;27(6):97-110. https://doi.org/10.15514/ISPRAS-2015-27(6)-7
For citation:
Dolgorukova K. Implementation of memory scalability approach for llvm-based link-time optimization and static analyzing systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(6):97-110. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(6)-7
Послать статью по эл. почте 