我试图通过C#重现 CLR中描述的错误。当使用优化编译以下代码时,s_stopWorker
变量仅被检查一次(并且是false
),因此应用程序永远不会终止。
private static bool s_stopWorker;
public static void Main()
{
Console.WriteLine("Main: letting worker run for 5 seconds");
var t = new Thread(Worker);
t.Start();
Thread.Sleep(5000);
s_stopWorker = true;
Console.WriteLine("Main: waiting for worker to stop");
t.Join();
}
private static void Worker(object o)
{
var x = 0;
while (!s_stopWorker) x++;
Console.WriteLine("Worker: stopped when x={0}", x);
}
这确实是发生的事情(在x86和x64上,与本书相反)。
如果我在Console.Write
中添加了while
,那么优化就不会再发生了。
private static bool s_stopWorker;
public static void Main()
{
Console.WriteLine("Main: letting worker run for 5 seconds");
var t = new Thread(Worker);
t.Start();
Thread.Sleep(5000);
s_stopWorker = true;
Console.WriteLine("Main: waiting for worker to stop");
t.Join();
}
private static void Worker(object o)
{
var x = 0;
while (!s_stopWorker)
{
Console.Write(string.Empty); // <-- Added line
x++;
}
Console.WriteLine("Worker: stopped when x={0}", x);
}
现在bug已经消失,应用程序退出就像优化没有发生一样。
Main: letting worker run for 5 seconds
Main: waiting for worker to stop
Worker: stopped when x=130084144
为什么添加Console.Write
会修复此错误?
答案 0 :(得分:5)
Console.Write
内的代码可以更改静态字段的值。它没有,但JIT不知道。所以它必须生成代码以在每次迭代时加载静态字段。
通过调用设置了无内联标志的空方法,可以达到相同的效果。这是JIT的黑盒子。
JIT 可以分析可能被传递和结束的所有代码,静态字段不会改变。但这并没有在JIT中实现。