Der Übersetzer zwischen Mensch und Maschine Vom Plankalkül zum modernen Compiler

Anbieter zum Thema

MicroConsult Academy GmbH

MES Electronic Connect GmbH & Co. KG

IBR Leiterplatten GmbH & Co. KG

Als die Informatik noch in Nullen und Einsen gefangen war, schufen Pioniere wie Grace Hopper und John Backus die ersten Compiler, die menschliche Logik in Maschinencode verwandeln. Doch wie entstand das Fundament, ohne das die Welt inzwischen stillstehen würde?

Wer heute ein Programm schreibt, denkt in Funktionen, Variablen, Objekten, Algorithmen oder Datenstrukturen. Ein Entwickler formuliert, was ein System tun soll, und überlässt die konkrete Umsetzung weitgehend den Werkzeugen der Softwareentwicklung. Dass zwischen einem in C++, Rust oder Python geschriebenen Programm und den elektrischen Schaltvorgängen in einem Prozessor eine enorme Übersetzungsleistung liegt, gerät dabei leicht in Vergessenheit. Ohne Compiler wäre Softwareentwicklung bis heute eng an die jeweilige Hardware gebunden. Die Geschichte der Compiler ist deshalb zugleich die Geschichte einer Befreiung: Programmierer mussten sich Schritt für Schritt weniger mit der Sprache der Maschine beschäftigen.

Die erste höhere Programmiersprache

Die Idee für höhere Programmiersprachen stammt nicht aus dem Silicon Valley, sondern aus Deutschland und aus einer Zeit, in der elektronische Computer, wie wir sie heute kennen, noch kaum existierten. Zwischen 1942 und 1945 entwickelte Konrad Zuse den Plankalkül. Zuse ist vor allem als Konstrukteur früher Rechenmaschinen bekannt. Mit dem Plankalkül entwarf er eines der frühesten umfassend ausgearbeiteten Konzepte einer höheren Programmiersprache. Darin finden sich bereits Ideen, die später für die Softwareentwicklung selbstverständlich werden sollten: Variablen, Zuweisungen, logische Operationen, Bedingungen, Schleifen und die Beschreibung komplexerer Algorithmen.

Entscheidend war dabei weniger die konkrete Syntax des Plankalküls als der zugrunde liegende Gedanke. Ein Programm sollte nicht mehr ausschließlich als Folge elementarer Anweisungen für eine ganz bestimmte Maschine formuliert werden. Stattdessen sollte es möglich sein, einen Lösungsweg auf einer höheren Abstraktionsebene zu beschreiben. Die Rechenmaschine rückte damit gedanklich in den Hintergrund. Der Plankalkül blieb jedoch zunächst ein theoretisches Konzept – einen Compiler dafür gab es damals noch nicht.

Die Anfangsjahre

In der Praxis blieb die Programmierung in den 1940er- und frühen 1950er-Jahren strikt an die Hardware gebunden. Programme bestanden aus numerischen Maschinencodes oder einfachen Assembler-Kürzeln wie „ADD“. Ein Programm für eine bestimmte Maschine war auf einer anderen unnutzbar.

In dieser Phase entstanden weltweit erste Ansätze zur automatischen Übersetzung. Bereits 1951 beschrieb der Schweizer Mathematiker Heinz Rutishauser das Konzept der automatischen Programmierung. Etwa zeitgleich entwickelte die US-Informatikerin Grace Hopper das System A-0 und etablierte dafür die Bezeichnung „Compiler“. Auch wenn A-0 nach heutigem Verständnis eher wie ein Lader oder Linker funktionierte, der vorgefertigte Unterprogramme zusammenfügte – und Entwickler wie Alick Glennie 1952 mit Autocode bereits echte Übersetzer bauten –, markierten diese Arbeiten den entscheidenden Wendepunkt: Die Maschine begann erstmals, sich ihre Anweisungen selbst zusammenzusetzen.

Mit zunehmender Leistungsfähigkeit der Computer stieg jedoch die Komplexität der Aufgaben an. Jede zusätzliche Funktion bedeutete neue Speicheradressen und Sprungbefehle. Die händische Programmierung drohte zum Engpass der technischen Entwicklung zu werden. Es reichte nicht mehr aus, nur schnellere Rechner zu bauen – es musste einfacher werden, sie zu programmieren.

