Portierung eines C-Compilers auf eine capability-basierte Architektur

Abstract

Gängige Prozessorarchitekturen bieten wenig Unterstützung für die Entwicklung zuverlässiger, korrekter und wartbarer Software. Andererseits ist es schwierig, Standard-Entwicklungswerkzeuge für experimentelle Prozessor- und Betriebssystemarchitekturen wie z.B. MONADS-PC anzupassen. Capabilities und Modularität werden bisher von Standard-Compilern nicht unterstützt. Zuerst werden daher die Architektur des Zielsystems, die Eigenschaften des GNU C-Compilers und des MONADS-Pascal-Compilers detailliert beschrieben. Das Ziel dieser Arbeit ist es, eine Portierung des GNU C-Compilers für die MONADS-PC-Architektur zu entwerfen, zu implementieren und zu testen. Es soll möglich sein, mit dem portierten Compiler Standard-C-Code ohne Modifikation zu übersetzen. Hierzu ist es notwendig, sowohl Entwicklungswerkzeuge wie Assembler, Linker und Bibliotheksverwaltung zu verbessern bzw. neu zu implementieren als auch eine angepasste Version der C-Bibliothek zu erstellen. Die Code-Qualität wird anhand von Beispielprogrammen mit dem existierenden MONADS-Pascal-Compiler verglichen. Abschließend werden die erzielten Ergebnisse bewertet und der erstellte Code dokumentiert.