Издаване на GNU Mes 0.25, инструмента за самостоятелно компилиране на дистрибуции

След година и половина разработка, излезе инструментът GNU Mes 0.25, който осигурява процес на бутстреппинг за GCC и позволява затворен цикъл на повторно компилиране от изходен код. Инструментът решава задачата за верифицирано начално компилиране на компилатори в дистрибуции, прекъсвайки веригата на цикличното повторно компилиране (за компилирането на компилатор са необходими изпълними файлове на вече компилиран компилатор, а бинарните сборки на компилатора са потенциален източник на скрити залагания, което не позволява напълно да се гарантира целостта на сборките от оригиналния изходен код).

В GNU Mes се предлага самостоятелен интерпретатор за езика Scheme, написан на C, и най-простият компилатор за езика C (MesCC), написан на Scheme. И двата компонента са взаимно спомагателни. Интерпретаторът на Scheme позволява да се компилира C-компилаторът MesCC, който след това може да компилира ограничената версия на компилатора TinyCC (tcc), чиито възможности вече са достатъчни за компилиране на GCC.

Интерпретаторът на езика Scheme е много компактен, заема около 5000 реда код в най-простото подмножество на езика C и може да бъде преобразуван в изпълним файл с помощта на универсален транслятор M2-Planet или най-прост компилатор на C, събран с помощта на самообосноваващ се асемблер hex0, който не изисква външни зависимости. Освен това, интерпретаторът включва пълен сборщик на боклука и предлага библиотека с динамично зареждаеми модули. Проектът също така развива C-библиотека Mes C, която е достатъчна за компилиране на glibc 2.2.5, binutils 2.20.1 и gcc 2.95.3, необходими за разгръщане на дистрибуция Guix за платформите i686-linux, x86_64-linux, armhf-linux и aarch64-linux, използвайки само изходните кодове (Full Source Bootstrap).

В новия си брой е реализирана поддръжка на архитектурата RISC-V (RISC-V64-linux) и е добавена поддръжка за компилиране с използване на транспайлера M2-Planet. Поддържа се сборка с версия M2-Planet 1.11.0 за целевата платформа x86_64-linux. Указването на режима "—bootstrap-mode" при използване на M2-Planet вече не е необходимо. В MesCC са решени проблеми с несъвместимостта с версии на GCC 10+, осигурена е инициализация на полетата в структури до 0 и възстановена е възможността за отстраняване на грешки в бинарни файлове на ниво отделни функции.

В следващите броеве се очаква появата на поддръжка за бутстрапинг на NixOS само от изходен код, поддръжка на модули, напълно съвместими с Guile, възможността за стартиране на Gash и Gash-Utils, поддръжка на бутстрапинг gcc 4.6.4, както и възможността за пълна сборка на цялата система от изходен код в Linux среди, базирани на архитектурите armhf и riscv64.

Източник: opennet.ru