试图了解 Interlocked* 功能

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。