Eine objektorientierte Petrinetz-Sprache für Transputer-Systeme

Zusammenfassung

Es gibt eine Reihe von Programmiersprachen für parallele Anwendungen, die auf dem Prozeßkonzept und der Prozeßkommunikation durch Austausch von Daten in Nachrichten [6] basieren und damit effizient auf Transputer-Systemen implementiert werden können. Als Beispiel soll hier nur OCCAM [14] genannt werden. Für eine Implementierung auf Multiprozessoren mit gemeinsamem Speicher eignen sich auch Sprachen wie Concurrent Pascal [9], die statt einer Prozeßkommunikation über Nachrichten ein Monitorkonzept vorsehen. Programmiersprachen auf der Basis des Prozeßmodells haben ihren Ursprung in Anforderungen von Multiuser-Multitasking-Betriebssystemen und bieten ein Abstraktionsniveau, das noch relativ eng am Maschinenmodell orientiert ist. Das erschwert die Programmierung und die Suche nach Programmierfehlern (beispielsweise Race Conditions oder Deadlocks) für den weniger erfahrenen Benutzer und führt häufig zu Programmen, deren Bedeutung dem Programmtext nur schwer zu entnehmen ist. Die Verwendung solcher Sprachen ist dann sinnvoll, wenn die Maschinennähe der Programmierung durch die Problemstellung — etwa die Implementierung eines Betriebssystemkerns — gefordert ist oder die volle Bandbreite der Kommunikationskanäle für die Nachrichtenübertragung genutzt werden muß.