Java内存模型

基本概念

1. 线程通信
   线程之间以何种方式进行消息传递
   共享内存 & 消息传递
   
2. 线程同步
   程序间用于控制不同线程间操作发生相对顺序的机制
   
   java是共享内存模型】采用的是隐式通信、显式修改
   
   jvm定义了线程和主内存(Main Memory)之间的关系:
   1) 线程之间的共享变量存储在主内存中
   2) 线程私有变量存储在私有本地内存 Local Memory中、
      本地内存是jvm的一个抽象概念、并非真实存在、涵盖缓存、缓冲区、寄存器及其它硬件及编译器优化
   Java同步原语(synchronize volatile  final)

指令重排

1. 编译器重排
   在不改变单线程语义的条件下、编译器可以重排指令的执行顺序
2. 指令重排 
   现代cpu采用了指令级并行技术、可以同时执行多条指令、若无数据依赖、
   处理器可以改变机器指令的执行顺序
3. 内存系统的重排
   由于处理器采用缓存和读写缓冲区、使得加载和存储操作看上去是乱序的、
   可能在乱序执行

jvm 指令执行

未使用同步的程序在jvm中的执行基本无序、
1. jvm不保证单线程内的操作会按照程序代码顺序执行、临界区指令重排
2. jvm不保证所有线程看到的执行顺序一致
3. jvm不保证64位的long、double类型写操作具有原子性