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

Question

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

If a thread calls LeaveCriticalSection when it does not have ownership of the specified critical section object, an error occurs that may cause another thread using EnterCriticalSection to wait indefinitely.

但在我的场景中，我需要在与获取同步对象的线程不同的线程中准确地释放同步对象，以便其他(第三)线程无法同时获取同步对象的所有权(从那一刻起从第一个线程获取到第二个线程释放的那一刻)。 C++ 线程或 WinAPI 调用中的解决方案将适合我的需要。

Answer 1

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

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

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

未定义的行为

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