После трёх лет в Портленде, Орегон, ежегодная конференция по свободному и открытому программному обеспечению (FOSSY) переехала в Университет Британской Колумбии в Ванкувере, Канада. В треке "Цепочки инструментов и другие инструменты разработки" Тимоти Сэмпл выступил с докладом о загрузочных сборках, концепции, менее известной, чем воспроизводимые сборки. Загрузочная сборка начинается с маленькой программы, которая постепенно строит всё более крупные программы, пока из малого семени не будет построено современное пользовательское пространство Linux, в результате чего получается код с полностью понятным происхождением.

Сэмпл отметил удивительное знакомство аудитории с темой. Он начал изучать загрузочные сборки почти десять лет назад, используя GNU Guix — функциональный менеджер пакетов, вдохновлённый Nix. Обе системы представляют программное обеспечение в виде "графа зависимостей", который отображает сотни зависимостей сборки. Сэмпл проиллюстрировал сложность на примере программы на Python, требующей компилятора C, который, в свою очередь, требует другого компилятора, и так далее бесконечно. Традиционно системы вроде Debian останавливаются на предварительно загруженном бинарнике компилятора C, тогда как Guix изначально останавливался на статически связанном BLOB размером 250 МБ программ пользовательского пространства GNU.

Основная цель — построить систему без reliance на предварительно построенные артефакты. Сэмпл сравнил стандартную компиляцию с приготовлением йогурта, требующего заквасочной культуры, или использованием "закваски Денниса Ричи, перенесённой из Bell Labs". Эта проблема актуальна для большинства самодостаточных языков. Загрузочные сборки направлены на устранение этих непрозрачных бинарных семян, обеспечивая проверяемую цепочку поставок программного обеспечения от нуля до современной системы.

Ключевые сущности: Компании: GNU, Nix, Debian, LWN | Люди: Тимоти Сэмпл, Деннис Ричи | Местоположения: Университет Британской Колумбии, Ванкувер, Канада, Портленд, Орегон, Bell Labs

Часто задаваемые вопросы: В чём разница между воспроизводимыми и загрузочными сборками?

Воспроизводимые сборки гарантируют, что одинаковый исходный код производит идентичные бинарные артефакты, тогда как загрузочные сборки идут дальше, устраняя необходимость в предварительно существующих бинарных семенах, строя всю цепочку инструментов из минимального, аудируемого источника.