Kas yra lenktynių sąlyga (race condition)? Pateikite pavyzdį ir jos simptomą.

Question

IT Interview Practice · Accepted Answer

**Lenktynių sąlyga yra klaida, kai rezultatas priklauso nuo nenuspėjamo konkurentinių operacijų, prieinančių prie bendros būsenos, laiko.** Klasikinis atvejis yra skaityti-modifikuoti-rašyti operacija, kuri nėra atominė.

## Kaip tai veikia

`counter += 1` atrodo atominis, bet iš tikrųjų tai trys žingsniai: skaityti, pridėti, rašyti. Dvi gijos gali persipinti taip, kad atnaujinimas prarandamas.

```text
counter = 0
Thread A: read 0 ─────────── write 1
Thread B:      read 0 ─ write 1
Result: 1  (should be 2 — one increment lost)
```

## Pavyzdys

```python
counter = 0
def inc():
    global counter
    for _ in range(100_000):
        counter += 1          # NOT atomic: read, +1, write

# Run two threads, expect 200_000...
# ...but you often get less — a lost update
```

Sprendimas — padaryti sekciją atominę su užraktu:

```python
lock = threading.Lock()
def inc():
    global counter
    for _ in range(100_000):
        with lock:            # only one thread in here at a time
            counter += 1
```

## Kodėl tai svarbu

**Simptomas** yra tai, kas daro lenktynes pavojingas: pertrūkstantys, neatkuriami klaidingi rezultatai, kurie praeina testus ir sugenda esant apkrovai. Jie slepiasi, kol pasikeičia laikas — greitesnė mašina, daugiau srauto, naujas branduolys. Bendros keičiamos būsenos atpažinimas kaip pagrindinės priežasties yra pirmas žingsnis; interviuotojai nori matyti, kad pastebite neapsaugotą skaityti-modifikuoti-rašyti operaciją.

Kaip tai veikia

Pavyzdys

Kodėl tai svarbu

Susiję klausimai