next up previous contents index
Next: Beispiel: Datenduplizierung Up: KanäleSenden und Empfangen Previous: KanäleSenden und Empfangen

4.1.1 Programmeigenschaften

Wie bei der Kommunikation über einen gemeinsamen Speicher, sind bei Message Passing Programmen die Eigenschaften: Korrektheit, Deadlock Freiheit, Mutual Exclusion (bei gem. Zugriff auf externe Ressourcen) sowie Lebendigkeit (liveness): strongly fair scheduling (jeder Prozeß bekommt genügend Chancen, die Daten zu empfangen) von Bedeutung.  

Korrektheitsbeweise  kann man dadurch führen, daß man den Inhalt der Kanalpuffer durch Hilfsvariablen beschreibt und mit in Betracht zieht.



parallel@rz.uni-mannheim.de
Mon Okt 28 14:38:25 PST 1996