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()方法;