.NET中Volatile.Read与Interlocked.Exchange并发访问共享内存是否安全？

问题代码 #

class SomeClassWhoseInstancesAreAccessedConcurrently
{
    private Strategy _strategy;
    
    public SomeClassWhoseInstancesAreAccessedConcurrently()
    {
        _strategy = new SomeStrategy();
    }
    
    public void DoSomething()
    {
        Volatile.Read(ref _strategy).DoSomething();
    }

    public void ChangeStrategy()
    {
        Interlocked.Exchange(ref _strategy, new AnotherStrategy());
    }
}

场景说明 #

该代码用于多线程并发访问对象时修改策略字段，核心需求是确保修改后所有线程都能读取到新策略实例，避免因寄存器/CPU缓存缓存旧值而调用旧策略的DoSomething方法。

疑问解答 #

1. 仅用Volatile.Read是否足够，还是需要改用Interlocked.CompareExchange(ref _strategy, null, null)？ #

仅用Volatile.Read完全足够。

Volatile.Read会生成**获取语义（acquire semantics）**的读操作：它会阻止CPU将后续的内存操作重排序到该读操作之前，同时确保读取到的是最新的、已提交到主内存的_strategy值，而非CPU缓存或寄存器中的旧值。

Interlocked.CompareExchange(ref _strategy, null, null)本质是带全围栏的读操作，虽能保证正确性，但属于过度设计——它的语义强于当前场景需求，且性能开销略高于Volatile.Read。当前场景只需确保读操作获取最新值并防止重排序，Volatile.Read已完全满足要求。

2. 若Volatile.Read足够，是否必须用Interlocked.Exchange，还是volatile write即可？ #

两种写法都能保证正确性，但需注意volatile write的语义边界：

• Interlocked.Exchange的优势：它自带释放语义（release semantics），会阻止CPU将该写操作之前的内存操作重排序到之后，同时确保新策略实例的构造完成（所有字段初始化）后才写入主内存，其他线程读取时不会看到未完全初始化的对象。ECMA-335规范明确要求Interlocked操作隐式包含获取/释放围栏，即便部分平台底层实现有细微差异，.NET运行时也会做适配，保证语义一致性。
• volatile write的可行性：若将_strategy声明为private volatile Strategy _strategy，在ChangeStrategy中直接赋值_strategy = new AnotherStrategy()也能保证正确性。.NET中的volatile写操作带有释放语义，同样能确保新对象初始化完成后才发布到主内存，其他线程通过Volatile.Read（或直接读取volatile字段）能获取到最新值。

需注意：若使用volatile字段，要确保所有对_strategy的写操作都遵循volatile语义——不能混合普通写和volatile写，否则会破坏内存可见性保证。

平台实现补充 #

虽有资料提到部分平台的Interlocked操作未完全按ECMA规范实现，但.NET运行时会针对不同CPU架构（x86/x64、ARM、ARM64等）和操作系统（Windows、Linux、macOS）做适配，确保Interlocked和Volatile操作的语义符合ECMA-335要求。开发者无需针对特定平台调整代码，只要遵循.NET内存模型规范编写，就能保证跨平台正确性。

内容的提问来源于stack exchange，提问作者Adam Simon