60 lines
2.6 KiB
Markdown
60 lines
2.6 KiB
Markdown
[thread.timedmutex.class]
|
||
|
||
# 32 Concurrency support library [[thread]](./#thread)
|
||
|
||
## 32.6 Mutual exclusion [[thread.mutex]](thread.mutex#thread.timedmutex.class)
|
||
|
||
### 32.6.4 Mutex requirements [[thread.mutex.requirements]](thread.mutex.requirements#thread.timedmutex.class)
|
||
|
||
#### 32.6.4.3 Timed mutex types [[thread.timedmutex.requirements]](thread.timedmutex.requirements#thread.timedmutex.class)
|
||
|
||
#### 32.6.4.3.2 Class timed_mutex [thread.timedmutex.class]
|
||
|
||
[ð](#lib:timed_mutex)
|
||
|
||
namespace std {class timed_mutex {public: timed_mutex(); ~timed_mutex();
|
||
|
||
timed_mutex(const timed_mutex&) = delete;
|
||
timed_mutex& operator=(const timed_mutex&) = delete; void lock(); // blockingbool try_lock(); template<class Rep, class Period>bool try_lock_for(const chrono::duration<Rep, Period>& rel_time); template<class Clock, class Duration>bool try_lock_until(const chrono::time_point<Clock, Duration>& abs_time); void unlock(); using native_handle_type = *implementation-defined*; // see [[thread.req.native]](thread.req.native "32.2.3 Native handles") native_handle_type native_handle(); // see [[thread.req.native]](thread.req.native "32.2.3 Native handles")};}
|
||
|
||
[1](#1)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/threads.tex#L7723)
|
||
|
||
The class timed_mutex provides a non-recursive mutex with exclusive ownership
|
||
semantics[.](#1.sentence-1)
|
||
|
||
If one thread owns a timed_mutex object, attempts by another thread
|
||
to acquire ownership of that object will fail (for try_lock()) or block
|
||
(for lock(), try_lock_for(), and try_lock_until()) until
|
||
the owning thread has released ownership with a call to unlock() or the
|
||
call to try_lock_for() or try_lock_until() times out (having
|
||
failed to obtain ownership)[.](#1.sentence-2)
|
||
|
||
[2](#2)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/threads.tex#L7733)
|
||
|
||
The class timed_mutex meets
|
||
all of the timed mutex requirements ([[thread.timedmutex.requirements]](thread.timedmutex.requirements "32.6.4.3 Timed mutex types"))[.](#2.sentence-1)
|
||
|
||
It is a standard-layout class ([[class.prop]](class.prop "11.2 Properties of classes"))[.](#2.sentence-2)
|
||
|
||
[3](#3)
|
||
|
||
[#](http://github.com/Eelis/draft/tree/9adde4bc1c62ec234483e63ea3b70a59724c745a/source/threads.tex#L7738)
|
||
|
||
The behavior of a program is undefined if
|
||
|
||
- [(3.1)](#3.1)
|
||
|
||
it destroys a timed_mutex object owned by any thread,
|
||
|
||
- [(3.2)](#3.2)
|
||
|
||
a thread that owns a timed_mutex object calls lock(),try_lock(), try_lock_for(), or try_lock_until() on that object, or
|
||
|
||
- [(3.3)](#3.3)
|
||
|
||
a thread terminates while owning a timed_mutex object[.](#3.sentence-1)
|