锁定老帖子 主题:一个关于连接池很基础的讨论.
精华帖 (1) :: 良好帖 (0) :: 新手帖 (19) :: 隐藏帖 (0)
|
|
---|---|
作者 | 正文 |
发表时间:2011-02-18
在这里倒不是为了讨论单例模式应用什么场合, 主要是说延时加载的单例模式引发的一系列问题,以及该如何解决。
以下对延时加载的问题的分析,参考自: http://www.ibm.com/developerworks/java/library/j-dcl.html http://www.iteye.com/topic/157952 以上都提到了延时加载单例模式中的double-checked locking(简称DCL),也即双重锁定失败,以及针对DCL的解决办法。 先来看看延时加载的单例代码: Java代码 1.public static Singleton getInstance() 2. { 3. if (instance == null) //1 4. instance = new Singleton(); //2 5. return instance; //3 6. } 由于以上没有采用同步,因此多线程环境下可能会创建多个实例。 那么我们加上synchronized,在方法中加了同步块: Java代码 1.public static Singleton getInstance() 2.{ 3. if (instance == null) //1 4. { 5. synchronized(Singleton.class) { //2 6. instance = new Singleton(); 7. } 8. } 9. return instance; //3 10.} 同步块包围了单例对象的创建, 看似这样就是个典型的延时加载的单例模式了。但还有一个问题,假设在线程A运行到//1的时候, 被线程B抢占了cpu,并运行到了//3,那么线程A继续执行就又会重复创建对象了,从而就破坏了单例的规则。 ok,那么我们再做一个修改,代码变成这样: Java代码 1.public static Singleton getInstance() 2.{ 3. if (instance == null) //1 4. { 5. synchronized(Singleton.class) { 6. if (instance == null) //2 7. instance = new Singleton(); //3 8. } 9. } 10. return instance; 11.} 我们看到, 除了//1进行了一次非null检查,在同步块代码//3处又加入了一次检查,这就是double-checked locking (DCL),这样就避免发生像上面的在其他线程又重复创建单例对象的问题,看起来好像是完美了。 不幸的是, 即使是DCL也可能会失败。 instance = new Singleton(); 这么简单一行创建对象的代码,就分为几步: 1)Allocate memory, 2)invoke constructor, 3)give reference 如果这几步顺序就是1),2),3) 那没问题,不过JIT编译器不保证2)和3)的顺序, 于是可能变成了1),3),2) 看看这时可能会发生什么: 线程A先进入同步块,执行 instance = new Singleton(), 这时instance 只拿到了ref,但构造器还未执行,退出了同步块; 线程B切入, 这时instance 是 非null的(上面线程A已经分配了ref),于是就return了 instance,而这个instance 却是没有经过构造初始化的,再访问instance就会导致错误。 这就是JITcompilers的out-of-order问题, 导致了初始化和变量赋值的顺序不可预料,产生以上问题。 关于DCL更加详细的分析: 引用 dcl的真正问题在于,它是基于这样的假设:当没有使用同步时读取一个共享变量,可能发生的最坏的事情不过是错误地看到过期值;这种情况下,dcl方法通过占有缩后再检查一次,希望能避免风险。但是,最坏的情况事实上比这还糟糕——线程可能看到引用的当前值(注:指),但是对象的状态值确认过期的。这意味着对象可以被观察到,但是却处于无效或者错误的状态。 下面逐句解释一下: 当没有使用同步时读取一个共享变量 注:指第一个m_instance== null的判断 ,可能发生的最坏的事情不过是错误地看到过期值 注:即其他线程已经修改了m_instance,从默认的null赋值为新建对象的句柄,但是由于没有使用同步,因此当前线程可能无法看到修改后的值 ;这种情况下,dcl方法通过占有锁后再检查一次,希望能避免风险 注:使用synchronized关键字,获取到锁后,再读取m_instance,这个时候读取的值由于有了同步肯定是正确的,因此第二个m_instance == null的判断可以正确进行,之后的创建对象和赋值也是正确的 但是,最坏的情况事实上比这还糟糕——线程可能看到引用的当前值 注:指第一个m_instance== null不成立时,即这个线程看到了赋值后的m_instance引用的值,然后就直接return m_instance了。 ,但是对象的状态值确是过期的。 注:这里翻译的过期有些不好理解,对照英文原文是stale values for the object's state,stale的意思是"不新鲜的, 陈腐的, 疲倦的, 陈旧的". 这意味着对象可以被观察到,但是却处于无效或者错误的状态。 注:这里涉及到一个安全发布的概念,即由于存在重排序的可能性,m_instance = new LazySingleton();中创建对象的过程(即写入对象域)和给m_instance赋值(写如新对象引用)的过程可能发生重排序,出现对象部分创建后就发现m_instance赋值,然后其他线程得到m_instance的值,并通过这个对象访问到还处于部分创建过程中的对象。 在阎宏的《Java与模式》中关于双重检查锁定失效的描述,阐述的是同样的一个道理: “在Java编译器中,LazySingleton类的初始化与m_instance变量赋值的顺序不可预料。如果一个线程在没有同步化的条件下读取m_instance引用,并调用这个对象的方法的话,可能会发现对象的初始化过程尚未完成,从而造成崩溃。” 好了,到这里所有问题都列出来了, 已经能够看到单例模式用延时加载变得如此麻烦和让人担心。 先撇开延时加载,对于单例模式而言,如果不关心是否必须采用延时加载, 最简单的方法无外乎是静态加载: Java代码 1.class Singleton 2.{ 3. private Vector v; 4. private boolean inUse; 5. private static Singleton instance = new Singleton(); 6. 7. private Singleton() 8. { 9. v = new Vector(); 10. inUse = true; 11. //... 12. } 13. 14. public static Singleton getInstance() 15. { 16. return instance; 17. } 18.} 这样做既easy又safe。 还是看看如何完善延时加载的单例模式: ajoo 写道 1。java 5以前不支持dcl。 2。java 5以后,根据spec,用volatile来声明那个static变量就可以。 3。实际上,一些vm不见得正确实现了volatile语义(比如x86上volatile就没有实现memory barrier),所以即使volatile也不见得好使。 4。最好的办法,不是用volatile,而是保证LazySingleton是immutable的,那么只要是java 5就保证必然成功。可以参考String的代码(虽然没用dcl,但是利用了final的语义来保证安全)。具体spec请参见:http://www.google.com/url?q=http://www.cs.umd.edu/users/jmanson/java/journal.pdf&sa=X&oi=unauthorizedredirect&ct=targetlink&ust=1201014498800543&usg=AFQjCNH1rrzRUKbvIfNL_3JDQ9unbZQydg 5。如果万一LazySingleton不是immutable。可以用一个final place holder来搞: Java代码 1. 1. class LazySingleton { 2. 2. private LazySingleton() {} 3. 3. private static class FinalPlaceHolder { 4. 4. final LazySingleton singleton; 5. 5. FinalPlaceHolder(LazySingleton s) { 6. 6. this.singleton = s; 7. 7. } 8. 8. } 9. 9. private static FinalPlaceHolder holder = null; 10.10. public static LazySingleton instance() { 11.11. if (holder == null) { 12.12. synchronized(LazySingleton.class) { 13.13. if (holder == null) { 14.14. holder = new FinalPlaceHolder(new LazySingleton()); 15.15. } 16.16. } 17.17. } 18.18. return holder.singleton; 19.19. } 20.20. } 如果是jdk5, 单例对象用final和volatile可以解决dcl问题, 不过final更加推荐, 而且一般单例的对象都可以用final。 其实还有一个通用的方法: DCL的替代Initialize-On-Demand: Java代码 1.public class Foo { 2.// 似有静态内部类, 只有当有引用时, 该类才会被装载 3.private static class LazyFoo { 4.public static Foo foo = new Foo(); 5.} 6. 7.public static Foo getInstance() { 8.return LazyFoo.foo; 9.} 10.} 只有调用getInstance方法,使用LazyFoo类, 才会初始化LazyFoo,也达到了lazy的目的,而且不需要jdk5。 |
|
返回顶楼 | |
发表时间:2011-02-18
这帖子炸出了好多不懂装懂还口气很硬的高玩啊
|
|
返回顶楼 | |
发表时间:2011-02-18
最后修改:2011-02-20
prokevin22 写道 je回复这么垃圾吗,什么双重检测都出来了,我来告诉LZ可以要也可以不要,如果业务中要只调用getDataSource方法你说要不要呢,所以按照junit 的流程应该要
好吧,我菜鸟嘛。 希望楼主不要因为我这只鸟,骂了整个林子,闪鸟。。。 |
|
返回顶楼 | |
发表时间:2011-02-19
这代码越说越纠结,俺一般的做法都是单例,静态代码块就初始化好了,懒汉式俺没感觉快了多少。为啥还要多判断一次datasource是否为空呢?如果你初始化的时候为空的话,抛个异常就好了嘛,就知道有为不为空了嘛,每次都来判断,不是每次都是判断是否为空,然后再加锁,然后再判断时候为空,这懒汉式笨麻烦。
|
|
返回顶楼 | |
发表时间:2011-02-19
好了。今天这个贴子可以结束了。
谢谢参与讨论的各位。 我也从中学到不少。 Thanks.o. |
|
返回顶楼 | |