1.多核心cpu下线程并发会带来的三大问题:原子性/可见性/有序性
2.原子性问题:i++操作不是原子性:lock、unlock、read、load、assign、use、store、 write(JMM8个指令可以解释)
3.可见性问题:cpu为提高效率各自有自己的缓冲区L1和L2,对数据各自有各自的备份,每次更改玩数据不会立即写回主内存
4.有序性问题:由于cpu对指令会进行优化(满足as-if-serial原则)重排序,在多线程并发下,有可能会产生不期待的结果
5.volatile能保证可见性和有序性,不能解决原子性问题
6.可见性和有序性如何解决?
可见性问题解决:通过内存屏障,每次修改完会立即写回主内存,cpu的缓存一致性协议(MESI)要求修改数据之前将其他cpu中对应的缓存行置为I(失效)状态,所以其他cpu在读取数据时不会从失效的缓存行中读取,从而保证了可见性。
有序性问题解决:
java中内存屏障分为4种:
loadload/loadstore/storeload/storestore
volatile采取悲观策略:
在读volatile修饰的变量前加上loadload屏障,在读取数据后加上loadstore屏障
在写volatile修饰的变量前加上storestore屏障,在写数据后加上storeload屏障
这样就防止了重排序问题了,因为不管是后后面的store和load指令,还是前面的sotre和load指令都不可能移动到屏障前面或者后面了