Ποια είναι η διαφορά μεταξύ ενός σερβο και ενός mutex;

Ένα mutex (Mutual Exclusion) είναι ένας μηχανισμός συγχρονισμού που εγγυάται ότι σε μια δεδομένη στιγμή μόνο ένα νήμα έχει πρόσβαση στην κρίσιμη ενότητα του κώδικα ή σε μια πόρο. Λειτουργεί με βάση την αρχή της ιδιοκτησίας: το νήμα που μπλοκάρει το mutex πρέπει να το ξεμπλοκάρει.

Ο σημαφόρος (Semaphore) είναι ένας πιο γενικός μηχανισμός συγχρονισμού που ελέγχει την πρόσβαση σε έναν περιορισμένο πόρο που περιορίζεται από έναν ορισμένο αριθμό "άδειων". Τα νήματα μπορούν να αποκτήσουν άδεια αν είναι διαθέσιμη και να συνεχίσουν την εκτέλεση. Όταν ο πόρος δεν χρειάζεται πλέον, η άδεια επιστρέφεται. Ο σημαφόρος δεν έχει έννοια ιδιοκτησίας· οποιοδήποτε νήμα μπορεί να αυξήσει τον μετρητή του σημαφόρου.

Βασικές διαφορές:

• Σκοπός: Ο mutex χρησιμοποιείται για αποκλειστική πρόσβαση (ένα νήμα), ο σημαφόρος για τη διαχείριση πρόσβασης σε μια περιορισμένη ομάδα πόρων (πολλά νήματα μέχρι το όριο).
• Ιδιοκτησία: Ο mutex έχει ιδιοκτήτη (το νήμα που τον μπλόκαρε). Ο σημαφόρος δεν έχει ιδιοκτήτη.
• Μετρητής: Ο mutex μπορεί να θεωρηθεί ως σημαφόρος με μετρητή ίσο με 1. Ο σημαφόρος μπορεί να έχει μετρητή μεγαλύτερο από 1.
• Ενέργειες: Mutex: WaitOne/Pulse/ReleaseMutex. Σημαφόρος: WaitOne/Release.

Ακολουθεί ένα απλό παράδειγμα χρήσης σημαφόρου σε C#:

// Δημιουργούμε σημαφόρο με αρχική τιμή 2 και μέγιστη 2.
// Επιτρέπει σε 2 νήματα να έχουν πρόσβαση στην πόρο ταυτόχρονα.
SemaphoreSlim semaphore = new SemaphoreSlim(2, 2);

// Το νήμα προσπαθεί να αποκτήσει πρόσβαση στην πόρο
semaphore.WaitOne();
// ... εργασία με την πόρο ...
semaphore.Release(); // Απελευθέρωση άδειας

Παράδειγμα mutex:

// Δημιουργούμε mutex
Mutex mutex = new Mutex();

// Το νήμα προσπαθεί να αποκτήσει αποκλειστική πρόσβαση
mutex.WaitOne();
// ... εργασία με την κρίσιμη ενότητα ...
mutex.ReleaseMutex(); // Απελευθέρωση mutex (μόνο ο ιδιοκτήτης μπορεί)