导致共享变量在线程间不可见的原因
1)线程交叉执行
2)重排序结合线程交叉执行
3)共享变量更新后的值没有在工作内存与主存间及时更新
JMM(java内存模型)关于synchronized的两条规定:
1)线程解锁前,必须把共享变量的值刷新到主内存
2)线程加锁时,将清空工作内存*享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(注意,加锁和解锁是同一把锁)
可见性-volatile
通过加入内存屏障和禁止重排序优化来实现
1)对volatile变量进行写操作时,写操作后加入一条store屏障指令,将本地内存中的共享变量刷新到主内存。
2)对volatile变量进行读操作时,读操作前加入一条load屏障指令,从主内存中读取共享变量。
volatile不具有原子性,在做加操作的多线程测试时,发现会比实际的值少,比如总共5000的请求,200的并发下,即使int类型的变量被volatile修饰,最后实际的结果也不是5000.把大象放入冰箱总共需要几步?三步!执行count++时,也分三步,从主内存取得最新值,加操作,将值刷新到主内存.