Τι είναι το mutex;

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

Οι βασικές λειτουργίες με το mutex:

• lock (κλείδωμα): Προσπάθεια απόκτησης της ιδιοκτησίας του mutex. Αν το mutex είναι ελεύθερο, το νήμα το αποκτά και συνεχίζει την εκτέλεση. Αν ήδη κατέχεται από άλλο νήμα, το τρέχον νήμα μπλοκάρεται μέχρι να απελευθερωθεί το mutex.
• unlock (ξεκλείδωμα): Απελευθέρωση της ιδιοκτησίας του mutex. Αυτό επιτρέπει σε ένα άλλο αναμένον νήμα να το αποκτήσει. Είναι σημαντικό το mutex να απελευθερώνεται από το ίδιο νήμα που το κατέχει.

Για παράδειγμα, σε Objective-C ή Swift, μπορεί να χρησιμοποιηθεί το NSLock για εργασία με mutexes.

Παράδειγμα χρήσης του NSLock σε Objective-C:

// Objective-C
#import <Foundation/Foundation.h>

@interface MyClass : NSObject {
    NSLock *_lock;
    int _sharedResource;
}
@end

@implementation MyClass

- (instancetype)init {
    self = [super init];
    if (self) {
        _lock = [[NSLock alloc] init];
        _sharedResource = 0;
    }
    return self;
}

- (void)updateSharedResource {
    [_lock lock]; // Κλείδωμα mutex
    @try {
        // Εργασία με _sharedResource - κρίσιμη ενότητα
        _sharedResource++;
        NSLog(@"Κοινόχρηστος πόρος ενημερώθηκε σε %d από το νήμα %@", _sharedResource, [NSThread currentThread]);
    }
    @finally {
        [_lock unlock]; // Ξεκλείδωμα mutex
    }
}

@end

Παράδειγμα χρήσης του NSLock σε Swift:

// Swift
import Foundation

class MyClass {
    private let lock = NSLock()
    private var sharedResource = 0

    func updateSharedResource() {
        lock.lock() // Κλείδωμα mutex
        // Εργασία με sharedResource - κρίσιμη ενότητα
        sharedResource += 1
        print("Κοινόχρηστος πόρος ενημερώθηκε σε \(sharedResource) από το νήμα \(Thread.current)")
        lock.unlock() // Ξεκλείδωμα mutex
    }
}

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