c++ - 在共享模式下锁定的 std::shared_mutex 上调用解锁

Question

C++17 引入了 std::shared_mutex 类型。我一直在查看 CppReference 上的文档对产生未定义行为的情况特别感兴趣。

在通读两种解锁方法(一种用于释放独占所有权，一种用于释放共享所有权)时，我注意到文档有一次有点含糊。

对于 std::shared_mutex::unlock_shared ，文档说明(强调我的):

The mutex must be locked by the current thread of execution in shared mode, otherwise, the behavior is undefined.

它清楚地表明调用unlock_shared必须先调用 lock_shared因为这是在共享模式下锁定互斥锁的唯一方法。

对于 std::shared_mutex::unlock ，文档指出:

The mutex must be locked by the current thread of execution, otherwise, the behavior is undefined.

没有提及当前执行线程在调用 unlock 之前必须持有的访问级别.这让我想知道它是否也能够释放共享所有权和独占所有权。

我的问题:释放 std::shared_mutex 的共享所有权是未定义的行为吗？调用 unlock而不是 unlock_shared ？

如果可能的话，我想要引用 C++ 标准中明确确认或否认上述场景中未定义行为的内容。

Answer 1

根据 [thread.mutex.requirements.mutex]我们有

The expression m.unlock() shall be well-formed and have the following semantics:

Requires: The calling thread shall own the mutex.

Effects: Releases the calling thread's ownership of the mutex.

Return type: void.

Synchronization: This operation synchronizes with subsequent lock operations that obtain ownership on the same object.

Throws: Nothing.

因此，只要线程拥有互斥量，无论是否处于共享模式，unlock 都会释放线程对互斥量的所有权。