C# volatile 使用详解

总目录

前言

在多线程编程中，确保线程之间的正确同步和可见性是一个关键挑战。C# 提供了多种机制来处理这些挑战，其中之一就是 volatile 关键字。它用于指示编译器和运行时环境不要对特定变量进行某些优化，以保证该变量的读写操作是线程安全的。

一、什么是 volatile？

1. 基础概念

volatile 关键字指示一个字段可以由多个同时执行的线程修改。
- volatile关键字用于修饰字段（成员变量），向编译器和运行时表明该字段可能会被多个线程同时访问和修改，并且它的值可能随时发生变化。
出于性能原因，编译器，运行时系统甚至硬件都可能重新排列对存储器位置的读取和写入。被volatile修饰的字段会禁止编译器和处理器对其执行指令重排序或缓存优化，确保该字段的每次读取都直接从内存中获取最新值，每次写入都立即刷新到内存中，避免因缓存或指令重排导致的数据不一致问题。

2. 主要特征

禁止指令重排：编译器和处理器为了提高性能，可能会对指令进行重排序。在单线程环境下，指令重排不会影响程序的正确性，但在多线程环境中，可能会导致数据不一致。volatile关键字会禁止指令重排，确保对volatile字段的操作按照代码顺序执行。
可见性保证：在多线程环境中，每个线程可能有自己的缓存，当线程访问变量时，可能会先从缓存中读取数据，而不是直接从主内存读取。如果一个线程修改了变量的值，其他线程的缓存可能不会立即更新，从而导致不同线程看到的变量值不一致。volatile关键字通过强制线程直接从主内存读取和写入数据，保证了数据的可见性。
内存屏障：每次读写 volatile 变量都会插入适当的内存屏障（Memory Barrier），这阻止了其他线程看到过期的数据视图。

3. 支持的类型

volatile 可以修饰以下类型的字段：

所有引用类型（如类、接口、数组等）
指针（仅限不安全上下文）
简单类型，如 sbyte、byte、short、ushort、int、uint、char、float 和 bool。
具有以下基本类型之一的 enum 类型：byte、sbyte、short、ushort、int 或 uint。
已知为引用类型的泛型类型参数。
IntPtr 和 UIntPtr。

其他类型（包括 double 和 long）无法标记为 volatile，因为对这些类型的字段的读取和写入不能保证是原子的。若要保护对这些类型字段的多线程访问，请使用 Interlocked 类成员或使用 lock 语句保护访问权限。

volatile 关键字只能应用于 class 或 struct 的字段。不能将局部变量声明为 volatile。

4. 使用示例

volatile关键字只能用于修饰字段，不能用于局部变量、方法参数或返回值等。以下是一个简单的示例：

class VolatileExample
{// 使用 volatile 修饰字段public volatile bool isRunning; public void Start(){isRunning = true;while (isRunning){// 执行一些操作}}public void Stop(){isRunning = false;}
}

在上述代码中，isRunning字段被volatile修饰，确保在Start方法的循环中，每次判断isRunning的值时，都会从主内存中读取最新值。当Stop方法修改isRunning的值为false时，Start方法能立即看到这个变化，从而退出循环。

二、编译器优化示例

