多线程修改变量：单/双Task.Run行为差异及volatile的必要性

问题现象 #

我在多任务环境下修改变量时遇到了循环退出不一致的问题，以下是三个测试场景：

场景1：两个Task.Run执行，循环正常退出 #

static void Main(string[] args)
{
    bool test = true;

    Task.Run(() =>
    {
        System.Console.WriteLine($"Before Sleep ! test:{test}");
        Thread.Sleep(1000);
        test = false;
        System.Console.WriteLine($"After Sleep ! test:{test}");

    });
    Task.Run(() =>
    {
        while (test)
        {
        }
        Thread.Sleep(50);
        Console.WriteLine("Escape successfully ! "); // 可正常输出
    });

    Console.ReadKey();
}

这段代码会正常输出Escape successfully ! 。

场景2：主线程执行循环，无法退出 #

移除第二个Task.Run后，循环永远无法退出，Escape successfully ! 不会输出：

static void Main(string[] args)
{
    bool test = true;

    Task.Run(() =>
    {
        System.Console.WriteLine($"Before Sleep ! test:{test}");
        Thread.Sleep(1000);
        test = false;
        System.Console.WriteLine($"After Sleep ! test:{test}");

    });
    while (test)
    {
    }
    Thread.Sleep(50);
    Console.WriteLine("Escape successfully ! "); // 无法输出

    Console.ReadKey();
}

场景3：两个Task.Run也偶尔无法退出 #

进一步测试发现，即使使用两个Task.Run，也并非总能正常运行，循环偶尔还是无法退出：

static void Main(string[] args)
{
    bool test = true;

    Task.Run(() =>
    {
        System.Console.WriteLine($"Before Sleep ! test:{test}");
        Thread.Sleep(1000);
        test = false;
        System.Console.WriteLine($"After Sleep ! test:{test}");

    });

    Task.Run(() =>
    {
        Console.WriteLine("Into While");
        while (test)
        {
        }
        Console.WriteLine("Escape successfully ! "); // 未输出
    });

    Console.ReadKey();
}

原因解析 #

这本质是多线程下的变量可见性问题，由CPU缓存优化和JIT编译器优化共同导致：

• 每个CPU核心都有自己的缓存，线程访问变量时可能会将变量值缓存到核心缓存或寄存器中，而非每次都从主内存读取。
• 场景2中，主线程的空while循环被JIT编译器极端优化：它会认为test的值不会被外部修改，直接将值缓存到寄存器，不再去主内存同步最新值，导致循环永远无法退出。
• 场景1中两个线程的执行环境触发了缓存刷新（比如线程切换），所以偶尔能读取到变量的最新值；但场景3的不稳定表现说明这种依赖完全不可靠，不能作为解决方案。

解决方案：使用volatile关键字 #

给共享变量添加volatile修饰符，能强制编译器和CPU：

1. 每次读取变量时必须从主内存获取，禁止缓存到寄存器或核心缓存；
2. 禁止对该变量的读写指令进行重排序优化。

修改后的代码如下，能保证变量修改对所有线程可见，循环稳定退出：

static void Main(string[] args)
{
    volatile bool test = true;

    Task.Run(() =>
    {
        System.Console.WriteLine($"Before Sleep ! test:{test}");
        Thread.Sleep(1000);
        test = false;
        System.Console.WriteLine($"After Sleep ! test:{test}");
    });

    Task.Run(() =>
    {
        Console.WriteLine("Into While");
        while (test)
        {
        }
        Console.WriteLine("Escape successfully ! ");
    });

    Console.ReadKey();
}

除了volatile，也可以通过lock锁、Interlocked类或Thread.MemoryBarrier()来保证内存可见性，但volatile是针对这类简单共享布尔变量的轻量级最优解。

内容的提问来源于stack exchange，提问作者王楷瑞