> For the complete documentation index, see [llms.txt](https://prof.aheil.de/os/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://prof.aheil.de/os/threads/threads-hausaufgaben/exkurs-spurious-wakeups.md).

# Exkurs: Spurious Wakeups

**Spurious Wakeups** (auf deutsch: *scheinbare oder unbegründete Aktivbierung*) kommen bei **Threads** und **Condition Variables** vor.

**Idee:**\
Ein Thread kann aus dem Warten aufwachen, **ohne dass jemand ihn absichtlich geweckt hat** und **ohne dass die Bedingung erfüllt ist**.

#### Einfaches Beispiel

Ein Thread wartet:

```c
wait(condition);
```

Er wacht auf - **aber die Bedingung ist noch falsch**.

#### Warum passiert das?

* Betriebssystem-Optimierungen
* Mehrere Threads werden gleichzeitig geweckt
* Implementierungsdetails der Synchronisation

> **Wichtig:** **Das ist kein Fehler, sondern erlaubt!**

#### Konsequenz (Merksatz)

> **Nach dem Aufwachen immer prüfen, ob die Bedingung wirklich gilt.**

Darum schreibt man:

```c
while (!logicalCondition) { // logische Bedingung
  wait(wakeUpCondition);    // Synchronisationsmechanismus, zusammen mit einem Mutex
}
```

#### Hinweis: 

#### Da dies verwirrend sein kann: 

* **`logicalCondition`** → *logische Bedingung im Programm* (z. B. `buffer_not_empty`)
* **`wakeUpCondition`** → *Conditional Variable*, nur ein **Weckmechanismus,** funktioniert nur zusammen mit einem Mutex

**Daher:** Ein *spurious wakeup* ist ein unerwartetes Aufwachen eines Threads - deshalb **nie `if`, immer `while` beim Warten verwenden**.