该示例大部分内容来自：[C#.NET 拾遗补漏]10：理解 volatile 关键字

要理解 C# 中的 volatile 关键字，就要先知道编译器背后的一个基本优化原理。比如对于下面这段代码：

public class Example
{public int x;public void DoWork(){x = 5;var y = x + 10;Debug.WriteLine("x = " +x + ", y = " +y);}
}

在 Release 模式下，编译器读取 x = 5 后紧接着读取 y = x + 10，在单线程思维模式下，编译器会认为 y 的值始终都是 15。所以编译器会把 y = x + 10 优化为 y = 15，避免每次读取 y 都执行一次 x + 5。但 x 字段的值可能在运行时被其它的线程修改，我们拿到的 y 值并不是通过最新修改的 x 计算得来的，y 的值永远都是 15。

也就是说，编译器在 Release 模式下会对字段的访问进行优化，它假定字段都是由单个线程访问的，把与该字段相关的表达式运算结果编译成常量缓存起来，避免每次访问都重复运算。但这样就可能导致其它线程修改了字段值而当前线程却读取不到最新的字段值。为了防止编译器这么做，你就要让编译器用多线程思维去解读代码。告诉编译器字段的值可能会被其它线程修改，这种情况不要使用优化策略。而要做到这一点，就需要使用 volatile 关键字。

给类的字段添加 volatile 关键字，目的是告诉编译器该字段的值可能会被多个独立的线程改变，不要对该字段的访问进行优化。

使用 volatile 可以确保字段的值是可用的最新值，而且该值不会像非 volatile 字段值那样受到缓存的影响。好的做法是将每个可能被多个线程使用的字段标记为 volatile，以防止非预期的优化行为。

为了加深理解，我们来看一个实际的例子：

    public class Worker{private bool _shouldStop;public void DoWork(){bool work = false;// 注意：这里会被编译器优化为 while(true)while (!_shouldStop){work = !work; // do sth.}Console.WriteLine("工作线程：正在终止...");}public void RequestStop(){_shouldStop = true;}}internal class Program{public static void Main(){Worker workerObject = new Worker();Thread workerThread = new Thread(workerObject.DoWork);workerThread.Start();Console.WriteLine("主线程：启动工作线程...");// 循环直到工作线程激活。while (!workerThread.IsAlive);// 让主线程休眠500毫秒，让工作线程做一些工作。Console.WriteLine("主线程：请求终止工作线程...");Thread.Sleep(500);// 请求工作线程自行停止。workerObject.RequestStop();// 等待线程执行完毕workerThread.Join();Console.WriteLine("主线程：工作线程已终止");}}

在Debug 模式下的运行结果：
在这里插入图片描述
在Release 模式下的运行结果：

产生这个问题的原因就在于：
在Release 模式下，while (!_shouldStop) 会被编译器优化为 while(true) ，虽然主线程在500ms 后执行了RequestStop() 方法修改了 _shouldStop 的值，但工作线程始终都获取不到 _shouldStop 最新的值，也就永远都不会终止 while 循环。

如何解决呢？
解决办法就是上文介绍的 volatile ，对 _shouldStop 字段加上 volatile 关键字：

    public class Worker{private volatile bool _shouldStop;public void DoWork(){bool work = false;// 注意：这里会被编译器优化为 while(true)while (!_shouldStop){work = !work; // do sth.}Console.WriteLine("工作线程：正在终止...");}public void RequestStop(){_shouldStop = true;}}internal class Program{public static void Main(){Worker workerObject = new Worker();Thread workerThread = new Thread(workerObject.DoWork);workerThread.Start();Console.WriteLine("主线程：启动工作线程...");// 循环直到工作线程激活。while (!workerThread.IsAlive);// 让主线程休眠500毫秒，让工作线程做一些工作。Thread.Sleep(500);// 请求工作线程自行停止。Console.WriteLine("主线程：请求终止工作线程...");workerObject.RequestStop();// 等待线程执行完毕workerThread.Join();Console.WriteLine("主线程：工作线程已终止");}}

Release模式下运行结果：
在这里插入图片描述

三、使用场景与示例

1. 标志位

适用于一个线程写、多个线程读的场景，且写操作是原子操作（如简单的赋值操作）。例如，使用 volatile 修饰一个标志位，一个线程负责修改这个标志位，其他线程根据这个标志位的值来决定是否执行某些操作。

private volatile bool _isRunning = true;public void Stop()
{_isRunning = false;
}public void DoWork()
{while (_isRunning){// 执行一些工作...}
}

在这个例子中，_isRunning 被标记为 volatile，这样即使另一个线程调用了 Stop() 方法改变其值，当前线程也会立刻察觉到这个变化并停止循环。

2. 双重检查锁定（DCL）

为什么需要 volatile？
在多线程环境中，如果不使用 volatile，可能会遇到以下问题：

指令重排：编译器或CPU可能会对指令进行优化重排，导致即使在加锁的情况下，也可能看到未完全构造好的对象引用。例如，JIT编译器可能先分配内存地址给 _instance，然后执行构造函数，但在某些平台上，这两个步骤可能被重新排序，使得其他线程在构造函数完成前就看到了非空的 _instance。
缓存一致性：不同线程可能看到不同的缓存版本的数据，即一个线程更新了 _instance，但另一个线程由于读取的是本地缓存，仍然认为它是 null。

volatile 关键字可以解决上述两个问题，因为它：

禁止指令重排，确保所有写操作都按照代码顺序发生。
强制每次读取都从主内存获取最新值，而不是依赖于寄存器或CPU缓存中的旧数据。

在实现单例模式的双重检查锁定时，volatile关键字可以避免因指令重排导致的问题。以下是一个单例模式的示例：

public sealed class Singleton
{// 使用 volatile 修饰符确保线程安全private static volatile Singleton _instance;private static readonly object _lock = new object();private Singleton(){// 私有构造函数防止外部实例化}public static Singleton Instance{get{if (_instance == null) // 第一次检查{lock (_lock){if (_instance == null) // 第二次检查{_instance = new Singleton(); // 创建实例}}}return _instance;}}
}

在这个例子中，_instance 被声明为 volatile ：

以确保在第一个 if 语句中读取 _instance 都会直接从主内存中获取最新值，避免了由于缓存不一致导致的问题。
构造函数的执行不会与 _instance 的赋值操作重排，确保其他线程只能看到一个完全初始化的对象。
虽然 lock 是一种强大的同步机制，它可以确保临界区内代码的线程安全，但在某些情况下，结合使用 volatile 可以为你的程序提供更多层次的保护和优化。特别是当你需要处理复杂的对象初始化、频繁的读取操作或者采用双检查锁定模式时，volatile 能够帮助你实现更高效且可靠的并发控制。

五、注意事项

Release 模式运行：注意，一定要切换为 Release 模式运行才能看到 volatile 发挥的作用，Debug 模式下即使添加了 volatile 关键字，编译器也是不会执行优化的。
并非万能同步机制： volatile关键字只能保证变量的可见性和一定程度上的有序性，但不能保证操作的原子性。 例如，对于volatile int sharedCounter; sharedCounter++;这样的操作，虽然每次读取和写入sharedCounter的值都是从主内存进行的，但sharedCounter++实际上包含了读取、加 1 和写入三个操作，不是原子操作，在多线程环境下仍可能出现数据竞争问题。如果需要原子操作，可以使用Interlocked类。

using System;
using System.Threading;class Program
{private static volatile int sharedCounter = 0;static void Main(){// 创建两个线程Thread thread1 = new Thread(IncrementCounter);Thread thread2 = new Thread(IncrementCounter);// 启动线程thread1.Start();thread2.Start();// 等待两个线程执行完毕thread1.Join();thread2.Join();// 输出最终的计数器值Console.WriteLine($"Final counter value: {sharedCounter}");//第一次输出结果： Final counter value: 1226406//第二次输出结果： Final counter value: 1551244// ...// 会发现每次输出的结果都不一样}static void IncrementCounter(){for (int i = 0; i < 100_0000; i++){sharedCounter++;}}
}

性能影响：由于volatile关键字禁止了编译器和处理器的一些优化，频繁使用volatile可能会对性能产生一定的影响。因此，只有在确实需要保证变量的可见性时才使用volatile，避免滥用。
与属性结合使用时需谨慎：volatile 只能修饰字段，不能直接应用于属性。如果需要对属性进行类似的保护，可以在内部实现中使用 volatile 字段。