Barbara Liskov: Die erste Architektin der Datenabstraktion

1968 wurde Barbara Liskov eine der ersten Frauen in den Vereinigten Staaten, die an einem Informatikfachbereich promovierte. Vier Jahrzehnte später erklärte der Provost des MIT der Welt, dass jedes Mal, wenn jemand online einen Kontostand prüfte oder eine Suche durchführte, er „den Schwung ihrer Forschung nutzte“. Zwischen diesen beiden Momenten baute sie das konzeptionelle Gerüst – Datenabstraktion, abstrakte Datentypen, eine formale Regel dafür, wann ein Typ einen anderen sicher ersetzen kann – das seitdem stillschweigend unter fast jeder geschriebenen Programmiersprache läuft.

Ein unwahrscheinlicher Start in die Informatik

Barbara Jane Huberman wurde am 7. November 1939 in Los Angeles als ältestes von vier Kindern geboren. Sie studierte Mathematik mit Nebenfach Physik an der UC Berkeley und schloss 1961 als eine von nur zwei Frauen in ihrem Kurs ab. Anstatt einen einfachen Weg in eine technische Karriere zu wählen, als es für Frauen kaum solche gab, nahm sie eine Stelle als Programmiererin bei der Mitre Corporation an, bevor Stanford sie in ein junges Informatikprogramm aufnahm. Ihre Dissertation von 1968 befasste sich mit der Schach-Endspielprogrammierung und brachte die „Killer-Heuristik“ hervor, eine Such-Pruning-Technik, die noch immer in der künstlichen Intelligenz diskutiert wird. Ihr Doktorvater war John McCarthy, einer der Begründer der KI als Fachbereich. Sie ist als die erste Frau in den Vereinigten Staaten anerkannt, die einen Doktortitel eines Informatikfachbereichs erhielt.

CLU und die Idee der Datenabstraktion

Liskov kam 1972 ans MIT, um die Programming Methodology Group zu leiten, und dort entwarf sie Mitte der 1970er Jahre CLU. Zu dieser Zeit organisierten die meisten Programmierer Software prozedural, indem sie Befehlsfolgen schrieben, die Datenstrukturen direkt manipulierten und beide überall miteinander verflochten ließen. CLU führte „Cluster“ ein – in sich geschlossene Module, die einen Datentyp mit den einzigen Operationen bündelten, die darauf zugreifen durften, und die interne Darstellung vollständig vor dem Rest eines Programms verbargen. Dies war Datenabstraktion, und es ist schwer zu überschätzen, wie gründlich dies das Software-Engineering umgestaltete: Die Klassenstrukturen im Herzen von Java, C++, C# und Ada führen alle ihre Abstammung auf die Cluster von CLU zurück. Liskov baute die Sprache im Wesentlichen als Argument, das in funktionierendem Code umgesetzt wurde, dass große Softwaresysteme nur dann zuverlässig gebaut werden können, wenn sie in kleine, unabhängig überprüfbare Stücke mit sauberen Schnittstellen unterteilt werden.

Argus, byzantinische Fehlertoleranz und verteilte Systeme

Liskov blieb nicht bei Ein-Maschinen-Programmen stehen. In den 1980er Jahren leitete sie die Entwicklung von Argus, der ersten Hochsprache, die speziell zur Unterstützung von verteiltem Rechnen entwickelt wurde – Programme, die auch dann korrekt laufen, wenn sie über mehrere Maschinen verteilt sind, die über ein Netzwerk kommunizieren; eine Idee, die heute für jeden Cloud-Dienst und jede Webanwendung grundlegend ist. Später wandte sie sich einem noch schwierigeren Problem zu: wie ein verteiltes System korrekt funktioniert, selbst wenn einige seiner Komponentenmaschinen willkürlich ausfallen oder sich böswillig verhalten, ein Szenario, das Informatiker als „byzantinischen Fehler“ bezeichnen. Die praktischen Techniken, die sie und ihre Studenten für byzantinische Fehlertoleranz entwickelten, sind heute in die Infrastruktur eingebettet, die Internetdienste im großen Maßstab zuverlässig hält, und bilden später die Grundlage für einige Blockchain-Konsensprotokolle.

Das Prinzip, das ihren Namen trägt

