C++ benannte Anforderungen: TimedMutex (seit C++11)

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

C++ benannte Anforderungen

Basis DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible Typeneigenschaften ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType Bibliothekweit BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

Container Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   Container-Element DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) Iterator LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) Stream-I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction Formatters BasicFormatter (C++20) Formatter (C++20)

Zufallszahlen SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) Concurrency BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Bereiche (Ranges) RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) Mehrdimensionale Ansicht LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Sonstiges CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

Die TimedMutex-Anforderungen erweitern die TimedLockable-Anforderungen um die Inter-Thread-Synchronisation.

Anforderungen

• TimedLockable
• Mutex

Zusätzlich gelten für ein Objekt m vom Typ TimedMutex

• Der Ausdruck m.try_lock_for(dauer) hat folgende Eigenschaften

• Verhält sich als atomare Operation.
• Versucht, den exklusiven Besitz des Mutex innerhalb der von dauer angegebenen Dauer zu erlangen. Wenn dauer kleiner oder gleich dauer.zero() ist, wird versucht, den Besitz ohne Blockierung zu erlangen (als ob mit try_lock()). Andernfalls blockiert diese Funktion, bis der Mutex erworben wird oder bis die durch dauer angegebene Zeit verstrichen ist. Sie kehrt innerhalb von dauer nur zurück, wenn sie erfolgreich ist, es ist ihr jedoch gestattet, den Mutex nicht zu erwerben, selbst wenn er zu irgendeinem Zeitpunkt während dauer nicht im Besitz eines anderen Threads war. In jedem Fall gibt sie true zurück, wenn der Mutex erworben wurde, und false andernfalls.
• Wenn try_lock_for(dauer) erfolgreich ist, synchronisieren-sich frühere unlock()-Operationen auf demselben Objekt mit dieser Operation (entspricht release-acquire std::memory_order).
• Das Verhalten ist undefiniert, wenn der aufrufende Thread den Mutex bereits besitzt (außer wenn m ein std::recursive_timed_mutex ist).
• Während der Ausführung können Ausnahmen von Uhr, Zeitpunkt oder Dauer ausgelöst werden (von der Standardbibliothek bereitgestellte Uhren, Zeitpunkte und Dauern lösen niemals Ausnahmen aus).

• Der Ausdruck m.try_lock_until(zeitpunkt) hat folgende Eigenschaften

• Verhält sich als atomare Operation.
• Versucht, den exklusiven Besitz des Mutex innerhalb der verbleibenden Zeit bis zeitpunkt zu erlangen. Wenn zeitpunkt bereits vergangen ist, wird versucht, den Besitz ohne Blockierung zu erlangen (als ob mit try_lock()). Andernfalls blockiert diese Funktion, bis der Mutex erworben wird oder bis die durch zeitpunkt angegebene Zeit verstrichen ist. Sie kehrt vor zeitpunkt nur zurück, wenn sie erfolgreich ist, es ist ihr jedoch gestattet, den Mutex nicht zu erwerben, selbst wenn er zu irgendeinem Zeitpunkt vor zeitpunkt nicht im Besitz eines anderen Threads war. In jedem Fall gibt sie true zurück, wenn der Mutex erworben wurde, und false andernfalls.
• Wenn try_lock_until(zeitpunkt) erfolgreich ist, synchronisieren-sich frühere unlock()-Operationen auf demselben Objekt mit dieser Operation (entspricht release-acquire std::memory_order).
• Das Verhalten ist undefiniert, wenn der aufrufende Thread den Mutex bereits besitzt (außer wenn m ein std::recursive_timed_mutex ist).
• Während der Ausführung können Ausnahmen von Uhr, Zeitpunkt oder Dauer ausgelöst werden (von der Standardbibliothek bereitgestellte Uhren, Zeitpunkte und Dauern lösen niemals Ausnahmen aus).

Standardbibliothek

Die folgenden Standardbibliothekstypen erfüllen die Anforderungen von TimedMutex

recursive_timed_mutex (C++11)	bietet Gegenseitiger-Ausschluss-Funktionen, die rekursiv gesperrt werden können von demselben Thread und implementiert ein Sperren mit Timeout (Klasse)
shared_timed_mutex (C++14)	bietet gemeinsame Gegenseitiger-Ausschluss-Funktionen und implementiert ein Sperren mit Timeout (Klasse)
timed_mutex (C++11)	bietet Gegenseitiger-Ausschluss-Funktionen, die ein Sperren mit Timeout implementieren (Klasse)

Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
LWG 2093	C++11	timeoutbezogene Ausnahmen fehlten in der Spezifikation	erwähnt

Siehe auch

• Thread-Unterstützungsbibliothek
• TimedLockable
• Mutex