Τι κάνει η συγχρονισμός στο πλαίσιο του πολυνηματικού…

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

Τα βασικά μηχανισμοί συγχρονισμού:

Mutex (αμοιβαία εξαιρεση): Μόνο ένα νήμα μπορεί να κατέχει το mutex και να έχει πρόσβαση στον προστατευόμενο πόρο.
Semaphore (σημαφόρος): Περιορίζει τον αριθμό των νημάτων που μπορούν ταυτόχρονα να έχουν πρόσβαση σε έναν πόρο. Λειτουργεί με έναν μετρητή.
Lock (κλείδωμα): Γενικός όρος, συχνά χρησιμοποιείται για να αναφέρεται σε mutex ή άλλα μηχανισμούς που μπλοκάρουν πλήρως την πρόσβαση.
Dispatch Queue (ουρά διανομής): Στο Grand Central Dispatch (GCD), οι ουρές μπορούν να είναι διαδοχικές (serial) ή παράλληλες (concurrent), διασφαλίζοντας συγχρονισμό μέσω ελέγχου της σειράς και του αριθμού των εργασιών που εκτελούνται ταυτόχρονα. Οι διαδοχικές ουρές εγγυώνται την εκτέλεση των εργασιών μία κάθε φορά, παρέχοντας εγγενή συγχρονισμό για δεδομένα που προσπελαύνονται μόνο από τις εργασίες αυτής της ουράς.

Αρχή λειτουργίας: Ένα νήμα που επιθυμεί να αποκτήσει πρόσβαση σε έναν κοινόχρηστο πόρο, προσπαθεί πρώτα να αποκτήσει ένα κλείδωμα (lock). Αν ο πόρος είναι ελεύθερος, το νήμα λαμβάνει το κλείδωμα και εργάζεται με τον πόρο. Μετά το τέλος, απελευθερώνει το κλείδωμα (release lock). Αν ο πόρος είναι κατειλημμένος, άλλα νήματα μπλοκάρονται (περιμένουν) μέχρι να ελευθερωθεί ο πόρος.

Παράδειγμα χρήσης mutex για την προστασία μιας κρίσιμης ενότητας:

// Παράδειγμα σε Objective-C με @synchronized
- (void)updateSharedResource {
    @synchronized (self) { // Κλείδωμα στο αντικείμενο self
        // Εδώ εκτελείται η κρίσιμη ενότητα
        // Η πρόσβαση στο sharedResource είναι ασφαλής
        self.sharedResource++;
    } // Το κλείδωμα απελευθερώνεται αυτόματα κατά την έξοδο από το μπλοκ
}

// Παράδειγμα σε Swift με NSLock
let lock = NSLock()
var sharedCounter = 0

func incrementCounter() {
    lock.lock() // Προσπάθεια λήψης κλειδώματος
    // Κρίσιμη ενότητα
    sharedCounter += 1
    lock.unlock() // Απελευθέρωση κλειδώματος
}

Ο συγχρονισμός βοηθά στην αποφυγή προβλημάτων όπως:

Καταστροφή δεδομένων.
Deadlock (αμοιβαίος αποκλεισμός) νημάτων.
Livelock (ενεργοί αποκλεισμοί) νημάτων.

Η επιλογή του κατάλληλου μηχανισμού συγχρονισμού εξαρτάται από τη φύση της εργασίας και τον τύπο του πόρου.

Τι κάνει η συγχρονισμός στο πλαίσιο του πολυνηματικού προγραμματισμού;