Ποια είναι η διαφορά μεταξύ του μηχανισμού αμοιβαίας εξαιρέσεως Lock και Semaphore στη διαχείριση πρόσβασης σε πόρους;

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

• Lock (Mutex)

  • Σχεδιασμένο για την εξασφάλιση αποκλειστικής πρόσβασης σε πόρο.
  • Μόνο ένα νήμα μπορεί να κατέχει το Lock σε μια δεδομένη στιγμή.
  • Αν το Lock είναι κατειλημμένο, άλλα νήματα περιμένουν να απελευθερωθεί.
  • Χρησιμοποιείται για την προστασία κρίσιμων τμημάτων.

• Semaphore

  • Έχει έναν μετρητή που καθορίζει πόσα νήματα μπορούν ταυτόχρονα να έχουν πρόσβαση στον πόρο.
  • Μπορεί να επιτρέπει την πρόσβαση σε πολλά νήματα ταυτόχρονα (π.χ., ένας σημαφόρος με μετρητή 3 επιτρέπει σε 3 νήματα να έχουν πρόσβαση ταυτόχρονα).
  • Χρησιμοποιείται για τη διαχείριση πρόσβασης σε περιορισμένους πόρους.

Παράδειγμα σε C#:

// Mutex
Mutex mutex = new Mutex();
mutex.WaitOne(); // απόκτηση
// κρίσιμη ενότητα
mutex.ReleaseMutex(); // απελευθέρωση

// Semaphore
Semaphore semaphore = new Semaphore(3, 3); // μέγιστο 3 ταυτόχρονα
semaphore.WaitOne();
// εργασία με τον πόρο
semaphore.Release();

Επομένως, το Lock είναι μια ειδική περίπτωση σημαφόρου με μέγιστο μετρητή 1.