Mikä on lukkiuma (deadlock)? Mitkä ovat neljä ehtoa, ja miten estät sen?

Question

IT Interview Practice · Accepted Answer

**Lukkiuma on tila, jossa kaksi tai useampi säie kukin odottaa ikuisesti resurssia, jota muut pitävät, joten yksikään ei pääse etenemään.** Se vaatii neljän ehdon täyttymistä samanaikaisesti (Coffmanin ehdot).

## Neljä ehtoa

1. **Keskinäinen poissulkeminen** — resurssia pidetään yksinoikeudella.
2. **Pidä ja odota (hold and wait)** — säie pitää yhtä resurssia samalla kun odottaa toista.
3. **Ei keskeytystä (no preemption)** — resursseja ei voi väkisin ottaa pois.
4. **Kehäodotus (circular wait)** — sykli säikeitä, joista kukin odottaa seuraavaa.

Riko mikä tahansa yksi, ja lukkiuma on mahdoton.

```text
Säie 1 pitää A:ta, haluaa B:tä ─┐
                                ├─ kehäodotus → lukkiuma
Säie 2 pitää B:tä, haluaa A:ta ─┘
```

## Esimerkki ja korjaus

```python
# LUKKIUMA: säikeet lukitsevat vastakkaisissa järjestyksissä
def t1():
    with lockA:
        with lockB: ...     # T1: A sitten B
def t2():
    with lockB:
        with lockA: ...     # T2: B sitten A  ← sykli!

# KORJAUS: pakota globaali lukkojärjestys (aina A ennen B:tä)
def safe():
    with lockA:
        with lockB: ...     # kaikki hankkivat samassa järjestyksessä
```

## Ehkäisy & havaitseminen

- **Lukkojärjestys**: hanki lukot aina johdonmukaisessa globaalissa järjestyksessä — rikkoo kehäodotuksen.
- **Aikakatkaisut / try-lock**: `tryAcquire(timeout)`, peräänny ja yritä uudelleen — rikkoo pidä-ja-odota-ehdon.
- **Yksi karkea lukko** tai lukkovapaat rakenteet välttävät ongelman kokonaan.
- **Havaitseminen**: vahtikoira rakentaa wait-for-graafin ja etsii syklejä, sitten tappaa/käynnistää uudelleen uhrin.

## Miksi se on tärkeää

Lukkiumat jäädyttävät järjestelmiä hiljaisesti — ei kaatumista, vain jumiutuneita pyyntöjä. Neljän ehdon nimeäminen osoittaa, että osaat päätellä *miksi* se tapahtuu ja valita kohdennetun ehkäisyn (yleensä johdonmukaisen lukkojärjestyksen), sen sijaan että ripottelisit lukkoja ja toivoisit.

Neljä ehtoa

Esimerkki ja korjaus

Ehkäisy & havaitseminen

Miksi se on tärkeää

Aiheeseen liittyvät kysymykset