调试与发布 C# 代码

Question

我有以下代码：

 public static void Main(string[] args)
    {
        bool isComplete = false;

        var t = new Thread(() =>
        {
            int i = 0;
            while (!isComplete) i += 0;
        });

        t.Start();

        Thread.Sleep(500);
        isComplete = true;
        t.Join();
        Console.WriteLine("complete!");

    }

程序将在发布模式下挂起，并在调试模式下给出输出（“完成！”）。

这是什么原因？

谢谢。

Answer 1

变量isComplete 的值很可能会在您的发布版本中加载到寄存器中，以避免在while 循环中往返于从内存中读取值。

因此，当 isComplete 的值更改为 true 时，循环不会“检测”。

你需要向编译器表明这个变量是volatile：本质上是告诉系统不根据当前线程中执行的代码做出假设，无论这个内存是否改变（即，其他一些线程或进程可能会改变它）。

有关详细信息，请参阅此 SA 答案：

How do I Understand Read Memory Barriers and Volatile - StackOverflow

如果您想更深入地研究内存和并发性，请阅读 Fabian Giesen 撰写的一篇关于多核系统中缓存一致性的优秀文章：

Cache coherency primer

Atomic operations and contention

除非您知道自己在做什么，否则您应该只使用锁，以下是很好的理由：

Volatile keyword usage vs Lock - StackOverflow

这是关于 Volatile.Read 方法的 MSDN 文档：

Volatile.Read Method()

请注意，如果没有对这些术语进行更详细的解释（参见上面的 SA 线程或 google），MSDN 文档中的描述可能很难转化为实际发生的情况。

这是 volatile 关键字的 MSDN 文档：

volatile (C# Reference)

在 C# 中，此关键字将使用半栅栏（据我所知）；例如，您还会在 C 中找到这个关键字，但它只影响编译器优化（不插入内存屏障），因为它最初用于读取内存映射 I/O。

示例：

        bool isComplete = false;

        var t = new Thread(() =>
        {
            int i = 0;
            while (!Volatile.Read(ref isComplete)) i += 0;
        });

        t.Start();

        Thread.Sleep(500);
        isComplete = true;
        t.Join();
        Console.WriteLine("complete!");