Der Durchbruch der Syntax und Struktur

Ein moderner Compiler übernimmt weit mehr als eine reine Wort-für-Wort-Übersetzung. Zwischen dem Quellcode und dem ausführbaren Programm liegen mehrere Ebenen der Analyse und Transformation. Zunächst muss der Compiler den Quelltext analysieren. Zeichen werden in bedeutungstragende Einheiten zerlegt, aus denen anschließend die grammatische Struktur des Programms rekonstruiert wird. Der Compiler muss erkennen, ob eine Anweisung syntaktisch korrekt ist und ob ihre Bestandteile in der vorgesehenen Beziehung zueinander stehen. Danach folgt eine inhaltliche Prüfung von Datentypen, Gültigkeitsbereichen von Variablen und Funktionsaufrufen.

Erst wenn ein Programm diese Prüfungen durchlaufen hat, beginnt die eigentliche Übersetzungsarbeit. Moderne Compiler erzeugen dabei häufig nicht unmittelbar Maschinencode. Stattdessen wird das Programm zunächst in eine interne Zwischendarstellung (Intermediate Representation) überführt. Diese abstrahierte Form erlaubt es, Optimierungen durchzuführen, ohne dass jede Anpassung speziell für jede Programmiersprache und jede Prozessorarchitektur neu entwickelt werden muss. Erst im letzten Schritt wird der Code auf die Instruktionen der Zielhardware abgebildet.

Der praktische Durchbruch dieser höheren Programmiersprachen kam Ende der 1950er-Jahre mit Fortran. Die bei IBM unter Leitung von John Backus entwickelte Sprache sollte wissenschaftliche Berechnungen vereinfachen. Das eigentliche technische Wagnis lag jedoch im Compiler, denn dieser musste Code erzeugen, der so effizient war, dass er mit handgeschriebenem Assembler-Code konkurrieren konnte.

Parallel dazu entwickelte sich mit Cobol eine zweite wichtige Richtung. Während Fortran vor allem die Welt der Wissenschaft und numerischen Berechnungen adressierte, zielte Cobol auf kaufmännische und administrative Anwendungen. Die Sprache sollte große Mengen geschäftlicher Daten verarbeiten können und legte deshalb besonderen Wert auf eine menschennahe Darstellung von Programmlogik. An deren Entwicklung war Grace Hopper erneut maßgeblich beteiligt.

Einen besonders nachhaltigen Einfluss auf die Entwicklung von Compilern und Betriebssystemen hatte ab den frühen 1970er-Jahren die Programmiersprache C. Dennis Ritchie entwickelte C bei den Bell Laboratories im Umfeld von Unix. C nahm dabei eine Schlüsselrolle ein: Die Sprache bot deutlich höhere Abstraktion als Assembler, erlaubte aber gleichzeitig eine direkte Kontrolle über Speicher und Hardware. Für den Compilerbau war C ein Katalysator. Da Unix größtenteils in C geschrieben war, musste für jede neue Prozessorarchitektur lediglich ein neuer C-Compiler entwickelt werden, um das gesamte Betriebssystem zu portieren.

Vom Übersetzer zum Code-Optimierer

Moderne Mikroprozessoren besitzen komplexe Ressourcen. Die optimale Nutzung ist händisch kaum noch zu bewältigen. Ein Compiler analysiert Abhängigkeiten, entfernt ungenutzten Code, zieht feste Berechnungen vor und wandelt einfache Schleifen durch Vektorisierung in hochparallele Maschinenbefehle um. Zwei Programme mit identischem Quellcode können je nach Compiler und Optimierungseinstellungen völlig unterschiedlich schnell laufen.

Der Compiler ist ein Vermittler zwischen verschiedenen Anforderungen. Er muss den abstrakten Quellcode auf eine konkrete Hardware übertragen und dabei Eigenschaften berücksichtigen, die der ursprünglichen Programmbeschreibung möglicherweise gar nicht anzusehen sind. Ein Entwickler kann beispielsweise lediglich eine mathematische Operation formulieren, während der Compiler entscheiden muss, ob dafür eine einzelne Instruktion, mehrere skalare Operationen oder eine spezielle Vektoreinheit verwendet wird. (mr)

Frauen in der Technikgeschichte

Grace Hopper: Die Pionierin, die das Programmieren einfacher machte

(ID:50950638)