【高并发系列】2、JMM

JMM：Java Memory Model

Java内存模型

1、原子性 Atomicity

原子性指一个操作是不可中断的，要么全部执行成功，要么全部执行失败；

对于32位系统，long型数据的读写不是原子性的；

2、可见性 Visibility

可见性指当一个线程修改了某一个共享变量的值时，其他线程是否能够立即知道这个修改；

3、有序性 Ordering

指令重排可能导致与原指令预期的顺序错乱；

指令重排可以保证出串行语义一致，但不能保证多线程间的语义一致；

指令重排原则：Happen-Before规则

• 程序顺序原则：一个县城内保证语义的串行性；
• volatile规则：volatile变量的写优先于读发生，保证可见性；
• 锁规则：解锁（unlock）必然发生在随后的加锁（lock）前；
• 传递性：A先于B，B先于C，那么A必然先于C；
• 线程的start()方法先于它的每一个动作；
• 线程的所有操作先于线程的终结（Thread.join()）；
• 线程的中断（interrupt()）先于被中断程序的代码；
• 对象的构造函数的执行、结束先于finalize()方法；