Warum unterstützt Mutex von Go kein rekursives Sperren?

Rekursives Sperren in Go

Im Synchronisierungspaket von Go unterstützt die Mutex-Datenstruktur kein rekursives Sperren. Dies bedeutet, dass eine Goroutine nicht mehrmals hintereinander dieselbe Sperre erwerben kann. Obwohl dies wie eine Einschränkung erscheinen mag, gibt es starke Argumente gegen die Implementierung rekursiver Sperren in Go.

Laut Russ Cox, einem Mitglied des Go-Entwicklungsteams, sind rekursive Mutexe grundsätzlich fehlerhaft, da sie die Garantien von Mutexen gefährden sind darauf ausgelegt, bereitzustellen. Mutexe schützen Invarianten, die wesentliche Eigenschaften der Datenstrukturen eines Programms sind. Wenn eine Goroutine einen Mutex erhält, geht sie davon aus, dass die Invarianten erhalten bleiben.

In einem rekursiven Mutex kann eine Goroutine jedoch dieselbe Sperre mehrmals erwerben. Dadurch besteht die Möglichkeit, dass die Invarianten gebrochen werden, da die Goroutine möglicherweise den Mutex entsperrt und die Datenstruktur ändert, bevor sie sie erneut erfasst. Dies kann zu unvorhersehbarem und möglicherweise fehlerhaftem Programmverhalten führen.

Cox empfiehlt, den Code neu zu gestalten, um die Notwendigkeit rekursiver Sperren zu vermeiden. In den meisten Fällen ist es möglich, Code zu schreiben, der korrekt funktioniert, ohne dass eine rekursive Sperrung erforderlich ist.

Falls unbedingt erforderlich, gibt es Problemumgehungen, mit denen sich eine rekursive Sperrung in Go simulieren lässt. Diese Problemumgehungen werden jedoch von der Go-Standardbibliothek nicht unterstützt und sollten mit Vorsicht verwendet werden.

Das obige ist der detaillierte Inhalt vonWarum unterstützt Mutex von Go kein rekursives Sperren?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!