Java多线程之内存可见性

Java多线程之内存可见性
1.可见性：一个线程对共享变量值的修改，能够及时的被其他线程看到。
2.共享变量：如果一个变量在多个线程的工作内存中都存在副本，那么这个变量就是这几个线程的共享变量

Java内存模型：（JMM）
Java内存模型(Java Memory Model)描述了Java程序中各种变量(线程共享变量)的访问规则，
以及JVM中将变量存储到内存和从内存中读取到变量这样的底层细节。
所有的变量都存储在主内存中，
每个变量都有自己独立的工作内存，里面保存该线程使用到的变量的副本(主内存中该变量的拷贝)

两条规定:
1.线程对共享变量的所有操作都必须在自己的工作内存中进行，不能直接从主内存中读写
2.不同线程之间无法直接访问其他线程工作内存中的变量，线程间变量值的传递需要通过主内存来完成。

共享变量在线程间的可见性，必须保证两点：
1.线程修改后的共享变量值能够及时从工作内存刷新到主内存
2.其他线程能够及时把共享变量的最新值从主内存更新到自己的工作内存中

Java语言层面支持的可见性实现方式：
synchronized
原子性(同步)
可见性
volatile

synchronized实现可见性

volatile实现可见性
能够保证volatile变量的可见性
不能保证volatile变量符合操作的原子性
如何实现:
通过加入内存屏障和禁止重排序优化来实现的。
1.对volatile变量执行写操作时，会在写操作后加入一条store屏障指令
2.对volatile变量执行读操作时，会在读操作后加入一条load屏障指令

volatilez使用注意事项
要在多线程中安全的使用volatile，必须同时满足：
1.对变量的写入操作不依赖其当前值
不满足：eg:number++,count=count*5等
满足：boolean变量，记录温度变化的变量等
2.该变量没有包含在具有其他变量的不变式中
不满足：不变式 low