3.2.11.3.1 Mutex

[gesichtete Version][gesichtete Version]
(LOOP2 Upgrade)
(LOOP Upgrade: loop_index and youtubehd)
Zeile 23: Zeile 23:
<br />
<br />
<p>
<p>
<loop_index id="5fa9786bb0950">mutal exclusion|gegenseitiger Ausschluss|wechselseitiger Ausschluss</loop_index>
<loop_index id="5fa9786bb0950">mutal exclusion</loop_index><loop_index id="5fa9786bd76b3">gegenseitiger Ausschluss</loop_index><loop_index id="5fa9786bd76b8">wechselseitiger Ausschluss</loop_index>
Ein [[Semaphore#Definition:_Binärer_Semaphor|binärer Semaphor]] oder Mutex ist geeignet, um [[Kritischer Abschnitt|kritische Abschnitte]] vor gleichzeitigem Betreten zu sichern. Man spricht in diesem Zusammenhang von einem ''wechselseitigen Ausschluss'' (auf englisch: ''mutual exclusion'') der beteiligten Prozesse.
Ein [[Semaphore#Definition:_Binärer_Semaphor|binärer Semaphor]] oder Mutex ist geeignet, um [[Kritischer Abschnitt|kritische Abschnitte]] vor gleichzeitigem Betreten zu sichern. Man spricht in diesem Zusammenhang von einem ''wechselseitigen Ausschluss'' (auf englisch: ''mutual exclusion'') der beteiligten Prozesse.
</p>
</p>

Version vom 9. November 2020, 19:12 Uhr

Mutex

Zunächst die Definition:


Definition: Mutex

Definition

Unter einem Mutex (als Abkürzung für MUTual EXclusion, auf deutsch: gegenseitiger Ausschluss) versteht man einen binären Semaphor.


Mit dieser Definition geht einher, dass ein Mutex eine ganzzahlige Variable besitzt, welche nur die Werte 0 und 1 annehmen darf. Ebenso besitzt er eine Warteschlange, sowie die P()- und V()-Operation.


Ein binärer Semaphor oder Mutex ist geeignet, um kritische Abschnitte vor gleichzeitigem Betreten zu sichern. Man spricht in diesem Zusammenhang von einem wechselseitigen Ausschluss (auf englisch: mutual exclusion) der beteiligten Prozesse.

Der folgende Abschnitt erläutert den wechselseitigen Ausschluss.