Programme mit globalem Speicher

Zusammenfassung

Von diesem Kapitel an rücken parallele Programme mit interpretierten atomaren Aktionen in den Mittelpunkt unserer Betrachtungen. Gegenstand dieses Kapitels 7 sind parallele Programme, deren atomare Aktionen beliebig auf Variablen zugreifen können. Die Bezeichnung Globalspeicherprogramm rührt daher, daß ein Programm dieser Art in der Regel mehrere sequentielle Komponenten besitzt, die teils unabhängig voneinander sind, teils über einen gemeinsamen Speicherbereich verfügen. Auf diesem Bereich kann Kommunikation zwischen den Komponenten stattfinden. Zum Beispiel kann eine der Komponenten dort Daten ablegen, die von anderen gelesen werden. Neben dem gemeinsamen Speicherbereich kann für eine Komponente auch lokaler, privater Speicher bereitliegen. Programme mit einem anderen Kommunikationsmechanismus werden in Kapitel 8 betrachtet. In beiden Kapiteln gehen wir auf folgende Weise vor: zuerst wird eine Syntax motiviert und definiert, danach eine operationale Semantik, und schließlich ein Beweissystem, garniert jeweils mit Beispielen und größeren Fallstudien. Die Konsistenz und die Vollständigkeit des Beweissystems bezüglich der operationalen Semantik wird jeweils nachgewiesen und anhand von Beispielen erläutert.