Was ist der Unterschied zwischen einem Semaphore und einem Mutex?

Ein Mutex (Mutual Exclusion) ist ein Synchronisationsmechanismus, der garantiert, dass zu einem bestimmten Zeitpunkt nur ein Thread Zugriff auf den kritischen Abschnitt des Codes oder eine Ressource hat. Es arbeitet nach dem Eigentumsprinzip: Der Thread, der den Mutex sperrt, muss ihn auch freigeben.

Ein Semaphore (Semaphore) ist ein allgemein gehaltener Synchronisationsmechanismus, der den Zugriff auf eine Ressource steuert, die durch eine bestimmte Anzahl von "Genehmigungen" begrenzt ist. Threads können eine Genehmigung erhalten, wenn sie verfügbar ist, und die Ausführung fortsetzen. Wenn die Ressource nicht mehr benötigt wird, wird die Genehmigung zurückgegeben. Semaphore haben kein Eigentumskonzept; jeder Thread kann den Zähler des Semaphors erhöhen.

Wichtige Unterschiede:

• Zweck: Mutex wird für exklusiven Zugriff (einen Thread) verwendet, Semaphore zur Steuerung des Zugriffs auf einen begrenzten Pool von Ressourcen (mehrere Threads bis zum Limit).
• Eigentum: Mutex hat einen Eigentümer (den Thread, der ihn gesperrt hat). Semaphore hat keinen Eigentümer.
• Zähler: Mutex kann als Semaphore mit einem Zähler von 1 betrachtet werden. Semaphore kann einen Zähler größer als 1 haben.
• Operationen: Mutex: WaitOne/Pulse/ReleaseMutex. Semaphore: WaitOne/Release.

Hier ist ein einfaches Beispiel für die Verwendung eines Semaphors in C#:

// Erstellen eines Semaphors mit Anfangswert 2 und Maximalwert 2.
// Erlaubt es, dass gleichzeitig 2 Threads auf die Ressource zugreifen.
SemaphoreSlim semaphore = new SemaphoreSlim(2, 2);

// Thread versucht, Zugriff auf die Ressource zu erhalten
semaphore.WaitOne();
// ... Arbeit mit der Ressource ...
semaphore.Release(); // Freigabe der Erlaubnis

Beispiel für einen Mutex:

// Erstellen eines Mutex
Mutex mutex = new Mutex();

// Thread versucht, exklusiven Zugriff zu erhalten
mutex.WaitOne();
// ... Arbeit mit dem kritischen Abschnitt ...
mutex.ReleaseMutex(); // Mutex freigeben (nur der Eigentümer kann)