Seminar Ada Bootstrap Compiler

Herstellerprofil und Produktkontext

• Hersteller-/Projektprofil (neutral): Ada Bootstrap Compiler als Engineering-Initiative und Methodik für eine vollständig nachvollziehbare Ada-Toolchain.
• Kernversprechen: Minimierung zirkulärer Abhängigkeiten, maximale Nachvollziehbarkeit der Toolchain-Herkunft, Portierbarkeit auf neue Architekturen und Betriebssysteme.
• Ökosystem: Ada-Compiler-Frontends, Backends (typisch GCC), Binder/Linker-Tooling, Run-Time-Bibliotheken, Paketierungs- und CI-Integrationen.

Typische Einsatzfelder

• Hochintegritäts-Software: Anforderungen an deterministische Builds, Toolchain-Nachweise, Audit-Trails.
• Neue Architekturen/Plattformen: Aufbau einer Ada-Toolchain, wenn keine fertigen Ada-Binaries für die Plattform verfügbar sind.
• Supply-Chain-Security: Reduktion von Vertrauen in undokumentierte Binärartefakte, strukturierte Verifikation von Build-Outputs.
• Distribution-/Release-Engineering: reproduzierbare Toolchain-Erzeugung als Paket oder SDK.

Technischer Überblick

• Build-Stufen: Stage0 (C-Compiler vorhanden), Stage1 (Minimal-Compiler/Interpreter/Subset), Stage2 (voller Ada-Compiler), Stage3 (Vergleich/Validierung).
• Komponenten:
  • Frontend (Ada-Parsing, Semantik)
  • Middleend/Optimizer
  • Backend (Codegen)
  • Binder/Linker-Integration (Ada-spezifische Bind-Schritte)
  • Run-Time (Tasking, Exceptions, Start-up, Profilvarianten)
• Querschnittsthemen: deterministische Artefakte, Build-Flags, Pfad-/Zeitstempel-Handling, Testsuites.