Wechselseitiger Ausschluss

Zusammenfassung

Der wechselseitige Ausschluss von Prozessen wurde schon in den 1960er Jahren als ein zentrales Problem der Organisation von Rechensystemen identifiziert. Es entsteht immer dann, wenn eine Ressource gelegentlich, aber jeweils exldusiv von mehreren Prozessen genutzt wird (beispielsweise ein Prozessor, ein Speicherbereich, ein Drucker, oder eine Kommunikationseinheit). So lange ein Prozess die Ressource nutzt, ist er in seinem kritischen Zustand. Eine Verabredung der Prozesse muss garantieren, dass sich niemals zwei Prozesse zugleich in ihren jeweiligen kritischen Zustand befinden. Wrr stellen eine solcbe Verabredung für Prozesse vor, die nur iiber asynchrone Nachrichten miteinander kommunizieren kannen.