重排序的影响
重排序不会给单线程带来内存可见性的问题。
多线程中,线程交互执行时,重排序可能会造成内存可见性的问题。
synchronized 即能保证可见性,又能保证原子性。
volatile只能保证可见性,不能保证原子性。
导致共享变量在线程间不可见的原因
1.线程的交叉执行
2.重排序结合线程交叉执行
3.共享变量更新后的值没有及时更新到主内存中
synchronized实现可见性的方式
线程解锁前,必须把共享的最新值刷新到内存。
线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中读取最新的值。
volatile实现可见性的方式
通过加入内存屏障和禁止重排序优化来实现的。
对volatile变量的写操作时,会在写操作后加入一条store屏障指令,来保证值即时刷入主内存。
对volatile变量的读操作时,会在读操作前加入一条load屏障指令,来保证读到主内存中最新值。
volatile不能实现原子性
private int num=0;
num++;不是原子操作;
1.读取 num的值
2.num的值加1
3 写入最新的num
volatile实现原子性的解决方法
1.使用synchronized
2.使用java.util.concurrent.locks 包,如:ReentrantLock
3.使用java.util.concurrent.atomic包, 如 :AtomicInteger;
synchronized能实现原子性
synchronized(this){
num++;
}