Раскрутка компилятора

Раскрутка компилятора (англ. bootstrapping) — метод создания компилятора некоторого языка программирования, позволяющий использовать для написания компилятора сам этот язык (не прибегая к программированию на языке низкого уровня). Раскрутка также используется для переноса компиляторов на новые платформы. Основные идеи раскрутки появились в середине 1950-х годов, а впервые метод был применён для реализации языка Neliac в 1960 году. С помощью этого метода было реализовано большое количество языков, в том числе BASIC, С, Pascal, Haskell, Modula-2, Oberon, OCaml, Common Lisp, Scheme и Nemerle.

Раскрутка компилятора имеет свои преимущества:

• это своеобразный тест компилируемого языка;
• разработчику компилятора необходимо знать только язык компилятора;
• это всесторонняя проверка самосогласованности, так как компилятор должен уметь обработать свой объектный код.

Принцип работы

Создание компилятора языка L для платформы M методом раскрутки подразумевает последовательность некоторых шагов.

1. На первом шаге из языка L выделяется подмножество L₀, которое не требует больших усилий для реализации, но является достаточно богатым для написания компилятора самого себя.
2. На втором шаге, используя какой-либо существующий для платформы M язык (например, C) программируется компилятор L₀—С—M.
3. Затем на языке L₀ для платформы M пишется компилятор самого языка L₀, то есть L₀—L₀—M, который можно скомпилировать с помощью компилятора, полученного на втором шаге. После этого шага у программиста имеется компилятор L₀, способный обработать свой исходный код.
4. Далее начинается постепенное расширение L₀ до L: добавляется какая-либо ранее не реализованная возможность языка L, после чего предыдущей версией компилируется новая, а вновь добавленную возможность можно использовать в компиляторе для последующего расширения языка. Именно этот процесс и называют раскруткой.

Литература

• Альфред Ахо, Рави Сети, Джеффри Ульман. Раскрутка // Компиляторы: принципы, технологии и инструменты = Compilers: Principles, Techniques, and Tools. — М.: Вильямс, 2003. — С. 681—684. — 768 с. — ISBN 5-8459-0189-8.
• С. З. Свердлов. Самокомпилятор. Раскрутка // Языки программирования и методы трансляции. — СПб.: Питер, 2007. — С. 427—431. — 638 с. — ISBN 5-469-00378-7.