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

Публикувана версия на инструмента GNU Mes 0.27, осигуряваща процеса на бутстрепинг (bootstrap) за 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).

В новата версия е възстановена поддръжката на стартиране на Mes в среда GNU Hurd. Добавени са нови модули: rnrs (побитова арифметика) и srfi (srfi-39). За съвместимост с Guile, модулът srfi се зарежда по подразбиране. Добавени са нови функции: pair-for-each и with-fluids*. В компилатора MesCC е реализирана възможността за работа с модули за генериране на парсери и лексикални анализатори NYACC версии от 0.99.0 до 1.09.4. Премахната е възможността за използване на остарели модули в стил mes за NYACC и MesCC.

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