volitaile
-
线程之间可见性
-
禁止指令重排序
happens-before
六大情况
-
程序顺序执行
一个线程中,按照程序的执行规则,前面的操作happens-before后面的操作。
-
监视器锁(synchronized)
对于一个锁的解锁,happens-before后面的加锁。
-
volatile变量规则
volatile修饰的变量,线程之间是可见的,写happens-before后续的读。
-
传递性
A happens-before B
B happens-before C
A happens-before C
-
Thread.start()规则
-
Thread.join()规则
线程A调用线程B.join();那么线程B中的任意操作happens-before线程A
双重检查单例模式
饿汉式单例模式,本身就是线程安全的。
懒汉式单例模式,线程安全的写法,双重校验。
private volatile static Singleton instance;
public static Singleton getInstance(){
if(instance==null){
//如果有多个线程同时进入 thread a b c
sychronized(this.class){
//没有第二重校验的话 这三个线程排队执行,3次构造方法
//如果没有volatile 修饰的话,
//1.线程a创建了实例后,没有及时刷新最新的结果到主存,其他的线程没有拿到最新的instance,会仍然以为instance是空的,导致重复多次new
//2.jvm 的指令重排序优化,可能在没执行构造方法之前,返回内存地址,其他的线程误以为instance已经不为空,导致空指针异常。volatile可以防止指令重排,不会产生在构造器执行之前将地址返回。
if(instance==null){
instance=new Singleton();
}
}
}
return instance;
}
volatile适合的场景
纯赋值操作:赋值操作本身就是原子性的,volatile保证了线程之间的可见性,这样就可以保证线程安全。赋值操作下,volatile可以替换sychronized。(i++,i–不是原子操作)
触发器操作:基于happen-before原则,volatile变量之前的变量,在volatile变量修改后,都可以获得最新的值。
int a,b,c;
volatile boolean f=false;
public void test(){
a=100;
b=200;
c=300;
f=true;
}
public void test2(){
if(f==true){
//此时 abc的值都是最新的值,100,200,300
}
}