编译器或处理器是否可以重新排序以下指令,以便另
一个线程看到== 0和b == 1?
假设int a = 0,b = 0;某处.
System.Threading.Interlocked.CompareExchange<int>(ref a,1,0);
System.Threading.Interlocked.CompareExchange<int>(ref b,0);
不可以.使用Interlock会发出完整的内存栅栏信号. “也就是说,在Interlocked
方法调用之前执行的任何变量写入都会在Interlocked
方法之前执行,并且在
调用之
后执行调用后任何变量都会读取.”[1]它们使用volatile读/写
方法来防止b = 1之前a = 1.
[1]:Jeffrey Richter:“通过C#的CLR – 第三版”第V部分,第803页