java 的内存一致性模型(mcm)使用 "先行发生原则" 确保多线程程序中对共享内存的一致访问。先行发生原则定义了操作之间的顺序关系,包括程序顺序、锁定、volatile 变量、final 变量和传递性。在实战中,同步方法可确保对共享内存的写操作对其他线程可见,但不能保证原子性。 Java 并发