Γιατί συμβαίνουν αγώνες νημάτων και ποιοι τρόποι…

Οι αγώνες ροών (race conditions) συμβαίνουν όταν πολλαπλά νήματα προσπελαύνουν ταυτόχρονα κοινά μεταβαλλόμενα δεδομένα, και το αποτέλεσμα εξαρτάται από τη σειρά εκτέλεσής τους. Αυτό συμβαίνει επειδή το λειτουργικό σύστημα μπορεί να εναλλάσσει τα νήματα οποιαδήποτε στιγμή, διακόπτοντάς τα.

Τρόποι αντιμετώπισης:

Συγχρονισμός: Χρήση primitive συγχρονισμού για διασφάλιση αποκλειστικής πρόσβασης σε κοινά πόρους.

synchronized λέξη-κλειδί: Εφαρμόζεται σε μεθόδους ή μπλοκ κώδικα. Κλειδώνει την πρόσβαση σε αντικείμενο ή κλάση για άλλα νήματα, μέχρι το τρέχον νήμα να ολοκληρώσει την εκτέλεση του συγχρονισμένου μπλοκ/μεθόδου.

// Συγχρονισμός μεθόδου
public synchronized void updateData(int newValue) {
    // ... ενημέρωση κοινών δεδομένων
}

// Συγχρονισμός μπλοκ κώδικα
public void processData() {
    synchronized (this) { // Ή οποιοδήποτε άλλο αντικείμενο-μοναδικός έλεγχος
        // ... πρόσβαση σε κοινά δεδομένα
    }
}

Κλειδώματα (Lock): Παρέχουν πιο ευέλικτο έλεγχο συγχρονισμού σε σύγκριση με το synchronized.

import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

private final Lock dataLock = new ReentrantLock();

public void safeUpdateData(int newValue) {
    dataLock.lock(); // Λήψη κλειδώματος
    try {
        // ... ενημέρωση κοινών δεδομένων
    } finally {
        dataLock.unlock(); // Απελευθέρωση κλειδώματος
    }
}

Ατομικές μεταβλητές (Atomic...): Παρέχουν ασφαλείς για νήματα λειτουργίες σε primitive τύπους χωρίς ρητό κλείδωμα. Χρησιμοποιούνται για απλές λειτουργίες (αύξηση, σύγκριση και ανταλλαγή).
```
import java.util.concurrent.atomic.AtomicInteger;

private final AtomicInteger counter = new AtomicInteger(0);

public void incrementCounter() {
    counter.incrementAndGet(); // Ατομική αύξηση
}
```
Συλλογές ασφαλείς για νήματα: Χρήση ειδικών συλλογών από το πακέτο java.util.concurrent (π.χ., ConcurrentHashMap, CopyOnWriteArrayList), σχεδιασμένες για πολυνηματική πρόσβαση.
```
import java.util.concurrent.ConcurrentHashMap;
import java.util.Map;

private final Map<String, Integer> safeMap = new ConcurrentHashMap<>();
```
Αμετάβλητα (Immutable) αντικείμενα: Αν τα δεδομένα δεν αλλάζουν μετά τη δημιουργία, μπορούν να προσεγγιστούν με ασφάλεια από πολλά νήματα χωρίς συγχρονισμό.
Τοπικές μεταβλητές νήματος (ThreadLocal): Κάθε νήμα έχει το δικό του αντίγραφο της μεταβλητής, αποφεύγοντας τον ανταγωνισμό πρόσβασης.
```
private final ThreadLocal<Integer> threadId = new ThreadLocal<>();

public void setThreadId() {
    threadId.set(Thread.currentThread().getId());
}

public int getThreadId() {
    return threadId.get();
}
```
Σωστός σχεδιασμός αρχιτεκτονικής: Μείωση κοινών μεταβλητών και χρήση ασύγχρονων προσεγγίσεων ή μετάδοσης μηνυμάτων μεταξύ νημάτων μπορεί να μειώσει την πιθανότητα εμφάνισης αγώνων.

Γιατί συμβαίνουν αγώνες νημάτων και ποιοι τρόποι υπάρχουν για την καταπολέμησή τους;