什么时候必须用 Volatile.Read
和 Volatile.Write
当多个线程共享一个字段（比如
bool _isRunning或
int _state），且你只做单次读/写、不依赖原子复合操作（如 CAS）、又需要防止编译器重排序或 CPU 乱序执行破坏可见性时，
Volatile.Read和
Volatile.Write是轻量级选择。
它们不是万能的：不能替代
lock、
Interlocked或
Monitor来保护临界区；也不保证操作的原子性（例如对
long在 32 位平台仍可能撕裂）。 典型场景：轮询标志位（如取消信号）、状态机中的单字段状态切换、双检锁（Double-Checked Locking）里的实例引用发布 错误做法：用它来“模拟”计数器（应改用
Interlocked.Increment） 注意：.NET 5+ 中对
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;
<p>// 线程 A
_flag = true; // 普通写 —— 不保证立即对其他线程可见</p><p>// 线程 B
while (!Volatile.Read(ref _flag)) // ✅ 强制读内存，看到更新
{
Thread.Sleep(1);
}
仅对字段地址（ref T）生效，不能用于属性、数组元素（需先取地址） 对引用类型字段，读取的是引用本身（地址），不是对象内容；对象内字段仍需自行同步 在 x64/x86 上通常编译为普通
mov指令加内存屏障（如
mfence），开销极低；ARM 架构下开销略高
Volatile.Write
的关键约束和常见误用
Volatile.Write保证写入立即刷新到主内存，并阻止该写入与前面的读/写重排序（即插入
StoreStore和
StoreLoad屏障）。但它不保证后续读取能看到这个值——必须配对使用
Volatile.Read才构成完整的可见性链。
错误示例（看似“发布对象”，实则危险）：
static SomeType _instance;
static bool _initialized;
<p>// 线程 A（初始化）
var tmp = new SomeType();
// ... 初始化 tmp 字段
Volatile.Write(ref _initialized, true); // ❌ 错！_instance 还没写，其他线程可能看到 _initialized==true 但 _instance==null
_instance = tmp; // 普通写，可能被重排到上面 volatile 写之前</p><p>// 线程 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：可在任意作用域调用（包括局部变量地址、数组元素），按需控制，更灵活 性能上无实质差异；JIT 对两者生成的指令基本一致 重要限制：
Volatile.Read不能用于
readonly字段（编译报错），而
volatile readonly是非法组合（语法不允许）
真正容易被忽略的点：即使用了
Volatile.Read，如果读取的是一个未用
volatile或
Volatile.Write发布的对象引用，该对象内部字段的修改依然可能不可见——可见性不传递。
