内联方法是否引发引用类型对象竞态条件及线程安全问询

核心问题确认 #

是的，完全有可能读取到已分配内存地址但未完成初始化的Setting对象。C#中引用类型的new操作分为三个步骤：1. 分配内存；2. 初始化对象成员；3. 将引用指向分配的内存。由于CPU指令重排和编译器优化，步骤2和3的顺序可能被调换，导致其他线程先拿到未初始化的对象引用，之后才看到成员初始化完成。

场景问题解答 #

1. UpdateMemberAsync是否安全？ #

安全。await关键字会在异步点前后插入隐式的内存屏障，确保await api.GetSettingAsync()完成后，对象的初始化操作已经全部完成，不会出现指令重排导致的未初始化对象被赋值到Setting的情况。同时，异步方法的上下文切换也会保证内存可见性，其他线程读取到的要么是旧实例，要么是完全初始化后的新实例。

2. UpdateMemberByInlinable是否不安全？ #

是的，不安全。如果api.GetSetting()被编译器内联，编译器可能将new Setting()的指令重排：先把未初始化的对象引用赋值给Setting字段/属性的后台字段，再执行对象成员的初始化。此时其他线程读取Setting时，就会拿到未完成初始化的对象实例，引发不可预期的错误。

3. UpdateVirtualMember是否安全？ #

安全。虚拟属性的赋值操作，由于JIT编译器无法对虚拟调用的内部逻辑做激进的指令重排优化，api.GetSetting()返回的对象必然是完成初始化后的实例。此外，虚拟属性的set访问器本身也会阻止编译器将对象初始化和引用赋值的指令重排，所以不会出现未初始化对象被读取的情况。

4. UpdateMemberByNonInlinable是否安全？ #

安全。当api是接口或包含非密封虚方法的类时，api.GetSetting()无法被内联。此时GetSetting()内部的new Setting()操作会遵循正常的指令顺序：先完成对象初始化，再返回引用。赋值给Setting字段/属性时，传递的是已经完全初始化的对象引用，其他线程读取时不会拿到未初始化的实例。

5. UpdateMemberUsingBarrier是否安全？ #

安全。Thread.MemoryBarrier()会插入一个全内存屏障，阻止屏障前后的指令重排。在获取到setting实例后插入屏障，确保api.GetSetting()内部的对象初始化操作全部完成后，才会执行Setting = setting的赋值操作。这样其他线程读取到的Setting要么是旧实例，要么是完全初始化后的新实例，不会出现中间状态。

6. 除示例外还有哪些遗漏点？ #

• volatile关键字的使用：如果直接将Setting字段标记为volatile，可以确保每次读取都是从主内存获取最新值，同时阻止编译器和CPU对该字段的读写指令重排，从根源避免未初始化对象的问题。
• Interlocked类的使用：可以用Interlocked.Exchange(ref Setting, newSetting)来原子性地替换引用，该方法本身包含内存屏障，保证操作的线程安全。
• 弱引用/终结器风险：如果Setting对象包含非托管资源，未初始化的对象被读取后可能触发异常的终结器执行。
• 编译器版本与优化等级：不同版本的.NET编译器在优化策略上可能有差异，Debug模式下的优化关闭会掩盖问题，但Release模式下的激进优化会暴露指令重排的风险。
• 跨平台环境：在ARM等弱内存模型的CPU架构上，指令重排的概率更高，内存可见性问题会更突出，需要更严格的内存屏障或volatile修饰。

示例代码 #

public class Service
{
    public Setting Setting = new();
    public Setting SettingProperty { get; set; } = new();
    public virtual Setting SettingVirtualProperty { get; set; } = new();

    // 由其他线程调用
    public async Task StartAsync()
    {
        // 不需要拿到最新值，旧实例也可以用
        var setting = Setting;

        await Foo(setting);
        await Bar(setting);
    }

    // Api是包含非虚或密封方法的类
    public void UpdateMemberByInlinable(Api api)
    {
        Setting = api.GetSetting();

        // 内联后的等效逻辑
        var t = new Setting();

        Setting = ptrT;
        // 或者
        SettingProperty.BackingField = ptrT;

        // 先赋值引用，再初始化成员
    }

    // Api可以是任意类型
    public async Task UpdateMemberAsync(Api api)
    {
        Setting = await api.GetSettingAsync();
        // 或者
        SettingProperty = await api.GetSettingAsync();
        // 或者
        SettingVirtualProperty = await api.GetSettingAsync();
    }

    // Api可以是任意类型
    public void UpdateVirtualMember(Api api)
    {
        SettingVirtualProperty = api.GetSetting();
    }

    // Api是接口或包含非密封虚方法的类
    public void UpdateMemberByNonInlinable(Api api)
    {
        Setting = api.GetSetting();
        // 或者
        SettingProperty = api.GetSetting();
    }

    // Api可以是任意类型
    public void UpdateMemberUsingBarrier(Api api)
    {
        var setting = api.GetSetting();

        Thread.MemoryBarrier();

        Setting = setting;
        // 或者
        SettingProperty = setting;
    }
}

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