Co jsou race conditions a jak jim mutexy a semafory zabraňují?

Question

IT Interview Practice · Accepted Answer

Když více vláken sdílí data, jejich operace se mohou prokládat (interleave) uprostřed vícekrokové aktualizace, což vytváří race condition — bug, kde výsledek závisí na nepředvídatelném časování. Synchronizace je sada nástrojů, které vynucují bezpečné pořadí.

Problém: race condition

count++ vypadá atomicky, ale ve skutečnosti je to read-modify-write:

## Problém: race condition

`count++` vypadá atomicky, ale ve skutečnosti je to read-modify-write:

```c
// two threads, shared int count = 0, each does count++ once
// thread A: read count (0) ─┐           interleaving loses an update:
// thread B: read count (0) ─┤  both read 0, both write 1 → count == 1, not 2
// thread A: write 1         │
// thread B: write 1         ┘
```

Okno mezi čtením a zápisem je **critical section** (kritická sekce) — kód, který sahá na sdílený stav a nesmí běžet souběžně.

## Nástroje

- **Mutex (lock)** — vzájemné vyloučení: drží ho vždy jen jedno vlákno; ostatní blokují, dokud se neuvolní. Obalte kritickou sekci:

```c
pthread_mutex_lock(&m);
count++;                 // kritická sekce — výhradní přístup
pthread_mutex_unlock(&m);
```

- **Semaphore** (semafor) — čítač umožňující až *N* souběžných držitelů. Binární semafor (N=1) funguje jako lock; počítací semafor omezuje např. connection pool na N uživatelů. Používá se také k **signalizaci** mezi vlákny (producer/consumer).
- **Condition variable** — nechá vlákno spát, dokud se predikát nestane pravdivým (např. „fronta není prázdná“), a probudí ho bez busy-waitingu.
- **Atomické operace** — hardwarové instrukce jako compare-and-swap (CAS), které provádějí read-modify-write nedělitelně, což umožňuje lock-free čítače.

## Úskalí

Zámky řeší races, ale přinášejí nová rizika: **deadlock** (vlákna čekají na zámky druhých), **priority inversion** (inverze priorit) a **contention** (vlákna se serializují a ničí paralelismus). Pravidlo palce: udržujte kritické sekce **krátké** a více zámků vždy získávejte v **konzistentním globálním pořadí**.

## Proč je to důležité

Chyby souběžnosti patří k nejhůře dohledatelným — jsou nedeterministické a pod debuggerem často zmizí. Tazatelé chtějí vidět, že dokážete *rozpoznat* kritickou sekci, zvolit správné primitivum (mutex vs semafor vs atomic) a uvažovat o režimech selhání (deadlock, contention). Platí to přímo pro jakýkoli vícevláknový server, sdílenou cache nebo čítač.

Problém: race condition

Nástroje

Úskalí

Proč je to důležité

Související otázky