这仅与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
和{{1 }}说明。
在这种情况下会发生什么? vFlags = 4
和vFlags = 2
是否会停滞直到vFlags = 4
完成,还是会忽略该锁定?
还是我需要使用它?
InterlockedExchange
答案 0 :(得分:1)
不使用锁来更新变量的指令不会与使用锁的指令进行交互。锁定是一个协作过程,所有参与者都必须遵守该协作过程才能起作用。因此,是的,通过在一个线程上进行简单分配来更新标志不会被另一个调用InterlockedExchange
的线程阻止。
另一方面,将不同的值分配给其他线程读取的变量会引起跨内核可见性的问题,因为其他线程可能不会立即或实际上从未看到更新。 InterlockedExchange
也通过提供隐式的内存防护来解决此问题。
最后,我将在所有更新标志的线程中使用InterlockedExchange
。