Java内存模型

内存模型：

俩个问题

• 线程之间如何通信

• 线程之间如何同步

同步是指程序中用于不同线程的操作发生相对顺序的机制

Java并发采用的是共享内存模型

JMM通过控制主内存与每个线程的本地内存之间的交互，保证Java程序的可见性

指令重排：

• 编译器优化重排序
• 指令集重排序
• 内存系统的重排序

顺序一致性内存模型

• 一个线程中的所有操作必须按照程序的顺序来执行
• （不管程序是否同步）所有线程都只能看到一个单一的操作执行顺序

volatile特性

• 可见性：对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入
• 原子性：对任意单个volatile变量的读/写具有原子性，但类似于volatile++这种复合操作不具有原子性

final域的重排序规则

• 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这俩个操作不能重排序
• 初次读一个包含final域的对象的引用，与随后初次读这个final域，这俩个操作之间不能重排序