volitaile

volitaile 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
    }
}