内存顺序中Relaxed与Acquire的差异及Rust原子加载替换影响分析

• Relaxed：是最宽松的内存顺序，仅保证原子操作本身的原子性，没有任何跨线程的内存可见性约束。编译器和CPU可以自由重排Relaxed操作与其他非原子操作的顺序，其他线程对同一原子变量的操作结果，不保证能被当前线程的Relaxed操作看到。
• Acquire：仅适用于加载（load）操作，有两个核心约束：
  1. 线程内约束：当前线程中，所有在Acquire load之后的读写操作，不能被重排到该load之前；
  2. 跨线程同步约束：如果一个线程对原子变量执行了Release store，另一个线程对同一变量执行Acquire load并读取到该store的值，那么Release store之前的所有内存操作结果，对执行Acquire load的线程完全可见，两者之间建立了同步关系。

这段代码是典型的双重检查锁定（DCLP）单例实现，核心是确保Data对象被正确初始化后再被其他线程访问。如果把第一个load的内存顺序从Acquire改成Relaxed，会导致严重的未定义行为：

问题根源 #

当第一个线程完成compare_exchange（使用Release顺序）时，Release约束仅保证：该线程中generate_data()的所有初始化操作（Data对象的构造、字段赋值等），不会被重排到compare_exchange的store操作之后。但对于其他线程来说，要看到这些初始化操作的结果，必须通过配对的Acquire操作来建立同步关系。

如果用Relaxed加载PTR：

• 线程可能会读取到非null的指针（说明已有线程完成了Data的创建），但由于Relaxed没有同步约束，编译器或CPU可能会对内存操作进行重排，导致该线程看到的Data对象是未完全初始化的状态（比如部分字段还没赋值）。
• 后续的unsafe { &*p }解引用未完全初始化的对象，会触发未定义行为（可能导致崩溃、数据错乱等）。

对疑问的解答 #

你提到的“Release交换保证对象被完全创建”是对的，但这只针对执行Release操作的线程本身。其他线程要安全访问这个对象，必须通过Acquire加载来同步——Acquire会强制线程看到Release操作之前的所有初始化结果，确保解引用时对象是完整的。

至于“多个线程同时检测到PTR为空、尝试创建对象”的情况，这是DCLP的正常现象，compare_exchange会保证只有一个线程能成功设置PTR，其他线程会丢弃自己创建的对象并复用已有的指针，这部分逻辑不受load顺序的影响。但关键问题在于那些没有进入创建分支、直接加载到非null指针的线程，Relaxed无法保证它们看到的对象是完整的。

内容的提问来源于stack exchange，提问作者silver-ymz