Das Grid-Occam-Projekt Reloaded

2005

Prof. Dr. Andreas Polze
Dr. Martin v. Löwis
Peter Troeger

Die auf dem Modell der "Communicating Sequential Processes" (CSP) von Sir Tony Hoare beruhende Programmiersprache Occam wurde zuerst duch die Firma INMOS für die seinerzeit revolutionären Transputer implementiert. Occam bietet Sprachkonstrukte für feingranulare nebenläufige Programmierung und exzellente Unterstützung für Multiprozessor- und Multicomputersysteme. Im Rahmen der Lehrveranstaltung soll eine Umsetzung von Occam für (weit-) verteilte Systeme entwickelt und studiert werden.

Die Lehrveranstaltung wird sich einerseits mit Prinzipien parallelen und verteilten Rechnens und deren Anwendung auf Occam-Implementierungen und andererseits mit Werkzeugen für den Compilerbau und deren Grundlagen auseinandersetzen. Als konkreter Anwendungsfall soll im Rahmen des Praktikums ein Occam-Compiler für Java studiert und verteilte Laufzeitsystem für diesen Compiler entwickelt werden.

Die Leistungserfassung orientiert sich zum einen an der im Laufe des Semesters anzufertigenden Projektarbeit (Compiler, Syntax-Checker, Pretty Printer, Laufzeitsysteme), zum anderen an der zugehörigen Ausarbeitung und Projektpräsentation.

Der Leistungserfassungsprozeß beginnt am 27.4.2005.

Die Präsentationen des Projektstands finden am 2.6. und am 9.6., jeweils um 9:00 in C-1.x statt.

Im einzelnen widmet sich die Lehrveranstaltung folgenden Themen:

Paralleles und verteiltes Rechnen
Die Programmiersprache Occam
Aufbau eines Compilers
Theorie und Wirklichkeit des Grid-Computing

Literatur

HU-Informatik-Bericht 77
Occam auf WoTUG, Occam Reference Manual
The Occam archive (Link nicht mehr verfügbar: http://vl.fmnet.info/occam/)
CSP-Folien von Bill Roscoe (Oxford University Computing Laboratory)
Ausführungen zum Thema Paralleles Rechnen in Multicomputersystemen
Occam-Pi

Die Leistungserfassung orientiert sich zum einen an der im Laufe des Semesters anzufertigenden Projektarbeit (Compiler und Laufzeitsysteme für Occam), zum anderen an der zugehörigen Ausarbeitung und Projektpräsentation.

Occam-Beispiele

Der Occam-Compiler

Kai Köhnes Occam-Compiler ist auf der Webseite von Peter Tröger erhältlich. Weitere Informationen zu diesem Compiler finden sich ebenfalls auf der zuvor genannten Webseite.