面试题:Java的synchronized 能防止指令重排序吗?

简介: 面试题:Java的synchronized 能防止指令重排序吗?

引言

二狗:二胖你昨天请假了是不是又去面试了啊?
二胖:别说了我就出去试试水,看看现在工作好不好找,顺带出去找找打击,然后才能好好静下心来好好学习。
二狗: 那被打击的怎么样啊?知道自己是什么样的水平了吧,坏笑。
二胖:基础太差,一面就让回去等通知了,我要好好学习了,不跟你瞎扯了。
二狗: 都问了你什么问题啊,把你打击成这样?一起复盘下让我也好好准备下啊。
二胖:好吧,你既然这么好奇,那我就大概说下吧,你搬上小板凳仔细挺好了哦。我要开始我的表演了。
下面二胖第一面开始了。
面试官:二胖是吧,先做个自我介绍吧。
二胖:好的,我叫二胖,我来自长沙,今年25岁,从事java开发快3年了,现在在XX公司XX事业部担任高级java开发工程师,主要负责XX系统。。。。。
面试官:好的,我看你简历上写着熟练掌握并发编程你能跟我说说并发编程里面你都知道哪些关键字。
二胖: 这不就是要考我 synchronizedvolatile 这个我擅长啊,我特意背过的,synchronizedjava提供的一个关键字它主要能保证原子性、有序性它的底层主要是通过Monitor来实现的。volatile也是java的一个关键字它的主要作用是可以保证可见性。。。。此处省略1000字。
面试官:八股文背的不错,说了这么多,我们来动手试试吧,写一个双重校验锁(dcl)的单例我看看。
二胖: 从屁股口袋里拿出了笔三下五除二就把它默写出来了。
面试官:你有说道volatile关键字和synchronized关键字。synchronized可以保证原子性、有序性和可见性。而volatile却只能保证有序性和可见性。那么,我们再来看一下双重校验锁实现的单例,已经使用了synchronized,为什么还需要volatile?这个volatile是否可以去掉?
二胖: 让我想想,貌似好像确实可以去掉。
面试官: 我们今天的面试就到这里吧,后续有消息人事会联系你,感谢你今天来面试。

二胖很郁闷回去谷歌了下这个问题,stackoverflow上也有这个问题,看样子不只我一个人不知道这个问题吗?看样子面试挂的不冤
以上故事纯属虚构,如有雷同请以本文为主。

synchronized 的有序性?

我们先来看看没有加volatile 修饰的单例:

 1   public class Singleton {  
 2      private static Singleton singleton;  
 3       private Singleton (){}  
 4       public static Singleton getSingleton() {  
 5       if (singleton == null) {  
 6           synchronized (Singleton.class) {  
 7               if (singleton == null) {  
 8                   singleton = new Singleton();  
 9               }  
 10           }  
 11       }  
 12       return singleton;  
 13       }  
 14   }  

上述代码看下来是不是感觉没啥问题。
首先我们先来看下这一行代码到底干了哪些事情

singleton = new Singleton() 

来源网上
上述过程我们可以简化成3个步骤:

  • JVM为对象分配一块内存M。
  • ②在内存M上为对象进行初始化。
  • ③将内存M的地址复制给singleton变量。

这个步骤有两种执行顺序可以按照 ①②③或者①③②来执行。当我们按照①③②的顺序来执行的时候
我们假设有两个线程ThreadAThreadB 同时来请求Singleton.getSingleton方法:

  • 正常情况按照 ①②③的顺序来执行

第一步:ThreadA 进入到第8行,执行 singleton = new Singleton() 进行对象的初始化(按照对象初始化的过程 ①②③)执行完。
第二步: ThreadB进入第5行判断singleton不为空(第一步已经初始化好了),直接返回singleton
第三步:拿到这个对象做其他的操作。
这样看下来是不是没有啥问题。

  • 那如果对象初始化的时候按照 ①③② 的步骤我们再来看看:

第一步: ThreadA进入到第8行,执行 singleton = new Singleton() 执行完.①JVM为对象分配一块内存M。③将内存的地址复制给singleton变量。
第二步: 此时ThreadB直接进入第5行,发现singleton已经不为空了然后直接就跳转到12行拿到这个singleton返回去执行操作去了。此时ThreadB拿到的singleton对象是个半成品对象,因为还没有为这个对象进行初始化(②还没执行)。
第三步: 所以ThreadB拿到的对象去执行方法可能会有异常产生。至于为什么会这样列?《Java 并发编程实战》有提到

有 synchronized 无 volatile 的 DCL(双重检查锁) 会出现的情况:线程可能看到引用的当前值,但对象的状态值确少失效的,这意味着线程可以看到对象处于无效或错误的状态。

说白了也就是ThreadB是可以拿到一个引用已经有了但是内存资源还没有分配的对象。
如果要解决创建对象按照①②③的顺序,其实也就是为了解决指令重排只要第2行加个volatile修饰就好。
说好的synchronized 不是可以保证有序性的吗?volatile的有序性?synchronized 不能不够保证指令重排吗?
怎么来定义顺序呢?《深入理解Java虚拟机第三版》有提到

