Ziele:
Konzept der Guards verstehen
in der Vorlesung:
- Notwendig, weil nicht das Vorliegen von Botschaften
ohne Blockieren geprüft werden kann.
- Erläuterung der 3-wertigen Guards
- Bedingungen brauchen nur einmal geprüft zu werden
- Beispiel erläutern
- gegenseitiger Ausschluss: Prozess mit Synchronisationspunkten
- Bedingungssynchronisation: Bedingung im Guard
Verständnisfragen:
- Vergleichen Sie das Selektive Warten mit der empty- und
der receive-if-not-empty-Operation bei asynchronen Botschaften.
|