Τι είναι η κατάσταση αγώνα;

Η κατάσταση αγώνα είναι ένα πρόβλημα που προκύπτει σε μια εφαρμογή πολλαπλών νημάτων ή πολλαπλών διαδικασιών, όταν η ορθότητα του αποτελέσματος εξαρτάται από τη σειρά εκτέλεσης των νημάτων/διαδικασιών.

Τις περισσότερες φορές συμβαίνει όταν πολλά νήματα έχουν πρόσβαση ταυτόχρονα σε κοινόχρηστους πόρους (μεταβλητές, αρχεία, βάσεις δεδομένων) χωρίς την κατάλληλη συγχρονισμό.

Αυτό οδηγεί σε απρόβλεπτη συμπεριφορά, σφάλματα και λανθασμένα δεδομένα.

Παράδειγμα: Δύο νήματα προσπαθούν ταυτόχρονα να αυξήσουν μια κοινή μεταβλητή.

var sharedCounter = 0

func incrementCounter() {
    let currentValue = sharedCounter // Το νήμα 1 διαβάζει 0
    // Κάποια καθυστέρηση
    let newValue = currentValue + 1 // Το νήμα 1 υπολογίζει 1
    sharedCounter = newValue // Το νήμα 1 γράφει 1
}

// Αν το νήμα 2 διαβάσει το currentValue πριν το νήμα 1 γράψει το newValue:
func anotherIncrementCounter() {
    let currentValue = sharedCounter // Το νήμα 2 διαβάζει 0
    let newValue = currentValue + 1 // Το νήμα 2 υπολογίζει 1
    sharedCounter = newValue // Το νήμα 2 γράφει 1
}

Σε αυτό το παράδειγμα, αν και τα δύο νήματα εκτελούνται ταυτόχρονα χωρίς συγχρονισμό, τελικά το sharedCounter μπορεί να γίνει 1 αντί για το αναμενόμενο 2.

Για την αποτροπή καταστάσεων αγώνα, χρησιμοποιούνται μηχανισμοί συγχρονισμού:

• Mutex (Αμοιβαία Αποκλεισμός): Κλειδώνει την πρόσβαση σε έναν πόρο, επιτρέποντας μόνο σε ένα νήμα να βρίσκεται στην κρίσιμη ενότητα.
• Σεμάφορες: Περιορίζουν τον αριθμό των νημάτων που μπορούν ταυτόχρονα να έχουν πρόσβαση σε έναν πόρο.
• Αποστολές ουρών (Dispatch Queues στο GCD): Η εκτέλεση των εργασιών γίνεται διαδοχικά (για σειριακές ουρές) ή με ένα ορισμένο επίπεδο παραλληλισμού (για παράλληλες ουρές), με δυνατότητα συγχρονισμού πρόσβασης.
• Κλειδώματα (Locks): Διάφοροι τύποι κλειδωμάτων (NSLock, NSRecursiveLock κ.ά.).
• Ατομικές λειτουργίες (Atomic Operations): Διασφαλίζουν ότι η λειτουργία (ανάγνωση, εγγραφή, αύξηση) εκτελείται ατομικά, δηλαδή δεν μπορεί να διακοπεί από άλλο νήμα.

Στην ανάπτυξη iOS, συχνά χρησιμοποιούνται το Grand Central Dispatch (GCD) και οι ουρές λειτουργιών για τη διαχείριση νημάτων και την αποτροπή καταστάσεων αγώνα. Οι σειριακές ουρές dispatch διασφαλίζουν αυτόματη συγχρονισμό των εργασιών που εκτελούνται σε αυτήν την ουρά.