并发与高并发编程实战05--线程安全性之可见性

导致共享变量在线程间不可见的原因

1)线程交叉执行

2)重排序结合线程交叉执行

3)共享变量更新后的值没有在工作内存与主存间及时更新

JMM（java内存模型）关于synchronized的两条规定:

1)线程解锁前,必须把共享变量的值刷新到主内存

2)线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新读取最新的值(注意,加锁和解锁是同一把锁)

可见性-volatile

通过加入内存屏障和禁止重排序优化来实现

1)对volatile变量进行写操作时,写操作后加入一条store屏障指令,将本地内存中的共享变量刷新到主内存。

2)对volatile变量进行读操作时,读操作前加入一条load屏障指令，从主内存中读取共享变量。

volatile不具有原子性,在做加操作的多线程测试时,发现会比实际的值少,比如总共5000的请求,200的并发下,即使int类型的变量被volatile修饰,最后实际的结果也不是5000.把大象放入冰箱总共需要几步?三步！执行count++时,也分三步,从主内存取得最新值,加操作,将值刷新到主内存.