必须用 Volatile.Read 和 Volatile.Write 的场景是:多线程共享字段、仅单次读/写、无需原子复合操作、需防止重排序和保证可见性时;它们不提供原子性或临界区保护,不能替代 lock 或 Interlocked。
Volatile.Read 和 Volatile.Write
当多个线程共享一个字段(比如 bool _isRunning 或 int _state),且你只做单次读/写、不依赖原子复合操作(如 CAS)、又需要防止编译器重排序或 CPU 乱序执行破坏可见性时,Volatile.Read 和 Volatile.Write 是轻量级选择。
它们不是万能的:不能替代 lock、Interlocked 或 Monitor 来保护临界区;也不保证操作的原子性(例如对 long

Interlocked.Increment)volatile 字段的直接读写已具备与 Volatile.Read/Write 相同语义,但显式调用更清晰、且在字段非 volatile 声明时唯一可行Volatile.Read 为什么比普通读取更安全普通字段读取可能被 JIT 编译器优化为寄存器缓存,或因 CPU Store Buffer / Load Buffer 导致其他线程看不到最新值。而 Volatile.Read 强制从内存重新加载,并插入 LoadLoad 和 LoadStore 屏障,确保该读取不会被重排到其前后的内存访问之前。
示例:以下代码中,若不用 Volatile.Read,线程 B 可能永远循环在 while (!_flag),即使线程 A 已设 _flag = true:
static bool _flag = false;// 线程 A _flag = true; // 普通写 —— 不保证立即对其他线程可见
// 线程 B while (!Volatile.Read(ref _flag)) // ✅ 强制读内存,看到更新 { Thread.Sleep(1); }
ref T)生效,不能用于属性、数组元素(需先取地址)mov 指令加内存屏障(如 mfence),开销极低;ARM 架构下开销略高Volatile.Write 的关键约束和常见误用Volatile.Write 保证写入立即刷新到主内存,并阻止该写入与前面的读/写重排序(即插入 StoreStore 和 StoreLoad 屏障)。但它不保证后续读取能看到这个值——必须配对使用 Volatile.Read 才构成完整的可见性链。
错误示例(看似“发布对象”,实则危险):
static SomeType _instance; static bool _initialized;// 线程 A(初始化) var tmp = new SomeType(); // ... 初始化 tmp 字段 Volatile.Write(ref _initialized, true); // ❌ 错!_instance 还没写,其他线程可能看到 _initialized==true 但 _instance==null _instance = tmp; // 普通写,可能被重排到上面 volatile 写之前
// 线程 B(使用者) if (Volatile.Read(ref _initialized)) { var x = _instance.DoSomething(); // NullReferenceException 风险 }
Volatile.Write 标记就绪(或直接声明 volatile static SomeType _instance)Volatile.Write(ref field, value) 的 value 必须是可直接赋值的类型(不能是表达式或方法调用结果,除非提前存入局部变量)struct)字段,若大小超过处理器自然字长(如 128 位结构体),Volatile.Write 无法保证原子性,也不推荐使用volatile 字段关键字的区别
C# 的 volatile 字段修饰符(如 volatile int _counter)在底层等价于所有读写都隐式调用 Volatile.Read/Volatile.Write。但二者语义覆盖范围不同:
volatile 字段:只能用于字段,不能用于局部变量、参数、属性;且一旦声明,所有访问都受约束Volatile.Read/Write:可在任意作用域调用(包括局部变量地址、数组元素),按需控制,更灵活Volatile.Read 不能用于 readonly 字段(编译报错),而 volatile readonly 是非法组合(语法不允许)真正容易被忽略的点:即使用了 Volatile.Read,如果读取的是一个未用 volatile 或 Volatile.Write 发布的对象引用,该对象内部字段的修改依然可能不可见——可见性不传递。