如何在 C++ 或 Winapi 中转移同步对象的所有权?
How to transfer ownership of a synchronization object in C++ or Winapi?
是否可以将互斥锁、临界区等的所有权从第一个线程转移到第二个线程,同时不让任何第三个线程获取所有权?
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 调用中的解决方案将适合我的需要。
不,不支持线程所有权转移。此外,我坚信任何依赖锁所有权的设计都是有缺陷的,并且会在以后造成麻烦。
但是,如果所有权转移只是为了从与接收锁的线程不同的线程释放锁,您有两个选择:
- 使用信号量。按照设计,它们可以从任何线程中释放
- 参与未定义的行为并从不拥有它的线程中释放互斥量。您需要了解这样做的后果。
未定义的行为
从不拥有互斥锁的线程中释放互斥锁是未定义的。但是,可以使用这些代码编写您的应用程序。您将遇到的问题是,如果锁定互斥锁的线程是 运行 在一个 CPU 上,并且解锁发生在另一个上,则数据同步可能不会在非缓存一致芯片上发生。结果,未被另一个同步保护的数据将是'dirty'。然而,如果没有这样的数据——例如,互斥量真正用于 'semaphore' fasion 并且不保护任何数据——这可能是可以接受的。
是否可以将互斥锁、临界区等的所有权从第一个线程转移到第二个线程,同时不让任何第三个线程获取所有权? 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 调用中的解决方案将适合我的需要。
不,不支持线程所有权转移。此外,我坚信任何依赖锁所有权的设计都是有缺陷的,并且会在以后造成麻烦。
但是,如果所有权转移只是为了从与接收锁的线程不同的线程释放锁,您有两个选择:
- 使用信号量。按照设计,它们可以从任何线程中释放
- 参与未定义的行为并从不拥有它的线程中释放互斥量。您需要了解这样做的后果。
未定义的行为
从不拥有互斥锁的线程中释放互斥锁是未定义的。但是,可以使用这些代码编写您的应用程序。您将遇到的问题是,如果锁定互斥锁的线程是 运行 在一个 CPU 上,并且解锁发生在另一个上,则数据同步可能不会在非缓存一致芯片上发生。结果,未被另一个同步保护的数据将是'dirty'。然而,如果没有这样的数据——例如,互斥量真正用于 'semaphore' fasion 并且不保护任何数据——这可能是可以接受的。