Что нового в методах оптимизации компилятора за последние несколько лет?

14

Я заинтересован в оптимизации потоков данных и потоков управления графами и, в частности, более сложными в вычислительном отношении. Но также будет интересно узнать о последних изобретениях в области оптимизации глазков.

optimization compilers

— Евгений Гаврин
источник

2

В своей диссертации ( слайды ) я обсуждал и реализовывал выравнивание графов вызовов в LLVM; в основном это межпроцедурное преобразование, которое избавляет от понятия «функция», потому что оно объединяет весь код, предоставляя кучу интересных возможностей, таких как движение межпроцедурного кода, соглашения о вызовах, оптимизированные по месту вызова, выполнение без стека и так далее.

— CAFxX

@CAFxX: слайды разбились Open Office .. у вас есть фотографии в Интернете?

— Иттрилл

@Yttrill: slideshare.net/CAFxX/…

— CAFxX

Спасибо, с этим можно было ознакомиться, хотя графики должны были быть хорошо видны, текст был хорош.

— Иттрилл

8

Я не уверен, насколько она нова , или если это слишком много для прикладной стороны для вашего интереса, но Хоопл показывает, как оптимизация управления / потока данных может быть модульной, с распространением фактов о вершинах управляющего графа, не зависящих от язык и специфическая оптимизация.

Они ссылаются на алгоритм 2002 года Лернера, Гроува и Чамберса, который объединяет простые оптимизации в «супероптимизацию».

— Максимум
источник

8

Я полагаю, что метод Equality Saturation , как другой подход к проблеме оптимизации проходов, будет уместен. Насколько мне известно, это пока не доказано практической конкретной реализацией в полноценном компиляторе. Следующая Генерация Оптимизации Компилятора из Испытаний может также представлять интерес.

— gasche
источник

6

Было немного возрождения в проверенных оптимизирующих компиляторах. В дополнение к статье Лернера (упомянутой в предыдущем комментарии), вы можете посмотреть на проект CompCert, которым руководит Ксавье Леруа. Они сделали несколько классных вещей с указанием оптимизаций в качестве проверяемых компьютером доказательств (используя Coq ). Я еще не читал статьи, но проект Verified Software Toolchain в Принстоне, похоже, также дает интересные результаты в этой области.

— Джон Лассетер
источник

1

Мы также работаем над проектом, похожим на CompCert: CerCo ( cerco.cs.unibo.it ). В отличие от CompCert, мы стремимся создать проверенный конкретный компилятор, сохраняющий стоимость для большого подмножества C (CompCert показывает только то, что свойства расширения исходной программы сохраняются при компиляции). Мы также реализуем в компиляторе несколько умеренно сложных циклических оптимизаций, а также «мягкие» оптимизации, такие как CompCert, которые, конечно, должны быть проверены как экономящие средства.

— Доминик Маллиган

5

Признавая, что baz [i] + = force (foo [i], foo [j]) в двойном цикле FOR имеет независимые результаты для (i, j), и переупорядочиваем вызовы в кривую заполнения пространства на (i, j), чтобы сократить кэш промахи.

Не совсем "глазок", но приятно получить кеш-поведение "бесплатно".

— Чад Brewbaker
источник