4.2.1.2 可见性与原子性

文档摘要

4.2.1.2 可见性与原子性你有没有在深夜调试一个多线程服务时，盯着一段看似“逻辑完美”的代码，却反复复现一个诡异的空指针异常——而那个对象，明明在另一个线程里早已完、字段全赋了值、甚至日志都打出了？你加了，它不报错了；你换成，它又偶尔闪退；你把初始化逻辑塞进块，问题却转移到了另一个共享计数器上：在高并发下永远卡在，像被施了定身咒。这不是玄学。这是弱内存序模型在你眼皮底下悄悄拆掉了你对“先后”的全部直觉。今天，我们不谈理论框架，不列八种内存屏障语义，也不背诵 x86-TSO 与 ARMv8-Litmus 的差异表。