使用共享的可写字段但是不使用锁或者内存屏障通常会引起麻烦。在这个问题上有许多误导信息,包括MSDN文档,MSDN上说明了,对于MemoryBarrier仅仅在弱内存顺序的多核系统中使用,比如一个系统使用多个安腾处理器。我们可以用一段代码来演示内存屏障对于普通的Intel Core-2和奔腾处理器也是很重要的。你需要运行一段经过优化的并且没有debugger的代码。(在visual studio中选中Release模式,然后非debugging模式运行:
static void Main(string[] args)
{
bool complete = false;
var t = new Thread(() =>
{
bool toggle = false;
while (!complete)
{
toggle = !toggle;
}
});
t.Start();
Thread.Sleep(1000);
complete = true;
t.Join(); // Blocks indefinitely
Console.WriteLine("end");
}
这段代码将不会终止,因为complete变量被cpu寄存器缓存了。在while循环内插入Thread.MemoryBarrier();可以解决这个问题。
下面几项隐式的生成内存屏障。
C#的lock语句,Monitor.Enter/Monitor.Exit)
- 所有的在Interlocked类的方法
- 线程池上的异步调用,包括异步委托,APM回调,Task
- 信号结构
- 任何依靠信号结构人,比如Task上的starting和waiting