Veröffentlichung von GNU Mes 0.25, einem Werkzeug zur autarken Erstellung von Distributionen.

Nach anderthalb Jahren Entwicklung wurde das GNU Mes 0.25-Toolkit veröffentlicht, das den Bootstrapping-Prozess für GCC ermöglicht und einen geschlossenen Rekompilierungszyklus aus Quelltexten gewährleistet. Das Toolkit löst das Problem des verifiziert initialen Compiler-Baus in Distributionen, indem es die Kette der zyklischen Rekompilierung unterbricht (da für den Bau des Compilers bereits kompilierte Executables benötigt werden und die binären Versionen des Compilers potenzielle Quellen für versteckte Backdoors darstellen, was eine vollständige Garantie der Integrität der Builds aus Referenz-Quelltexten unmöglich macht).

GNU Mes bietet einen autarken (self-hosting) Interpreter für die Programmiersprache Scheme, geschrieben in C, sowie einen einfachen Compiler für C (MesCC), der in Scheme geschrieben ist. Beide Komponenten sind gegenseitig kompilierbar. Der Scheme-Interpreter ermöglicht die Erstellung des C-Compilers MesCC, der wiederum die Erstellung einer abgespeckten Version des Compilers TinyCC (tcc) erlaubt, dessen Funktionen bereits ausreichen, um GCC zu erstellen.

Der Scheme-Interpreter ist sehr kompakt und umfasst etwa 5000 Codezeilen in einem einfachen Teilmenge der C-Sprache. Er kann in eine ausführbare Datei umgewandelt werden, indem der universelle Übersetzer M2-Planet oder ein einfacher C-Compiler verwendet wird, der mit einem selbstkompilierenden Assembler hex0 erstellt wurde, der keine externen Abhängigkeiten benötigt. Der Interpreter enthält einen vollwertigen Garbage Collector und bietet eine Bibliothek von nachladbaren Modulen. Das Projekt entwickelt auch die C-Bibliothek Mes C, die ausreicht, um glibc 2.2.5, binutils 2.20.1 und gcc 2.95.3 zu erstellen, die zur Bereitstellung der Distribution Guix für die Plattformen i686-linux, x86_64-linux, armhf-linux und aarch64-linux erforderlich sind, wobei nur die Quelltexte verwendet werden (Full Source Bootstrap).

In dieser neuen Version wird die Unterstützung für die RISC-V-Architektur (RISC-V64-linux) eingeführt und die Kompilierung mit dem Transpiler M2-Planet hinzugefügt. Der Bau wird mit der Version M2-Planet 1.11.0 für die Zielplattform x86_64-linux unterstützt. Die Angabe des Modus "—bootstrap-mode" bei der Nutzung von M2-Planet ist nicht mehr erforderlich. In MesCC wurden Kompatibilitätsprobleme mit GCC-Versionen 10+ behoben, die Initialisierung von Strukturfeldern auf 0 sichergestellt und die Möglichkeit der Fehlersuche in Binärdateien auf Funktionsebene wiederhergestellt.

In künftigen Versionen wird die Unterstützung für das Bootstrapping von NixOS ausschließlich aus Quelltexten, Unterstützung für vollständig mit Guile kompatible Module, die Möglichkeit zur Ausführung von Gash und Gash-Utils sowie das Bootstrapping von gcc 4.6.4 und die Möglichkeit einer vollständigen Systemzusammenstellung aus Quelltexten in Linux-Umgebungen auf Basis der Architekturen armhf und riscv64 erwartet.

Quelle: opennet.ru