有序性：代码执行的幻觉 前面讲到通过缓存一致性协议，来保障共享变量的可见性。那么是否还有其他情况，导致对共享变量操作不符合预期结果。可以看下面的代码： private int

原子性：不可分割的操作 private int count = 0; public void test() { List<Thread&g

内存模型与happens-before：开发者与硬件的和平条约 在前文中，提到处理器通过一些特殊指令（如 LOCK、CMPXCHG、内存屏障等）来保障多线程环境下程序的正确性。