X'inhu deadlock? X'inhuma l-erba' kondizzjonijiet, u kif tipprevjenih?

Question

IT Interview Practice · Accepted Answer

**Deadlock huwa stat fejn żewġ threads jew aktar kull wieħed jistenna għal dejjem għal riżorsa li jżommu l-oħrajn, għalhekk ħadd ma jista' jipproċedi.** Jeħtieġ li erba' kondizzjonijiet iżommu simultanjament (kondizzjonijiet ta' Coffman).

## L-erba' kondizzjonijiet

1. **Mutual exclusion** — riżorsa tinżamm b'mod esklussiv.
2. **Hold and wait** — thread iżomm riżorsa waħda waqt li jistenna oħra.
3. **No preemption** — ir-riżorsi ma jistgħux jittieħdu bil-forza.
4. **Circular wait** — ċiklu ta' threads fejn kull wieħed jistenna lil ta' warajh.

Ikser waħda minnhom u d-deadlock ikun impossibbli.

```text
Thread 1 holds A, wants B ─┐
                           ├─ circular wait → deadlock
Thread 2 holds B, wants A ─┘
```

## Eżempju u soluzzjoni

```python
# DEADLOCK: threads lock in opposite orders
def t1():
    with lockA:
        with lockB: ...     # T1: A then B
def t2():
    with lockB:
        with lockA: ...     # T2: B then A  ← cycle!

# FIX: impose a global lock ordering (always A before B)
def safe():
    with lockA:
        with lockB: ...     # everyone acquires in the same order
```

## Prevenzjoni u detezzjoni

- **Lock ordering**: dejjem akkwista l-locks f'ordni globali konsistenti — ikisser iċ-circular wait.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, irtira u erġa' pprova — ikisser il-hold-and-wait.
- **Lock wieħed oħxon** jew strutturi lock-free jevitaw il-problema għalkollox.
- **Detezzjoni**: watchdog jibni wait-for graph u jfittex ċikli, imbagħad joqtol/jerġa' jibda vittma.

## Għaliex huwa importanti

Id-deadlocks jiffriżaw is-sistemi b'mod siekt — l-ebda crash, biss requests imwaħħlin. Li ssemmi l-erba' kondizzjonijiet juri li tista' tirraġuna dwar *għaliex* jiġri u tagħżel prevenzjoni mmirata (ġeneralment ordni konsistenti tal-locks), minflok tferrex locks u tittama.

L-erba' kondizzjonijiet

Eżempju u soluzzjoni

Prevenzjoni u detezzjoni

Għaliex huwa importanti

Mistoqsijiet relatati