Konzepte h¨oherer Programmiersprachen (Entwurf) - WSI ...

30 2.3 Bootstrapping
Pascal → X
Pascal
Pascal → X
X
X
Pascal → X
Abbildung 14: Selbstcompilation
war zum Teil noch 1980 und später der Stand der Technik. Wenn ein Compiler jedoch
in seiner eigenen Sprache geschrieben ist, haben wir offensichtlich eine ” Henne-Ei-
Problematik“: Ich brauche einen funktionierenden Compiler, bevor ich den Compiler
zum funktionieren bringen kann. Die von Wirth verwendete Methodik zu diesem Prozess
soll im folgenden geschildert werden.
MiniP → CDC
Fortran
Abbildung 15: Bootstrap des Pascal-Compilers, Phase 1
In einem ersten Schritt wird eine Teilmenge (hier ” MiniP“ genannt) von Pascal ausgezeichnet,
die ausreicht, um den Pascal-Compiler zu schreiben. Mit irgendeiner existierenden
Sprache (in diesem Fall Fortran) wird ein Compiler (Abb. 15) geschrieben,
der MiniP in CDC-Maschinencode übersetzt. Dieser Compiler darf selbst beliebig ineffizient
sein und auch beliebig ineffizienten Code erzeugen, Hauptsache, der erzeugte
Code ist korrekt. Mit Hilfe des Fortran-Compilers (Abb. 16) lässt sich damit ein Compiler
von MiniP in CDC-Code erzeugen, der auch auf der CDC läuft.
Dann wird der MiniP-Compiler nochmals in seiner eigenen Sprache geschrieben,
wobei diesmal (Abb. 17) Wert auf die Erzeugung von effizientem Maschinencode gelegt
wird.
Durch eine Selbstcompilation (Abb. 18) entsteht ein nativer MiniP-Compiler für die
CDC, der guten Code erzeugt, aber selbst langsam läuft.
Eine zweite Selbstcompilation behebt diesen Mangel; Ergebnis ist ein effizienter
MiniP-Compiler, der selbst effizient läuft. Eine dritte Selbstcompilation müsste dann
X
kogrund.pdf