Издание на GNU Mes 0.22, инструментариум за самостоятелно изграждане на дистрибуции

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

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

Интерпретаторът на езика Scheme е достатъчно компактен, заема около 5000 реда код на най-простото подмножество на езика C и може да бъде преобразуван в изпълним файл с помощта на универсален транслятор M2-Planet или най-простият C-компилатор, изграждан с използване на самостоятелно изграждащ се асемблер hex0, който не изисква външни зависимости. При това интерпретаторът включва пълносен сборник от боклуци и предоставя библиотека с натоварваеми модули.

В новото издание е осигурена поддръжка за повторяеми изграждания с използване на комплекти mes+mescc или guile+mescc в дистрибуции GNU Guix, Debian GNU/Linux и NixOS. Добавена е възможността за стартиране на интерпретатора на Scheme Mes в GNU Hurd, но C-компилаторът mescc все още не работи поради липса на поддръжка на необходимите системни извиквания (например, fork/exec). Добавена е начална поддръжка за създаване на изпълними файлове за FreeBSD. Подобрена е поддръжката за бутстрапинг на дистрибуцията Guix с използване само на компоненти на езика Scheme (команден шел Gash (Guile as Shell) вместо bash и Gash Core Utils вместо coreutils, grep, sed, gzip, make, awk и tar).

В следващите издания се очаква да бъде внедрена поддръжка на бутстрепинг за NixOS, активиране на бутстрепинга, използвайки само компоненти на езика Scheme в клона wip-bootstrap, поддръжка на архитектура ARM, възможност за компилиране на Mes.c с помощта на M2-Planet, пълна поддръжка на модулите Guile, осигуряване на работа на mescc с ядрото Hurd.

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