40 Jahre Informatik in München - Fakultät für Informatik - TUM

— Stufenweiser (‘modularer’) Aufbau, der das Hinzufügen neuer Systemfunktionen
erleichtert; ,,Strukturierte Programmierung“ mit prozeduraler
Gliederung: ,,Der Schwerpunkt der Forschung und Realisierung
wurde auf eine streng hierarchische Schichtung gelegt“ (Siegert),
— Laufende Dokumentation.
,,Das gelang weitgehend, der Zeitaufwand wurde jedoch gröblich unterschätzt“
(Lagally).
Weiterhin wurden beim Aufbau von BSM eine Reihe von Konzepten entwickelt
und erfolgreich erprobt, die auch heute noch, teilweise unter anderen
Bezeichnungen, aktuell sind:
— Beschränkung des Systemkerns auf solche Routinen, bei denen privilegierter
Zugriff erforderlich ist, und Auslagern anderer Funktionen
in Dienstprozesse im Benutzermodus (Mikrokern-Architektur),
— Ausnutzung möglicher Nebenläufigkeiten im Systemkern unter lokaler
Synchronisation bei Bedarf, ohne eine globale Systemsperre und ohne
Bevorzugung eines Prozessors (symmetrisches Multiprozessing),
—konsequente Auftragsorientierung bei Dienst- und Benutzerprozessen
unter Verwendung eines einheitlichen, synchrone und asynchrone
Aufrufe unterstützenden Kommunikationssystems ZUSTELLER
(Message Passing),
—Vermittlung von Zugriffen auf gemeinsam genutzte Objekte im
Adreßraum durch Verwalter-Prozesse (Client-Server-Structure),
— Automatische anonyme Zuordnung von Dienstaufrufen zu den jeweils
zuständigen Instanzen (Information-Hiding),
—Parallele Bedienung von Zugriffen auf gleichartige Objekte im Adreßraum
eines gemeinsamen Dienstprozesses (Thread-Konzepte),
— Zusammenfassung von Zugriffsoperationen auf strukturierte Dateien
in einer gemeinsam nutzbaren Bibliothek für Benutzerprozesse
(Shared Library).
Zur Unterstützung der Implementierung von BSM wurde unter Ludwig
Zagler ein Hardware-Simulationsprogramm TEBSY entwickelt, das
zunächst auf der TR 4 erprobt worden war und bei Entwicklung und Test
des Systemkerns von BSM gute Dienste tat. Zur Programmierung der
übrigen Systemteile, wie auch der wenig maschinenspezifischen Algorithmen
im Systemkern wurde eine eigene maschinennahe Programmiersprache
PS440 entwickelt (Goos, Lagally, Sapper). Sie erlaubte das Einschieben
von Assemblercode bei Bedarf (was außer im Systemkern selten nötig
war), und ermöglichte durch ein Makro-Konzept auf Adressen-Ebene die
weitgehende Separierung algorithmischer Aspekte von den Details der
Speicherabbildung von Datenstrukturen. Später wurde die Sprache PS
440 auch von weiteren Institutionen zur Programmierung von Anwendungen
eingesetzt.
45