In einer Grundsatzrede 1987 formulierte Liskov das, was als Liskovsches Substitutionsprinzip bekannt wurde, später mit Jeannette Wing formalisiert: Wenn ein Programm so geschrieben ist, dass es Objekte eines bestimmten Typs verwendet, sollte es in der Lage sein, Objekte jedes Subtyps dieses Typs zu verwenden, ohne dass die Korrektheit des Programms beeinträchtigt wird. Es klingt fast selbstverständlich, wenn man es klar ausspricht, was genau der Grund ist, warum es wichtig ist – es verwandelt eine vage Intuition, dass „Unterklassen sich wie ihre Elternklasse verhalten sollten“, in ein strenges, überprüfbares Kriterium für korrektes objektorientiertes Design. Das Prinzip wurde zu einer der fünf „SOLID“-Säulen, die fast jedem Software-Engineering-Studenten beigebracht werden, ein seltener Fall, in dem der Name eines einzelnen Forschers in den Arbeitswortschatz einer ganzen Industrie eingeht.

Turing Award und Anerkennung

Im Jahr 2008 verlieh die Association for Computing Machinery Liskov den A.M. Turing Award, die höchste Ehre der Informatik, „für Beiträge zu den praktischen und theoretischen Grundlagen des Programmiersprachen- und Systemdesigns, insbesondere in Bezug auf Datenabstraktion, Fehlertoleranz und verteiltes Rechnen“. Sie war erst die zweite Frau, die ihn gewann. Die damalige Präsidentin des MIT, Susan Hockfield, nannte ihre Beiträge „ein MIT-Ideal: bahnbrechende Forschung mit tiefgreifenden Vorteilen“, während das Tribut des Provost L. Rafael Reif konkreter war: „Jedes Mal, wenn Sie E-Mails austauschen, Ihren Kontoauszug online prüfen oder eine Google-Suche durchführen, nutzen Sie den Schwung ihrer Forschung.“ Sie hatte bereits 2004 die IEEE John von Neumann Medal erhalten; die National Inventors Hall of Fame nahm sie 2012 auf, und sie erhielt später 2023 die Benjamin Franklin Medal. Sie bleibt MIT Institute Professor, die höchste Fakultätsauszeichnung der Universität, verliehen 2008.

Warum Barbara als Genie bezeichnet wird

Liskovs Fall für Genie ist ein Fall über die Abstraktion selbst – die spezifische intellektuelle Fähigkeit, die richtige Grenze in einem komplizierten System zu finden, damit jedes Teil für sich allein verstanden und vertraut werden kann. CLUs Cluster und das Substitutionsprinzip, das ihren Namen trägt, sind keine auffälligen Erfindungen; sie sind präzise Antworten auf ein Problem, das die meisten Programmierer in den 1970er Jahren noch nicht klar formulieren konnten, was ein Grund dafür ist, warum sich ihr Name dauerhaft an die Lösung in einem Bereich heftete, der Individuen selten auf diese Weise würdigt. Die Sprache des Turing-Award-Komitees – „praktische und theoretische Grundlagen“ – signalisiert genau dies: kein einzelnes Artefakt, sondern eine Art über Korrektheit nachzudenken, die sich über Sprachen und Jahrzehnte hinweg verallgemeinerte. Das ehrliche Gegenargument ist, dass Liskov innerhalb einer Forschungstradition arbeitete, die sich bereits in Richtung Modularität und abstrakter Typen bewegte – Tony Hoare, Niklaus Wirth und andere verfolgten gleichzeitig verwandte Ideen – und CLU selbst nie eine weit verbreitete Produktionssprache wurde; ihr Einfluss kam aus zweiter Hand, durch die späteren Sprachen, die ihre Konzepte übernahmen. Ihr Genie war nach dem Beweis weniger reine Erfindung als ungewöhnliche Klarheit: die Abstraktion genau richtig hinzubekommen, bevor es jemand anderes tat.

Vermächtnis

Liskovs Ideen sitzen heute unsichtbar unter der Software, die Telefone, Banken und Suchmaschinen betreibt, und ihr Name überlebt als Kurzform – „verletzt das die Liskovsche Substitution?“ – innerhalb von Code-Reviews, die von Ingenieuren durchgeführt werden, die vielleicht nie ihre Arbeiten gelesen haben. Wenige Forscher erreichen diese besondere, unglamouröse Form der Unsterblichkeit: so vollständig in den gesunden Menschenverstand eines Bereichs integriert zu sein, dass die Menschen aufhören sich daran zu erinnern, dass jemals ein Name damit verbunden war.