Загружаемые сборки
Загружаемые сборки (англ. bootstrappable builds) — это процесс компиляции программного обеспечения, не зависящий от (компиляторных) бинарных файлов, которые не были собраны из исходных текстов в рамках этого же процесса[1][2][3].
Данный процесс позволяет защититься от закладок в компиляторах: если процесс сборки не зависит от бинарного кода, аудит которого затруднён, то внедрить скрытую закладку в бинарных файлах компилятора становится невозможно.
Методы
Одним из способов решить эту задачу для дистрибутива программного обеспечения является уменьшение объёма бинарных файлов, используемых для начальной сборки (bootstrap), до тех пор, пока они вовсе не станут не нужны или их размер не уменьшится настолько, чтобы люди могли их легко просмотреть и проверить[4].
Многие компиляторы для разных языков программирования написаны на том же языке, для которого они предназначены. Например, официальный компилятор Go (gc) реализован на языке Go.
Таким образом, без альтернативных компиляторов, например GCC, написанных на других языках (здесь на C и C++), для сборки компилятора Go потребуется бинарная версия предыдущей редакции компилятора Go.
Для реализации загружаемых сборок часто можно найти более старую версию компилятора, которую можно собрать из исходных текстов. Далее возможно написать код, автоматически собирающий последовательно следующие версии компилятора вплоть до современной. Определение, какие версии компиляторов способны собирать последующие, зачастую представляет собой нетривиальную задачу, а сам процесс может быть весьма длительным по времени. Иногда для этого приходится поддерживать старые версии компиляторов и внедрять в них поддержку новых архитектур процессоров, чтобы обеспечить сборку на современных системах. К примеру, GCC 4.7 — последняя версия, которую можно собрать с помощью tcc, а затем использовать её для сборки всех последующих выпусков GCC[5].
Этот процесс можно заменить или дополнить иными способами начального построения (bootstrap) компиляторов.
Например, также возможно создать новый компилятор для языка, написанный на другом языке программирования.
Подобные приёмы позволяют уменьшить размер бинарных файлов, необходимых для инициализации сборки дистрибутива.
Для сборки самого первого компилятора, который затем будет использоваться для построения остальных компиляторов, возможно уменьшить размер исходного бинарника до 357 байт[6], после чего использовать многостадийную процедуру, чтобы получить полноценный компилятор C, и уже на его базе собирать другие компиляторы или программное обеспечение[7].
Проблемы и ограничения
Некоторые программные продукты могут зависеть от самих себя при сборке, причём их первая версия могла быть собрана способом, не соответствующим принципам загружаемых сборок.
Одним из таких примеров является Gradle, который зависит от Scala, а первая версия последней основывалась на проприетарной компонентах[8], а Kotlin требует для сборки самого себя и Gradle[9].