Категория:Кодогенерация: различия между версиями

Упрощенно процесс трансляции (перевода программы с одного языка на другой) можно представлять себе как последовательное выполнение двух фаз — фазы ''анализа'' и фазы ''синтеза''. Первая фаза включает решение таких задач, как ''лексический, синтаксический'' и ''контекстный'' анализ. В результате выполнения первой фазы формируется ''промежуточное представление''  (intermediate representation) исходной программы. Часть ''транслятора'' (compiler), выполняющая первую фазу, обычно называется ''первичным'' (front-end) транслятором. Часть транслятора, выполняющая вторую фазу, называется ''вторичным'' (back-end) транслятором и ''генератором кода'' (code generator), если выходным языком является машинный язык объектной ЭВМ.  

Реализация процесса трансляции описанным выше способом, как правило, приводит к получению программ, существенно уступающих ручным программам по качеству использования предоставляемых вычислительной системой ресурсов, таких как время, память и т. д. Поэтому часто универсальный способ трансляции дополняется специальными приемами и методами, направленными на улучшение качества выходной программы и получивших название ''оптимизации'' ''программ'' (program optimization). Проблема построения оптимальной программы алгоритмически не разрешима, и поэтому основная задача оптимизации состоит в удалении неоптимальностей из выходной программы, возникающих в ней из-за универсального способа трансляции. При этом основные способы оптимизации транслируемой программы заключаются в удалении вычислений или объектов из процессов выполнений программы или в замене в них сложных вычислений на более простые. Многие оптимизации можно реализовать, применяя так называемую ''смешанную стратегию'' (mixed strategy) программирования. Суть этого метода состоит в том, что для программирования семантически богатой конструкции входного языка (такой, как цикл или процедура) транслятор использует помимо универсального способа перевода целый ряд специализированных, ориентированных на конкретные, но зато часто встречающиеся в реальных программах варианты использования этой конструкции. Однако обычно оптимизирующие трансляторы используют метод ''оптимизирующих преобразований (''optimizing transformations), который в отличие от смешанной стратегии обладает достаточной языковой независимостью.