Τι είναι ένα race condition; Δώσε ένα παράδειγμα και το σύμπτωμά του.

Question

IT Interview Practice · Accepted Answer

**Ένα race condition είναι ένα bug όπου το αποτέλεσμα εξαρτάται από τον απρόβλεπτο χρονισμό ταυτόχρονων λειτουργιών που προσπελαύνουν κοινόχρηστη κατάσταση.** Η κλασική περίπτωση είναι ένα read-modify-write που δεν είναι ατομικό.

## Πώς λειτουργεί

Το `counter += 1` μοιάζει ατομικό αλλά στην πραγματικότητα είναι τρία βήματα: read, add, write. Δύο threads μπορούν να κάνουν interleave ώστε μια ενημέρωση να χαθεί.

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

## Παράδειγμα

```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
```

Η λύση είναι να κάνεις το τμήμα ατομικό με ένα lock:

```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
```

## Γιατί έχει σημασία

Το **σύμπτωμα** είναι αυτό που κάνει τα races επικίνδυνα: διακοπτόμενα, μη αναπαραγώγιμα λανθασμένα αποτελέσματα που περνούν στα tests και αποτυγχάνουν υπό φορτίο. Κρύβονται μέχρι να αλλάξει ο χρονισμός — ένα γρηγορότερο μηχάνημα, περισσότερη κίνηση, ένας νέος core. Η αναγνώριση της κοινόχρηστης μεταβλητής κατάστασης ως βασικής αιτίας είναι το πρώτο βήμα· οι interviewers θέλουν να σε δουν να εντοπίζεις το απροστάτευτο read-modify-write.

Πώς λειτουργεί

Παράδειγμα

Γιατί έχει σημασία

Σχετικές ερωτήσεις