Der Begriff
Wechselseitiger Ausschluss bzw.
Mutex (
Abk. für
engl. mutual exclusion) bezeichnet eine Gruppe von Verfahren, mit denen das Problem des
kritischen Abschnitts gelöst wird. Mutex-Verfahren verhindern, dass
nebenläufige Prozesse bzw.
Threads gleichzeitig oder zeitlich verschränkt gemeinsam genutzte Datenstrukturen unkoordiniert verändern, wodurch die Datenstrukturen in einen inkonsistenten Zustand geraten können, auch wenn die Aktionen jedes einzelnen Prozesses oder Threads für sich betrachtet konsistenzerhaltend sind. Mutex-Verfahren koordinieren den zeitlichen Ablauf nebenläufiger Prozesse/Threads derart, dass andere Prozesse/Threads von der Ausführung kritischer Abschnitte ausgeschlossen sind, wenn sich bereits ein Prozess/Thread im kritischen Abschnitt befindet (die Datenstruktur verändert).