实现内存可见性的方式

今天看一下实现内存可见性的方式
首先看一下一些概念：
可见性：一个线程对共享变量值的修改，能够及时的被其他线程看到。
共享变量：如果一个变量在每个线程的工作内存中都有副本，那么这个变量就是这些线程的共享变量。

下面讲一下关于Java内存的一些东西

• 所有的变量都存储在主内存
• 每个线程都有自己独立的工作内存，里面保存该线程使用到的变量的副本(主内存中该变量的一个拷贝)

Synchronized可以实现

• 原子性
• 可见性

Java内存模型的两条规定

• 线程对共享变量的所有操作必须在自己的工作内存中进行，不能直接从住内存中读写
• 不同线程直接不能直接访问其他线程工作内存中的变量，线程间变量的传递需要通过主内存。

指令重排序
代码的书写顺序和执行顺序不一致，重排序是编译器或者处理器为了提高程序性能所做的优化。

as-if-serial语义
无论如何重排序，程序执行的结果应该与代码顺序执行的结果一致。重排序不会给单线程造成内存可见性问题

if(ready){result = number*3;}

上面的代码也可能重排序，只有数据依赖关系才会禁止重排序，上面的代码等同于

int mid = 3;if(ready){result = mid;}