Deadlocks und Prozesssynchronisation in Betriebssystemen
Parbegin und Parend: Parallele Ausführung
Parbegin / Parend ist eine Struktur, die dazu dient, Parallelen zu definieren. Sie zeigt den Beginn und das Ende einer parallelen Ausführung an. Auswahl:
- Eine Erklärung, dass die sequenzielle Ausführung zwischen mehreren parallelen Ausführungs-Streams geteilt werden muss.
Seine allgemeine Form (nach Dijkstra) folgt:
parbegin Proposition 1; Proposition 2; ... Proposition n; parend
Mutex: Gegenseitiger Ausschluss
Mutex (Mutual Exclusion) tritt auf, wenn jeder Prozess den Datenaustausch anderer Prozesse verhindert, indem er den Zugriff für alle anderen gleichzeitig deaktiviert. Dies gilt, wenn ein Prozess auf freigegebene Daten zugreift. Prozesse mit Transaktionen, die nicht im Konflikt stehen, dürfen...