volatile关键字
作用:
1.可见性
2.禁止代码重排序
synchronized 方法或代码块
作用:
1.可见性
2.原子性
3.禁止代码重排序
1.可见性原理
volatile 线程具有工作内存,工作时只写入读取工作内存,这个工作内存
是每个线程私有的,所以这就是造成不可见的原因
添加了 volatile 关键字后,线程会从主内存中读取数据,而主内存是每个
线程公有的,所以就保证了数据可见性
2.数据
数据指什么
public class TestThread extends Thread {
volatile private boolean flag = true;
@Override
public void run() {
while(flag) {
}
}
}
在这个例子中数据是这个flag,这是一个实例变量,在不同对象中它自然是不同的,
但是多线程可见性研究对象是同一对象的在不同线程中的值
3.volatile保证可见,为什么不能保证原子性呢
因为volatile只是让线程从私有 工作内存中取值,变为从公有 主内存中取值,
拿i++操作来说,i++分为三步:
1.从内存中取出i的值到寄存器
2.CPU计算寄存器中i的值
3.将寄存器中的i写回内存
可以看出无论是从工作内存还是主内存取值,计算i++都要通过这三步
这三步本身就存在原子性问题,如果线程A和线程B
同时运行到第一步,那它们取的值都相同,假设原来i=1,则两个线程计算后
都为2,两个线程再将2写回内存,而正确的值应该是3
这就是Java代码只有一行的 i++ 仍然会出现线程安全的问题的原因,
因为它是非原子的
保证i++原子性可以使用synchronized和Atomic原子类
4.代码重排序
在Java多线程程序运行时,JIT Just-In-Time-Compiler 即时编译器 可以动态改变
代码运行顺序,如:
A代码-重耗时
B代码-轻耗时
C代码-重耗时
D代码-轻耗时
可以重排序成
B代码-轻耗时
D代码-轻耗时
A代码-重耗时
C代码-重耗时
这样做的原因是 CPU流水线同时执行这4个指令,轻耗时的代码在很大程度上
先执行完,可以让出CPU流水线资源给其他指令
5.使用volatile关键字可以禁止重排序
A代码
B代码
volatile 变量的操作
C代码
D代码
则A和B可以重排序,C和D可以重排序,但是以volatile标注的变量操作为分界线
如A和D不能重排序,B和C不能重排序
6.使用synchronize代码块可以禁止重排序
A代码
B代码
synchronize(){}
C代码
D代码
同上