双重校验锁volatile的作用于syn的冲突怎么理解?

双重校验锁的volatile的作用:

  • 回答:防止指令重排

  • 然后被问既然加了synchronize了,其中的代码保证了原子性,那么为什么其他线程能看到中间状态,得到一个没有赋值成功的对象呢?如何解释?

全部评论
跟syn里面的代码没什么冲突,第一个线程没完成初始化,但是第二个线程判断不为null直接给return了
点赞 回复
分享
发布于 2019-10-15 22:22
因为对象创建过程中会有指令重排,导致其他线程能访问到当前线程未初始化的对象,而且sync不是对你创建的对象的加锁,所以这个对象还是可以被多个线程同时访问吧
点赞 回复
分享
发布于 2019-10-15 22:28
联想
校招火热招聘中
官网直投
问这个问题的人就说明没理解双重检查锁,看到中间状态的情况是,第一个线程跑完了方法执行完new的步骤之一:分配空间,但是没执行完设置初始值,此时第二个线程到来,在synchronized前一个if判断时就发现不为null,直接返回了单例,同时第二个线程还用返回的这个单例进行了操作,只有这样才会出现这个问题,也就意味着这个第二个线程都没走到synchronized
点赞 回复
分享
发布于 2019-10-15 22:29
代码是能保证原子性,但是 A a=new A()分为三条指令1.给A的对象分配内存 2.初始化A的对象 3.a引用指向刚才分配的内存。如果防治指令重排,极有可能指令顺序变成了 1 3 2(与CPU多级流水线防治指令相关有关)。当线程1拿了类锁,开始实例化的时候,万一顺序变成 1 3 2且刚走到3还没到2,这时候来了线程2 一看a引用不为null,线程2都没到同步块直接返回a了,但是a指向一片没有初始化过的内存……肯定出错吧
点赞 回复
分享
发布于 2019-10-15 22:31
我觉得面试官是问,既然synchronize既然能保证原子性,那么原子性的东西应该没有中间状态啊,就是A a = new A();要么是没执行A a=new A(),此时a为null,要么是三条指令都执行完(1.给A的对象分配内存 2.初始化A的对象 3.a引用指向刚才分配的内存),那为啥其他线程被允许读到一个中间状态呢?这跟原子性相违背啊。 是因为原子性只是对当前线程而言吗?还是我没理解原子性?
点赞 回复
分享
发布于 2019-10-15 22:43

相关推荐

点赞 8 评论
分享
牛客网
牛客企业服务