必须用 Volatile.Read 和 Volatile.Write 的场景是：多线程共享字段、仅单次读/写、无需原子复合操作、需防止重排序和保证可见性时；它们不提供原子性或临界区保护，不能替代 lock 或 Interlocked。
什么时候必须用 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：
Miller (mlr) 是一个命令行工具，用于查询、整形和重新格式化名称索引数据，如 CSV、TSV、JSON 和 JSON Lines。它将 awk、sed、cut、join 和 sort 的功能整合到一个专为结构化数据处理而构建的单一工具中。
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 发布的对象引用，该对象内部字段的修改依然可能不可见——可见性不传递。
