C++ 具名要求： 定时互斥体 (TimedMutex)

定时互斥体 (TimedMutex) 要求扩展可定时锁定 (TimedLockable) 要求，以包含线程间同步。

要求

• 可定时锁定 (TimedLockable)
• 互斥体 (Mutex)

另外，对于定时互斥 (定时互斥体 (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) ：

• std::timed_mutex
• std::recursive_timed_mutex
• std::shared_timed_mutex

参阅

• 线程支持库
• 可定时锁定 (TimedLockable)
• 互斥体 (Mutex)