Τι είναι τα race conditions, και πώς τα αποτρέπουν τα mutexes και τα semaphores;

Question

IT Interview Practice · Accepted Answer

Όταν πολλά νήματα μοιράζονται δεδομένα, οι λειτουργίες τους μπορούν να διαπλέκονται (interleave) στη μέση μιας ενημέρωσης πολλών βημάτων, παράγοντας ένα race condition — ένα bug όπου το αποτέλεσμα εξαρτάται από απρόβλεπτο χρονισμό. Ο συγχρονισμός (synchronization) είναι το σύνολο των εργαλείων που επιβάλλουν ασφαλή σειρά.

Το πρόβλημα: ένα race condition

Το φαίνεται ατομικό (atomic) αλλά στην πραγματικότητα είναι read-modify-write:

## Το πρόβλημα: ένα race condition

Το `count++` φαίνεται ατομικό (atomic) αλλά στην πραγματικότητα είναι read-modify-write:

```c
// two threads, shared int count = 0, each does count++ once
// thread A: read count (0) ─┐           interleaving loses an update:
// thread B: read count (0) ─┤  both read 0, both write 1 → count == 1, not 2
// thread A: write 1         │
// thread B: write 1         ┘
```

Το παράθυρο μεταξύ ανάγνωσης και εγγραφής είναι ένα **critical section** — κώδικας που αγγίζει κοινή κατάσταση και δεν πρέπει να τρέχει ταυτόχρονα.

## Τα εργαλεία

- **Mutex (lock)** — αμοιβαίος αποκλεισμός (mutual exclusion): μόνο ένα νήμα το κρατά κάθε φορά· τα άλλα μπλοκάρουν μέχρι να απελευθερωθεί. Τυλίξτε το critical section:

```c
pthread_mutex_lock(&m);
count++;                 // critical section — exclusive
pthread_mutex_unlock(&m);
```

- **Semaphore** — ένας μετρητής που επιτρέπει μέχρι *N* ταυτόχρονους κατόχους. Ένα binary semaphore (N=1) λειτουργεί σαν lock· ένα counting semaphore περιορίζει, ας πούμε, ένα connection pool σε N χρήστες. Χρησιμοποιείται επίσης για **signaling** μεταξύ νημάτων (producer/consumer).
- **Condition variable** — επιτρέπει σε ένα νήμα να κοιμηθεί μέχρι ένα κατηγόρημα να γίνει αληθές (π.χ. "η ουρά δεν είναι άδεια"), ξυπνώντας χωρίς busy-waiting.
- **Atomic operations** — εντολές υλικού όπως το compare-and-swap (CAS) που κάνουν read-modify-write αδιαίρετα, επιτρέποντας lock-free μετρητές.

## Παγίδες

Τα locks λύνουν τα races αλλά εισάγουν νέους κινδύνους: **deadlock** (νήματα που περιμένουν τα locks το ένα του άλλου), **priority inversion**, και **contention** (τα νήματα σειριοποιούνται, σκοτώνοντας τον παραλληλισμό). Ο εμπειρικός κανόνας: κρατήστε τα critical sections **σύντομα**, και αποκτάτε πάντα πολλαπλά locks σε μια **συνεπή καθολική σειρά**.

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

Τα bugs ταυτοχρονισμού (concurrency) είναι από τα δυσκολότερα να βρεθούν — είναι μη ντετερμινιστικά και συχνά εξαφανίζονται κάτω από έναν debugger. Οι συνεντευξιαστές θέλουν να δουν ότι μπορείτε να *εντοπίσετε* ένα critical section, να επιλέξετε το σωστό primitive (mutex vs semaphore vs atomic), και να συλλογιστείτε τους τρόπους αποτυχίας (deadlock, contention). Αυτό ισχύει άμεσα για κάθε πολυνηματικό server, κοινή cache, ή μετρητή.

Το πρόβλημα: ένα race condition

Τα εργαλεία

Παγίδες

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

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