在多线程环境下单例双检锁模式线程不一定安全
1.在说明这个问题之前,我们先要弄清楚为什么加了synchronized关键字还不能保证线程安全。
synchronized关键字只能保证有序性,并不能禁止指令重排,这就是为什么会出现线程不安全的原因。
在硬件层面,如处理器优化和指令重排等,但是这些技术的引入就会导致有序性问题。最好的解决有序性问题的办法,就是禁止处理器优化和指令重排,就像volatile中使用内存屏障一样。但是,虽然很多硬件都会为了优化做一些重排,但是在Java中,不管怎么排序,都不能影响单线程程序的执行结果。这就是as-if-serial语义,所有硬件优化的前提都是必须遵守as-if-serial语义。所以,当某个线程执行到一段被synchronized修饰的代码之前,会先进行加锁,执行完之后再进行解锁。在加锁之后,解锁之前,其他线程是无法再次获得锁的,只有这条加锁线程可以重复获得该锁。
as-if-serial语义把单线程程序保护了起来。
2.如何保证在多线程场景下,保证单例模式线程安全,加volatile关键字,禁止指令重排序,来保证线程安全。
package com.example.demo;
public class SingletonDemo {
private static volatile SingletonDemo singletonDemo==null;
private SingletonDemo() {
}
public static SingletonDemo getInstance() {
if (singletonDemo == null) {
synchronized (SingletonDemo.class){
if (singletonDemo == null) {
singletonDemo = new SingletonDemo();
}
}
}
return singletonDemo;
}
}