std:: recursive_mutex
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Member functions | ||||
| Locking | ||||
| Native handle | ||||
|
Definiert im Header
<mutex>
|
||
|
class
recursive_mutex
;
|
(seit C++11) | |
Die
recursive_mutex
-Klasse ist ein Synchronisierungsprimitive, das verwendet werden kann, um gemeinsame Daten vor gleichzeitigem Zugriff durch mehrere Threads zu schützen.
recursive_mutex
bietet exklusive, rekursive Besitzsemantik:
-
Ein aufrufender Thread
besitzt
ein
recursive_mutexfür einen Zeitraum, der beginnt, wenn er erfolgreich entwederlockodertry_lockaufruft. Während dieses Zeitraums darf der Thread zusätzliche Aufrufe vonlockodertry_lockdurchführen. Der Besitzzeitraum endet, wenn der Thread eine entsprechende Anzahl von Aufrufen vonunlockdurchführt. -
Wenn ein Thread ein
recursive_mutexbesitzt, werden alle anderen Threads blockiert (bei Aufrufen vonlock) oder erhalten einen false Rückgabewert (fürtry_lock), wenn sie versuchen, das Eigentum amrecursive_mutexzu beanspruchen. -
Die maximale Anzahl, wie oft ein
recursive_mutexgesperrt werden darf, ist nicht spezifiziert, aber nach Erreichen dieser Anzahl werden Aufrufe vonlockeine std::system_error Ausnahme werfen und Aufrufe vontry_lockden Wert false zurückgeben.
Das Verhalten eines Programms ist undefiniert, wenn ein
recursive_mutex
zerstört wird, während er noch von einem Thread besessen wird. Die
recursive_mutex
-Klasse erfüllt alle Anforderungen von
Mutex
und
StandardLayoutType
.
Inhaltsverzeichnis |
Mitgliedertypen
| Mitgliedtyp | Definition |
native_handle_type
(
optional*
)
|
implementierungsdefiniert |
Memberfunktionen
|
Konstruiert den Mutex
(öffentliche Elementfunktion) |
|
|
Zerstört den Mutex
(öffentliche Elementfunktion) |
|
|
operator=
[deleted]
|
Nicht kopierzuweisbar
(öffentliche Elementfunktion) |
Sperren |
|
|
Sperrt den Mutex, blockiert falls der Mutex nicht verfügbar ist
(öffentliche Elementfunktion) |
|
|
Versucht den Mutex zu sperren, kehrt zurück falls der Mutex nicht verfügbar ist
(öffentliche Elementfunktion) |
|
|
Entsperrt den Mutex
(öffentliche Elementfunktion) |
|
Native Handle |
|
|
Gibt das zugrundeliegende implementierungsdefinierte Native-Handle-Objekt zurück
(öffentliche Elementfunktion) |
|
Beispiel
Ein Anwendungsfall für
recursive_mutex
ist der Schutz gemeinsamer Zustände in einer Klasse, deren Memberfunktionen sich gegenseitig aufrufen können.
#include <iostream> #include <mutex> #include <thread> class X { std::recursive_mutex m; std::string shared; public: void fun1() { std::lock_guard<std::recursive_mutex> lk(m); shared = "fun1"; std::cout << "in fun1, shared variable is now " << shared << '\n'; } void fun2() { std::lock_guard<std::recursive_mutex> lk(m); shared = "fun2"; std::cout << "in fun2, shared variable is now " << shared << '\n'; fun1(); // recursive lock becomes useful here std::cout << "back in fun2, shared variable is " << shared << '\n'; } }; int main() { X x; std::thread t1(&X::fun1, &x); std::thread t2(&X::fun2, &x); t1.join(); t2.join(); }
Mögliche Ausgabe:
in fun1, shared variable is now fun1 in fun2, shared variable is now fun2 in fun1, shared variable is now fun1 back in fun2, shared variable is fun1
Siehe auch
|
(C++11)
|
bietet grundlegende gegenseitige Ausschlussfunktionalität
(Klasse) |