winapi - SRW Lock 可以用作二进制信号量吗?
问题描述
Slim Reader/Writer (SRW) Locks是 Windows 中的一种同步原语,可从 Windows Vista 开始使用。
名称和接口表明它应该用作非定时共享非递归互斥锁。但是,通常也将其用作非共享互斥体,以避免CRTICAL_SECTION
开销(仅使用独占 API)。
我注意到它也可以用作二进制信号量。这可以派上用场,因为 Windows API 中可用的其他信号量 - 事件对象和信号量对象 - 始终是内核调用,因此它可能是唯一可从 Windows API 轻松获得的轻量级信号量(并且 C++ 具有从 C++20 开始的信号量,并且boost 线程也不提供信号量)。
但这可靠吗?具体来说,我没有在文档中找到可以以这种方式使用它的明确信息。
但是,我没有发现任何禁止这种用法的东西。文档似乎不确定。
我期望的答案是:
- 也许有人可以指出允许或禁止使用信号量的文档措辞
- 也许有这种用法的一些实际经验
- 也许直接参与 SRW 锁实现的人可以澄清(我认为有一些机会)
示例 - 这不会挂起
#include <Windows.h>
#include <atomic>
SRWLOCK lock = SRWLOCK_INIT;
std::atomic<bool> can_release{ false };
DWORD CALLBACK Thread1(LPVOID)
{
for (int i = 0; i < 3; i++)
{
while (!can_release)
{
// spin
}
can_release = false;
::ReleaseSRWLockExclusive(&lock);
}
return 0;
}
DWORD CALLBACK Thread2(LPVOID)
{
for (int i = 0; i < 3; i++)
{
can_release = true;
::AcquireSRWLockExclusive(&lock);
}
return 0;
}
int main() {
::AcquireSRWLockExclusive(&lock);
HANDLE h1 = ::CreateThread(nullptr, 0, Thread1, nullptr, 0, nullptr);
HANDLE h2 = ::CreateThread(nullptr, 0, Thread2, nullptr, 0, nullptr);
::WaitForSingleObject(h1, INFINITE);
::WaitForSingleObject(h2, INFINITE);
::CloseHandle(h1);
::CloseHandle(h2);
return 0;
}
解决方案
@Raymond Chen 是对的。应用程序验证程序报告相关代码的错误:
有问题的代码会产生此错误:
=======================================
VERIFIER STOP 0000000000000255: pid 0x1A44: The SRW lock being released was not acquired by this thread.
00007FF73979C170 : SRW Lock
00000000000025CC : Current ThreadId.
00000000000043F4 : ThreadId of the thread that acquired the SRW lock.
000001C1BEA8BF40 : Address of the acquire stack trace. Use dps <address> to see where the SRW lock was acquired.
=======================================
This verifier stop is continuable.
After debugging it use `go' to continue.
=======================================
=======================================
VERIFIER STOP 0000000000000253: pid 0x1A44: The SRW lock is being acquired recursively by the same thread.
00007FF73979C170 : SRW Lock
000001C1BEA8BF40 : Address of the first acquire stack trace. Use dps <address> to see where the SRW lock was acquired.
0000000000000000 : Not used
0000000000000000 : Not used
=======================================
This verifier stop is continuable.
After debugging it use `go' to continue.
=======================================
截至目前,该文档还明确禁止在不同的线程中发布,请参阅ReleaseSRWLockExclusive、ReleaseSRWLockShared:
SRW 锁必须由获得它的同一线程释放。您可以使用 Application Verifier 来帮助验证您的程序是否正确使用 SRW 锁(从 Basic 组启用 Locks checker)。
推荐阅读
- javascript - 防止按钮单击直到表格填写完毕
- php - 解析错误:语法错误,第 30 行中出现意外的 'else' (T_ELSE)
- php - 使用特定日期和时间获取未来的 unix 时间戳?
- sql - 在 SAS 中使用 PROC SQL 查询财务余额?
- python - 使用 CreateView 类创建 success_url 后出错
- android - 如何在 Flutter 中使用底部标签栏执行多个 webview?
- python - 正确导入具有日期格式的列
- c++ - Stroustrup 的《编程原理与实践》一书中的这个代码示例是否有错误?
- python - 价值。执行字符串剥离并尝试在python中将对象列转换为整数时出错
- swift - 如何将复杂的模型结构设置为 FireStore?