如何在 C++ 或 Winapi 中转移同步对象的所有权？答案

【问题标题】：How to transfer ownership of a synchronization object in C++ or Winapi?如何在 C++ 或 Winapi 中转移同步对象的所有权？
【发布时间】：2015-11-10 10:25:59
【问题描述】：

是否可以将互斥锁、临界区等的所有权从第一个线程转移到第二个线程，同时不让任何第三个线程获取所有权？ documentation for critical section 禁止在调用 EnterCriticalSection 的线程以外的线程中调用 LeaveCriticalSection：

如果一个线程在没有指定临界区对象的所有权时调用 LeaveCriticalSection，则会发生错误，可能导致另一个使用 EnterCriticalSection 的线程无限期等待。

但在我的场景中，我需要在与获取同步对象的线程不同的线程中准确释放同步对象，这样其他（第三个）线程就不能同时获得同步对象的所有权（从那一刻起）由第一个线程获取直到第二个线程释放的那一刻）。 C++ 线程或 WinAPI 调用中的解决方案将适合我的需要。

【问题讨论】：

不应该std::move 工作吗？
@deW1 CiriticalSection 是 Windows 操作系统对象，而不是 C++ 类。
您可以使用第二个临界区（或其他同步对象）来保护两者之间的传输。但是，如果没有死锁的风险，很难做到正确。您确定需要这样做吗？
@deW1，来自en.cppreference.com/w/cpp/thread/mutex 的“std::mutex 既不可复制也不可移动”。此外，std::move 是关于在内存中移动对象，而不是关于在线程之间移动同步对象。例如。 unique_lock 是可移动的（在内存中std::move，但它似乎不允许在线程之间移动互斥锁）。
But in my scenario I need to exactly release the synchronization object in a different thread than the one who acquired it - 关键部分根本不适合这种用途。您可以使用其他同步机制，例如semaphore：它没有所有权语义，因此可以被任何线程释放。

标签： c++ multithreading winapi mutex critical-section

【解决方案1】：

不，不支持线程所有权转移。此外，我坚信任何依赖锁所有权的设计都是有缺陷的，并且会在未来造成麻烦。

但是，如果所有权转移只是为了从与接收锁不同的线程释放锁，您有两种选择：

使用信号量。按照设计，它们可以从任何线程中释放
参与未定义的行为并从不拥有它的线程中释放互斥锁。您需要了解这样做的后果。

未定义的行为

从不拥有它的线程释放互斥锁是未定义的。但是，可以使用这些对您的应用程序进行编码。您将遇到的问题是，如果锁定互斥锁的线程在一个 CPU 上运行，而解锁发生在另一个 CPU 上，则数据同步可能不会发生在非缓存一致的芯片上。结果，不受另一个同步保护的数据将是“脏”的。但是，如果没有这样的数据 - 例如，互斥锁真正用于“信号量”并且不保护任何数据 - 这可能是可以接受的。

【讨论】：