Глобальная оптимизация

[Mazdaywik]

Мотивация

Глубокая оптимизация программ на классическом Рефале-5. Точка.

В Рефале-5λ, чтобы задействовать оптимизируемую функцию в нескольких единицах трансляции, её нужно вынести в заголовочный файл и подключать его в каждый исходник (#92).

В классическом Рефале-5 такого механизма нет. Поэтому, при условии реализации #252, компилятор сможет оптимизировать только функции внутри одной единицы трансляции.

Реализация

Оптимизация должна включаться опцией -OG.

Принцип работы: синтаксические деревья различных единиц трансляции (до или после обессахаривания) объединяются в одну кучу и падают на оптимизатор дерева. Для избежания конфликтов между локальными функциями предлагается использовать декорирование имён: к локальным функциям первой единицы трансляции добавляется ~1, второй — ~2 и т.д. Это актуально для Рефала-5λ, поскольку многие модули содержат $INCLUDE "LibraryEx";

Детали:

• Единицы трансляции с нативными вставками в глобальной оптимизации для простоты не участвуют. Потому что в них может находиться код на Си, который ожидает, что он транслируется отдельно. Обходные пути придумать, конечно, можно, но базовый вариант — такие файлы транслируются отдельно.
• Функция Mu должна быть локальной для каждой единицы трансляции и при поиске имени не учитывать суффикс ~N. Надо перепроектировать Mu для этой цели (Новая реализация метафункций (Mu, Residue, Up, Ev-met) #254).
• Рефал-5λ активно использует $INCLUDE "LibraryEx";, соответственно, будут повторяющиеся функции. Стоит ли выявлять и устранять дубликаты? Хотя дублироваться будут функции, которые и так оптимизируются (встраиваются/специализируются). Заметим, что при реализации Использовать Mu в функциях высших порядков в LibraryEx #181 функции, вызывающие Apply дублироваться не будут, поскольку они будут вызывать разные Mu.
• (добавлено) При конкатенации синтаксических деревьев возможно выявление ошибки дублирования entry-функций. Без конкатенации эта ошибка выявляется только при загрузке (Компоновщик должен сообщать о дублировании entry-функций #265), а так она будет выявляться при компиляции. Чтобы выдавать адекватное сообщение об ошибке во время компиляции, объединение деревьев нужно выполнять до рассахаривания.

[Mazdaywik]

• Объединение файлов имеет смысл делать до рассахаривания. Во-первых, суффикс ~n должен быть первым. Во-вторых, в Engine.ref есть функция обхода дерева. Её можно использовать для обновления имён локальных функций.
• Семантическую проверку нужно наоборот делать до объединения, иначе будут пропускаться некоторые ошибки. Например, необъявленные функции.
• Рассахариватель на входе должен ожидать функции с суффиксами.

[Mazdaywik]

По-хорошему, эта заявка блокирует #252. Автоматическая разметка применима прежде всего к программам на классическом Рефале (где такой разметки нет), а в реальных программах оптимизируемые функции и точки их вызова разнесены по разным файлам. Например, в MSCP-A все кандидаты на прогонку собраны преимущественно в этом файле:

https://github.com/TonitaN/MSCP-A/blob/master/accessMSCP.ref