Unreal Engine FGCCSyncObject::GCLock内存屏障的作用及移除影响

内存屏障的核心目的 #

GCLock是用来保护GC相关共享状态（比如对象标记状态、GC运行阶段）的全局锁，这里的内存屏障主要干两件事：

• 阻止CPU指令重排序：CPU为了提升执行效率，会对无依赖关系的指令进行乱序执行。如果没有内存屏障，可能出现逻辑混乱：比如线程刚拿到GCLock，后续访问GC共享数据的指令被CPU提前到锁获取前执行；或者线程释放锁前对GC状态的修改，被延迟到锁释放后才执行。内存屏障强制要求屏障前的所有指令执行完毕、结果同步后，才允许执行屏障后的指令，确保锁的逻辑有效——拿到锁后看到的是所有线程释放锁时的最新状态。
• 保证缓存一致性：Windows平台的_mm_sfence是写屏障，确保之前的写操作都刷入主存；Unix平台的__sync_synchronize是全屏障，读写操作都同步到主存。这样其他线程获取锁后，能立刻读到当前线程对GC状态的修改，不会因为CPU缓存不一致读到旧数据。

移除内存屏障会引发的问题 #

• 锁的保护完全失效：多线程环境下，指令重排序会让锁的逻辑形同虚设。比如线程A释放锁后修改了GC的运行状态（比如标记完成），但CPU没把修改刷到主存，线程B拿到锁后读到的还是旧状态，可能在GC运行时去修改对象，直接引发崩溃或内存泄漏。
• 数据竞争导致随机问题：线程C拿到锁前，CPU提前执行了访问GC共享数据的指令，此时锁还没生效，直接操作共享数据会和其他线程的GC操作冲突，出现随机崩溃、对象被错误回收、内存损坏等难以复现和调试的问题。
• 跨平台兼容性崩溃：不同平台的内存屏障语义不同，移除后有些平台可能低并发下没问题，但高并发场景必出问题，而且跨平台表现不一致，排查难度极大。

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