C++ 具名要求:定时互斥体 (TimedMutex)
来自cppreference.com
定时互斥体 (TimedMutex) 要求扩展可定时锁定 (TimedLockable) 要求,以包含线程间同步。
要求
另外,对于定时互斥 (定时互斥体 (TimedMutex) ) 类型对象 m 。
- 表达式 m.try_lock_for(duration) 拥有下列属性
- 表现为原子操作。
- 试图在
duration所指定的时长内获得互斥的排他性所有权。若duration小于或等于duration.zero(),则试图获得所有权而不锁定(如同用try_lock())。否则,此函数将阻塞直至得到互斥,或直至经过duration所指定的时长。它仅若成功才在duration内返回,但允许获得互斥失败,即使在duration期间的某点,互斥不为另一线程所占有。任何情况下,若得到互斥则返回 true ,否则返回 false 。 - 若
try_lock_for(duration)成功,则同一对象上先前的unlock()操作同步于此操作(等价于释放获得内存顺序 (std::memory_order) )。 - 若调用方线程已占有互斥,则行为未定义(除非 m 是 std::recursive_timed_mutex )。
- 表达式 m.try_lock_until(time_point) 拥有下列属性
- 表现为原子操作。
- 试图在到
time_point为止的剩余时间内获得互斥的排他性所有权。若已经过time_point,则试图获得所有权而不锁定(如同用try_lock())。否则,此函数将阻塞直至得到互斥,或直至经过time_point所指定的时间点。它仅若成功才在time_point前返回,但允许获得互斥失败,即使在time_point前的某点,互斥不为另一线程所占有。任何情况下,若得到互斥则返回 true ,否则返回 false 。 - 若
try_lock_until(time_point)成功,则同一对象上先前的unlock()操作同步于此操作(等价于释放获得内存顺序 (std::memory_order) )。 - 若调用方线程已占有互斥,则行为未定义(除非 m 是 std::recursive_timed_mutex )。
库类型
下列标准库类型满足定时互斥体 (TimedMutex) :