0

这仅涉及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;

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

在那种情况下会发生什么？在完成之前会一直停滞不前，vFlags = 2还是会忽略该锁定？vFlags = 4InterlockedExchange

还是我需要改用它？

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

1 回答 1

1

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

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

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

于 2018-07-10T07:29:35.133 回答