引子：该问题由单例模式引申而来，涉及到的关键词有：线程安全、同步性能、编译执行、指令重排等。
先看一个简单的单例模式实现
线程安全实现
先看一个简单的单例模式实现
点击(此处)折叠或打开
-
public class InstanceHolder{
-
private static Instance ins = null;
-
private Instance(){}
-
-
public static Instance getInstance(){
-
if(ins == null){
-
ins = new Instance();
-
}
-
return ins;
- }
线程安全实现
点击(此处)折叠或打开
-
public class InstanceHolder{
-
private static Instance ins = null;
-
private Instance(){}
-
-
public synchronized static Instance getInstance(){
-
if(ins == null){
-
ins = new Instance();
-
}
-
return ins;
- }
还能优化吗？
N天以后，勤奋好学的你看了一本refactoring的书，深深为之着迷，准备重构自己写的代码，现在的你已经不是当初的菜鸟，深知synchronized方法比未同步方法慢100倍！同时你也发现，只有第一次调用该方法时才需要同步，一旦ins创建成功，同步完全没必要！
终极版
点击(此处)折叠或打开
-
public class InstanceHolder{
-
private static Instance ins = null;
-
private Instance(){}
-
-
public static Instance getInstance(){
-
if(ins == null){
-
synchronized(InstanceHolder.class){
-
//第二个线程进来时，有可能第一个线程已经创建了ins，所以再判断一次
-
if(ins == null){
-
ins = new Instance();
-
}
- //第一个线程有可能在锁释放之前，刷新了主内存数据，导致第二个线程获取到的ins不为null
-
}
-
}
-
return ins;
- }
只是看起来很完美
这种看起来很完美的优化技巧就是double-checked locking，但遗憾地告诉你，根据JLS规范，上面的代码不可靠！线程有可能得到一个不为null，但是构造不完全的对象。
Why？
造成不可靠的原因是编译器为了提高执行效率的指令重排。只要认为在单线程下是没问题的，它就可以进行乱序写入！以保证不要让cpu指令流水线中断。
指令重排
为了提高代码的执行效率，JVM会将执行频率高的代码编译成机器码；而对于频率不高的代码则仍然采用解释执行。
常见的编译优化方式有：
方法内联：免去参数、返回值传递过程
去虚拟化：接口的方法只有一个实现类，进行方法内联
冗余消除：运行时去掉无用代码
还有一些编译优化根据“逃逸分析”技术
标量替换：User u=new User(“zhang3”,18)
String
n=“zhang3” int age=18,节省内存
栈上分配：逃逸对象直接在栈上分配，快速，GC及时
同步削除：去掉不必要的同步
new
Instance()到底发生了什么？
memory
= allocate(); //1：分配对象的内存空间
ctorInstance(memory); //2：初始化对象
instance
= memory; //3：设置instance指向刚分配的内存地址
上面的伪代码中2、3步可能重排
解决方案1
Java5以后的版本，可以利用volatile关键字。
Why？
在java5以前，volatile原语不怎么强大，只能保证对象的可见性
但在java5之后，volatile语义加强了，被volatile修饰的对象，将禁止该对象上的读写指令重排序
这样，就保证了线程B读对象时，已经初始化完全了
解决方案2
这也是官方比较推荐的一种方案（effective java 2nd）
点击(此处)折叠或打开
-
public class InstanceHolder{
-
-
private Instance(){}
-
-
//Lazy initialization holder class idiom for static fields
-
private static class Inner{
-
private static final Instance ins = new Instance()
-
}
-
-
public static Instance getInstance(){
-
return Inner.ins;
- }
原理：一个类只有在被使用时才会初始化，而类初始化过程是非并行的，这些都由JLS能保证。
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/28912557/viewspace-762047/ ，如需转载，请注明出处，否则将追究法律责任。
上一篇：
MySQL索引使用经验
请登录后发表评论
登录
全部评论
