非阻塞同步（MemoryBarrier）

Question

我修改了非阻塞同步上给出的程序如下：

class DemoProg
{
    int _answer;
    bool _complete;

    public void StartDemo()
    {
        Thread t1 = new Thread(A);
        Thread t2 = new Thread(B);
        t1.Start();
        // Thread.Sleep(100); // To ensure that B is called after A.
        t2.Start();
    }

    void A()
    {
        for (int i = 0; i < 1000000; i++)
            _answer = 123;
        Thread.MemoryBarrier();    // Barrier 1
        _complete = true;
        Thread.MemoryBarrier();    // Barrier 2
        Console.WriteLine("Exiting A");
    }

    void B()
    {
        //Thread.Sleep(100);
        Thread.MemoryBarrier();    // Barrier 3
        if (_complete)
        {
            Thread.MemoryBarrier();       // Barrier 4
            Console.WriteLine(_answer);
        }
        Console.WriteLine("Exiting B");
    }
}

文章指出它们确保如果 B 在 A 之后运行，则读取 _complete 的结果将为 true。 >>>它们意味着记忆障碍。

即使我删除了内存障碍，输出也没有变化。 并且它并不能确保 if 条件结果为 true。

我是否以错误的方式解释了它？

谢谢。

Answer 1

我在此处和此处。

简而言之，作者是正确的。请密切关注该声明。特别要注意的是，作者说“如果 B 追随 A”。他并不是说条件总是评估为真。相反，该示例旨在演示内存障碍的一个特定细微差别。

此外，通过消除内存障碍来获得不同的结果将很难重现。造成这种情况的原因有很多。这可能是由于您运行测试的环境造成的。