Java程序中天然的有序性可以总结为一句话:如果在本线程内观察,所有操作都是天然有序的。如果在一个线程中观察另一个线程,所有操作都是无序的。前半句是指“线程内似表现为串行的语义”,后半句是指“指令重排”现象和“工作内存与主内存同步延迟”现象。
  • synchronized 的有序性是持有相同锁的两个同步块只能串行的进入,即被加锁的内容要按照顺序被多个线程执行,但是其内部的同步代码还是会发生重排序,使块与块之间有序可见。
  • volatile的有序性是通过插入内存屏障来保证指令按照顺序执行。不会存在后面的指令跑到前面的指令之前来执行。是保证编译器优化的时候不会让指令乱序。
  • synchronized 是不能保证指令重排的

结束

  • 由于自己才疏学浅,难免会有纰漏,假如你发现了错误的地方,还望留言给我指出来,我会对其加以修正。
  • 如果你觉得文章还不错,你的转发、分享、赞赏、点赞、留言就是对我最大的鼓励。
  • 感谢您的阅读,十分欢迎并感谢您的关注。

站在巨人的肩膀上摘苹果:
https://stackoverflow.com/questions/7855700/why-is-volatile-used-in-double-checked-locking
https://juejin.cn/post/6844903920599302152

目录
相关文章
|
存储 安全 Java
面试高频:Synchronized 原理,建议收藏备用 !
本文详解Synchronized原理,包括其作用、使用方式、底层实现及锁升级机制。关注【mikechen的互联网架构】,10年+BAT架构经验倾囊相授。
面试高频:Synchronized 原理,建议收藏备用 !
|
存储 SQL 小程序
JVM知识体系学习五:Java Runtime Data Area and JVM Instruction (java运行时数据区域和java指令(大约200多条,这里就将一些简单的指令和学习))
这篇文章详细介绍了Java虚拟机(JVM)的运行时数据区域和JVM指令集,包括程序计数器、虚拟机栈、本地方法栈、直接内存、方法区和堆,以及栈帧的组成部分和执行流程。
346 2
JVM知识体系学习五:Java Runtime Data Area and JVM Instruction (java运行时数据区域和java指令(大约200多条,这里就将一些简单的指令和学习))
经典面试题:用预处理指令#define 声明一个常数,用以表明1年中有多少秒(忽略闰年问题)
在 C 语言中,使用 `#define` 预处理指令可以为常量命名,提高代码可读性和易维护性。通过基本时间单位换算(1 年 = 365 天 × 24 小时 × 60 分钟 × 60 秒),可以计算出一年中的总秒数,并将其定义为 `SECONDS_IN_A_YEAR`。示例代码展示了如何定义和打印这一常量,最终输出一年中有 31536000 秒。
730 15
|
Java
Java常见JVM虚拟机指令(47个)
Java常见JVM虚拟机指令(47个)
229 3
Java常见JVM虚拟机指令(47个)
|
存储 安全 Java
面试题:再谈Synchronized实现原理!
面试题:再谈Synchronized实现原理!
171 0
|
SQL Java Unix
Android经典面试题之Java中获取时间戳的方式有哪些?有什么区别?
在Java中获取时间戳有多种方式,包括`System.currentTimeMillis()`(毫秒级,适用于日志和计时)、`System.nanoTime()`(纳秒级,高精度计时)、`Instant.now().toEpochMilli()`(毫秒级,ISO-8601标准)和`Instant.now().getEpochSecond()`(秒级)。`Timestamp.valueOf(LocalDateTime.now()).getTime()`适用于数据库操作。选择方法取决于精度、用途和时间起点的需求。
395 3
|
NoSQL Java 应用服务中间件
Java高级面试题
Java高级面试题
568 1
|
缓存 前端开发 Java
浅析JVM invokedynamic指令与Java Lambda语法
【8月更文挑战第27天】在Java的演进历程中,invokedynamic指令的引入和Lambda表达式的出现无疑是两大重要里程碑。它们不仅深刻改变了Java的开发模式和性能表现,还极大地推动了Java在函数式编程和动态语言支持方面的进步。本文将从技术角度浅析JVM中的invokedynamic指令及其与Java Lambda语法的紧密联系。
262 0
|
存储 安全 Java
【多线程面试题十七】、如果不使用synchronized和Lock,如何保证线程安全?
这篇文章探讨了在不使用`synchronized`和`Lock`的情况下保证线程安全的方法,包括使用`volatile`关键字、原子变量、线程本地存储(`ThreadLocal`)以及设计不可变对象。
【多线程面试题十五】、synchronized可以修饰静态方法和静态代码块吗?
这篇文章讨论了Java中的`synchronized`关键字是否可以修饰静态方法和静态代码块,指出`synchronized`可以修饰静态方法,创建一个类全局锁,但不能修饰静态代码块。