Çfarë është një deadlock? Cilat janë katër kushtet dhe si e parandalon?

Question

IT Interview Practice · Accepted Answer

**Një deadlock është një gjendje ku dy ose më shumë thread-e presin përgjithmonë secili për një burim që të tjerët e mbajnë, kështu që asnjëri s'mund të vazhdojë.** Kërkon që katër kushte të mbahen njëkohësisht (kushtet Coffman).

## Katër kushtet

1. **Mutual exclusion** — një burim mbahet ekskluzivisht.
2. **Hold and wait** — një thread mban një burim ndërsa pret një tjetër.
3. **No preemption** — burimet s'mund të merren me forcë.
4. **Circular wait** — një cikël thread-esh secili duke pritur te tjetri.

Thyej cilindo dhe deadlock bëhet i pamundur.

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

## Shembull dhe rregullim

```python
# DEADLOCK: thread-et kyçin në rende të kundërta
def t1():
    with lockA:
        with lockB: ...     # T1: A pastaj B
def t2():
    with lockB:
        with lockA: ...     # T2: B pastaj A  ← cikël!

# RREGULLIM: vendos një rend global kyçjeje (gjithmonë A para B)
def safe():
    with lockA:
        with lockB: ...     # secili merr në të njëjtin rend
```

## Parandalimi & zbulimi

- **Rendi i kyçjes**: merr gjithmonë lock-et në një rend global konsistent — thyen circular wait.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, tërhiqu dhe ribëj — thyen hold-and-wait.
- **Një lock i trashë i vetëm** ose struktura lock-free e shmangin problemin krejtësisht.
- **Zbulimi**: një watchdog ndërton një wait-for graph dhe kërkon cikle, pastaj vret/rinis një viktimë.

## Pse ka rëndësi

Deadlock-et i ngrijnë sistemet në heshtje — pa crash, thjesht kërkesa të varura. Emërtimi i katër kushteve tregon që mund të arsyetosh rreth *pse* ndodh dhe të zgjedhësh një parandalim të synuar (zakonisht rend konsistent kyçjeje), në vend që të spërkatësh lock-e dhe të shpresosh.

Katër kushtet

Shembull dhe rregullim

Parandalimi & zbulimi

Pse ka rëndësi

Pyetje të ngjashme