Prečo dochádza k závodom vlákien a ako s tým bojovať…

Race podmienky (race conditions) vznikajú, keď niekoľko vlákien súčasne pristupuje k spoločným meniteľným údajom, a konečný výsledok závisí od poradia ich vykonávania. Problém je, že plánovač vlákien môže prepnúť vlákno kedykoľvek, a operácia nad údajmi, ktorá sa javí ako atómová v kóde, môže byť prerušená a vykonaná čiastočne inými vláknami.

Boju s race podmienkami sa znižuje na zabezpečenie správneho prístupu k spoločným zdrojom. Hlavné metódy:

Synchronizácia: Obmedzenie súčasného prístupu ku kritickým sekciám kódu, kde sa používajú spoločné údaje. Populárne mechanizmy:

synchronized kľúčové slovo: Zabezpečuje zámok na úrovni objektu alebo triedy.

// Zámok na úrovni objektu
synchronized (this) {
    // Kritická sekcia
    sharedData++;
}

// Zámok na úrovni triedy
synchronized (MyClass.class) {
    // Kritická sekcia
    sharedStaticData++;
}

Explicitné zámky (Lock rozhranie, ReentrantLock): Poskytujú väčšiu flexibilitu, napríklad možnosť pokúsiť sa získať zámok alebo ho získať s timeoutom.

Lock lock = new ReentrantLock();
// ...
lock.lock(); // Získať zámok
try {
    // Kritická sekcia
    sharedData++;
} finally {
    lock.unlock(); // Uvoľniť zámok (nevyhnutné v finally)
}

Atómové operácie: Použitie tried z balíka java.util.concurrent.atomic, ktoré poskytujú atómové operácie (napríklad inkrement, porovnanie a výmena) bez explicitného zámku na úrovni vlákien.
```
import java.util.concurrent.atomic.AtomicInteger;

AtomicInteger atomicCounter = new AtomicInteger(0);
// ...
atomicCounter.incrementAndGet(); // Atómové zvýšenie
```
Vlákno-bezpečné kolekcie: Použitie kolekcií z balíka java.util.concurrent (napríklad ConcurrentHashMap, CopyOnWriteArrayList), ktoré sú navrhnuté na prácu vo viacvláknovom prostredí.
Nemenné údaje (Immutable objects): Ak údaje po vytvorení nemôžu byť zmenené, viacnásobný prístup k nim nezpôsobí race podmienky.
Thread-Local Storage: Každé vlákno má svoju kópiu premennej, čím sa odstraňuje problém spoločného prístupu.

Výber metódy závisí od konkrétnej situácie a požadovanej úrovne synchronizácie. Nadmerná synchronizácia môže viesť k významným nákladom a dokonca deadlockom.

Prečo dochádza k závodom vlákien a ako s tým bojovať?