文章目录
1.分析volatile
1.1 volatile的定义
volatile关键字是用来修饰共享变量的,当共享变量被某个线程修改时,其他线程能够马上感知到这个变量被修改了,volatile屏蔽了各种缓存机制,使线程统一读取主内存中的数据。
1.2 volatile的理解
volatile关键字可以保证可见性和有序性,但不能保证原子性。
有序性: 重排序,代码在编译阶段和指令优化阶段会优化代码执行顺序,代码并不会按照我们输入的顺序实际去执行。重排序对单线程没有影响,对多线程有影响。
volatile
happens-before原则:
A->B ,B->C,A ->C A先于B,B先于C ,那么A必先于C执行
volatile修饰的变量:
(1)volatile之前的代码不能调整到他后面。
(2)volatile之后的代码不能调整到他前面(as if serial)。
(3)volatile修饰的变量本身位置不变
int i =0;
volatile int j = 1;
int k = i+j;
i++;
j++;
1.3 volatile的原理
待探索
2.使用volatile
2.1、状态的开关标志
private static volatile boolean started = true;
@Override
public void run() {
while (started){
dowork();
}
}
private void dowork() {
System.out.println("i finished work");
shutdown();
}
public void shutdown(){
started = false;
}
2.2、双重检查锁定(double-check-locking DCL)
public class Singleton {
private volatile static Singleton instance;
public static Singleton getInstance(){
if(instance == null){
synchronized ((Singleton.class)){
instance = new Singleton();
}
}
return instance;
}
}
3.volatile与synchronized的区别
(1) 使用的区别
volatile只修饰变量,synchronized只能修饰方法和块
(2) 原子性
synchronized能保证原子性,volatile不行,因此单独使用volatile关键字并不能保证线程安全。
(3)可见性
都可以保证可见性,但是原理不同。
Volatile对变量加了lock,synchronized使用monitor锁定对象或类。
(4)有序性
volatile保证了有序性,synchronized只能在重量级锁时,才能保证有序性,且并发时退化到串行执行。
(5)其他
synchronized会引起线程阻塞,volatile不会。