试图了解互锁*功能

Question

这仅涉及 Microsoft/Visual Studio 和 Intel/AMD 特定实施。

比如说，如果声明一个全局变量：

volatile __declspec(align(16)) ULONG vFlags = 0;

而且，比如说，我有多个竞争线程：

//Thread 1
ULONG prevFlags;

prevFlags = InterlockedExchange(&vFlags, 0);
if(prevFlags != 0)
{
    //Do work
}

然后从其他线程，我做：

//Thread N
vFlags = SomeNonZeroValue;

也就是说，在多CPU系统上，在thread 1执行锁定的InterlockedExchange指令的那一刻，一些其他线程开始执行vFlags = 2 和 vFlags = 4 指令。

在那种情况下会发生什么？ vFlags = 2 和 vFlags = 4 会停止直到 InterlockedExchange 完成，还是会忽略该锁定？

或者我需要改用这个吗？

//Thread N
InterlockedOr(&vFlags, SomeNonZeroValue);

Answer 1

不使用锁来更新变量的指令不会与使用锁的指令交互。锁定是一个合作过程，所有参与者都必须遵守它才能起作用。所以，是的，在一个线程上用一个简单的赋值更新标志不会被另一个调用 InterlockedExchange.

的线程阻塞

另一方面，为其他线程读取的变量分配不同的值会引发跨内核可见性问题，因为其他线程可能不会立即或实际上永远不会看到更新。 InterlockedExchange 通过提供隐式内存栅栏也解决了这个问题。

总之，我会在所有更新标志的线程中使用 InterlockedExchange。

Trying to understand Interlocked* functions