CAS非锁实现单例的一个缺陷

第一时间获取技术干货和业界资讯!

CAS非锁实现单例的一个缺陷
☞ 免费CSDN资料帮下服务 | 免费加群 ☜

最近又是一年新春的面试季,有人说这是金三银四。但是说到面试,并发和锁肯定是少不了的。关于并发可以访问我的这篇文章:极客时间《Java并发编程实战》购买返现24,今天我们要说的是,无锁实现单例模式,以及这种 CAS 实现的单例的缺点。

传统的 7 种单例模式大致如下:

CAS非锁实现单例的一个缺陷

它们都是用锁来实现。但是如果在面试过程中面试官问你如何使用非锁来实现一个单例呢?

答案就是下图这种实现。

CAS非锁实现单例的一个缺陷

这是网上一位大牛的实现,他的这种非锁 CAS 实现的单例,挺好的。但是平时可能没有人使用,比用锁稍微复杂了一点,这也是为什么没有被列入单例模式的 7 大写法之中了。我在他的基础上,也就是他的构造方法里添加了两行代码。

CAS非锁实现单例的一个缺陷

我主要是想看看它到底是实例化了几次。加上这两行代码,可以方便我观察控制台,和统计实例化的总次数。

然后,我的测试代码如下:

CAS非锁实现单例的一个缺陷

关于 CountDownLatch 有不会的,可以看我的《CountDownLatch 压测教程》一文。

我这里主要是想压测一下,非锁 CAS 单例模式是否会创建多次对象。

运行上面的 main 方法,我截图了一下最终结果。

CAS非锁实现单例的一个缺陷

结论:CAS 以原子方式更新内存中相应的值,从而保证了多线程环境下共享变量更新操作的同步。的确,这种方式可以保证每次调用getInstance() 方法得到的一定是同一个实例。因此,从功能实现的角度来看,这种做法达到了预期的目的。但是,经过分析和测试,却发现这种方式有一些预期之外的弊病:可能会创建不止一个对象。

CAS 本身的操作的确是原子方式,但是包装 CAS 指令的方法并非是全程同步的,当然,在包含 CAS 指令的方法开始调用之前,参数计算过程中更不是互斥执行的!当一个线程测试 instance.get() == null 得到 true 之后,往下它就一定会调用 new Singleton()。因为,这并不是 CAS 方法的一部分,而是它的参数。在调用一个方法之前,需要先将其参数压入栈,当然,需要先计算参数表达式,因此,产生如上结果也就不难预料了。

CAS 与锁的区别在于,它是非阻塞的,也就是说,它不会去等待一个条件,而是一定会去执行,结果要么成功,要么失败。它的操作时间是可预期的。如果我们的目的是一定要成功执行 CAS,那就需要不断循环执行直至成功,同时,建立在成功预期之上大量的准备工作是值得的,但是,如果我们不希望操作一定成功,那为成功操作而做的准备工作就浪费掉了。

猜你喜欢

转载自blog.51cto.com/15127565/2667873