. Из того, что
рассказано выше, можно понять, что у нас давно чесались руки многое переделать.
Теперь для этого возникли все условия. Часть пути уже пройдена, следует
определить последующие шаги в этом направлении. Несколько дней мы провели в
подробных обсуждениях. Мы не специалисты в юридических аспектах, относящихся к
проблемам собственности, но нам было понятно, что изменения в компиляторе
должны, с одной стороны, затрагивать если не все, то большинство его основных
алгоритмов, и с другой — "внешний вид" программного текста также должен быть
сильно модифицирован. Функциональность программы, естественно, останется (все
компиляторы, по большому счету, делают одно и то же), но ее внутренности должны
в значительной степени измениться. Это должен был быть новый компилятор.
Читатель простит некоторую сдержанность при описании этих аспектов работы.
Скажу только, что в новой версии мы умудрились изменить даже стиль
программирования, не говоря уже о более простых вещах. Что же касается
переработки алгоритмов, то, помимо уже описанных выше изменений, мы
оптимизировали формальное описание синтаксиса входного языка, сделав разбор
выражений примерно на 20-25% быстрее, доработали механизм шаблонов, включив в
него массу нововведений, появившихся за последнее время, реализовали новую
схему работы с именами (см. главку "Как отремонтировать подгнивший дом") и
усовершенствовали как компиляцию исключений, так и алгоритмы времени
выполнения, связанные с обработкой исключительных ситуаций. Сделано еще много
заметных изменений, и эта работа продолжается.
Мы перенесли компилятор на персоналки и заставили его работать в среде
Windows’95 (правда, без формирования объектного кода — генератора для платформы
Intel у нас пока нет).
Наконец, мы решили проблему с форматом промежуточного представления, которое
порождает компилятор. Это очень интересная история. Читайте дальше.
Наша система — не традиционный компилятор, порождающий объектный код, а так
называемый компилятор переднего плана (front-end compiler), который в качестве
результата своей работы формирует образ исходной программы на некотором
промежуточном языке. Далее этот образ обрабатывается отдельной компонентой — генератором кода (back-end). Это обычная схема, давно принятая в многоязыковых
системах программирования. Так как промежуточное представление выбирается
единым для всех входных языков, то в системе достаточно единственного
генератора кода, что исключает затраты на реализацию генератора для каждого
отдельного компилятора. Кроме того, можно разработать несколько генераторов
кода с единого внутреннего представления для различных аппаратных платформ,
получив тем самым многоплатформную систему программирования. По этой схеме
организована система gcc, похожим образом устроены и продукты семейства
TopSpeed и десятки других.
