Multicore und Synchronisation

Warum wird beim Warten mit einer Bedingungsvariable auf „Warteschlange nicht mehr leer“ die Bedingung nach dem Aufwachen mit einer while-Schleife statt mit if erneut geprüft?

  1. AWeil while schneller als if ausgeführt wird
  2. BWeil if bei Bedingungsvariablen nicht verwendet werden darf
  3. CWeil die Bedingung auch nach dem Aufwecken nicht erfüllt sein kann, etwa weil ein anderer Thread zuvor zugegriffen hat oder das Aufwachen grundlos erfolgt ist
Antwort und Erläuterung anzeigen

Antwort: C. Weil die Bedingung auch nach dem Aufwecken nicht erfüllt sein kann, etwa weil ein anderer Thread zuvor zugegriffen hat oder das Aufwachen grundlos erfolgt ist

Beim Warten auf eine Bedingungsvariable wird die Sperre abgegeben und geschlafen, und nach der Benachrichtigung wird beim Aufwachen die Sperre wieder erworben und zurückgekehrt. In der Zeit bis zum Aufwachen kann jedoch ein anderer Thread die Sperre zuerst erwerben und das Element der Warteschlange entnehmen. Außerdem ist es aus Implementierungsgründen zulässig, auch ohne Benachrichtigung aufzuwachen (Spurious Wakeup). Daher wird die Bedingung nach dem Aufwachen geprüft und, falls nicht erfüllt, erneut gewartet, geschrieben als while-Schleife.

Dieses Thema üben Zur Themenseite

Weitere Fragen zu Multicore und Synchronisation

  1. Zwei Kerne besitzen jeweils in ihrem eigenen Cache eine Kopie der Variablen x. Welches Problem kann auftreten, wenn Kern 1 x liest, nachdem Kern 0 x geschrieben hat, und es keinen Cache-Kohärenz-Mechanismus gibt?
  2. Welche Kombination der vier Zustände des Cache-Kohärenz-Protokolls MESI ist richtig?
  3. Was bedeutet es, wenn sich eine Cache-Zeile beim MESI-Protokoll im Zustand Modified (M) befindet?
  4. Was geschieht beim MESI-Protokoll, wenn der Kern in eine Zeile im Zustand Exclusive (E) schreibt?
  5. Was geschieht bei einem Kohärenzprotokoll vom Invalidierungstyp, wenn ein Kern in eine Zeile im Zustand Shared (S) schreibt?

Vergleiche zu diesem Thema