今天看一下实现内存可见性的方式
首先看一下一些概念:
可见性:一个线程对共享变量值的修改,能够及时的被其他线程看到。
共享变量:如果一个变量在每个线程的工作内存中都有副本,那么这个变量就是这些线程的共享变量。
下面讲一下关于Java内存的一些东西
- 所有的变量都存储在主内存
- 每个线程都有自己独立的工作内存,里面保存该线程使用到的变量的副本(主内存中该变量的一个拷贝)
Synchronized可以实现
- 原子性
- 可见性
Java内存模型的两条规定
- 线程对共享变量的所有操作必须在自己的工作内存中进行,不能直接从住内存中读写
- 不同线程直接不能直接访问其他线程工作内存中的变量,线程间变量的传递需要通过主内存。
指令重排序
代码的书写顺序和执行顺序不一致,重排序是编译器或者处理器为了提高程序性能所做的优化。
as-if-serial语义
无论如何重排序,程序执行的结果应该与代码顺序执行的结果一致。重排序不会给单线程造成内存可见性问题
if(ready){
result = number*3;
}
上面的代码也可能重排序,只有数据依赖关系才会禁止重排序,上面的代码等同于
int mid = 3;
if(ready){
result = mid;
}