Реализация оптимизации для GCC, учитывающей связь между файлами сборки

21 ноября 2008 года

Разработчики компании Google представили начальную реализацию нового механизма оптимизации для набора компиляторов GCC - WHOPR (WHOle Program optimizeR). Традиционная реализация GCC оперирует только единичными файлами, компиляция которых производится независимо друг от друга, после чего производится связывание готовых объектных файлов в единый исполняемый файл. Данный подход имеет преимущество в том, что процесс сборки легко может быть распараллелен в несколько потоков, одновременно могут компилироваться несколько файлов. Но метод раздельной сборки имеет проблемы в плане оптимизации использования функций, которые, в случае определения в другом файле исходных текстов, не могут быть оптимизированы в зависимости от текущих условий их вызова.

Проект WHOPR реализует альтернативную схему LTO (Link-Time Optimization) оптимизации для GCC, не требующую в отличии от LTO больших объемов оперативной памяти для сборки, и пригодную для использования в больших проектах. WHOPR использует три фазы:

  • При компиляции каждого файла, сохраняется промежуточное представление кода ( GIMPLE). Связь между файлами на этом этапе не анализируется и сборка может происходить в несколько потоков, ничем не отличаясь от традиционной модели;
  • После завершения сборки всех файлов, запускается процесс целостного анализа программы, который строит суммарные карты вызова функций, на основе сохраненных GIMPLE-дампов. Используя построенные карты, компилятор строит план проведения будущей оптимизации, определяя в каких местах имеет смысл проводить дополнительную оптимизацию.
  • На основании подготовленных в предыдущих шагах данных, компилятор проводит логическую трансформацию (LTRANS), применяя ранее подготовленный для каждого файла план оптимизации. Логическая трансформация может производиться для каждого файла в параллельном режиме.

Источники

править


 
 
Creative Commons
Эта статья содержит материалы из статьи «Реализация оптимизации для GCC, учитывающей связь между файлами сборки», опубликованной OpenNET и распространяющейся на условиях лицензии Creative Commons Attribution (CC BY) — указание автора, источник и лицензию.
 
Эта статья загружена автоматически ботом NewsBots в архив и ещё не проверялась редакторами Викиновостей.
Любой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.

Комментарии

Викиновости и Wikimedia Foundation не несут ответственности за любые материалы и точки зрения, находящиеся на странице и в разделе комментариев.