Java多线程常见问题与解答

很多java入门新人一想到java多线程, 就会觉得很晕很绕,什么可见不可见的,也不了解为什么sync怎么就锁住了代码。

因此我在这里会提多个问题,如果能很好地回答这些问题,那么算是你对java多线程的原理有了一些了解,也可以借此学习一下这背后的核心原理。

Q: java中的主内存和工作内存是指什么?
A:java中, 主内存中的对象引用会被拷贝到各线程的工作内存中, 同时线程对变量的修改也会反馈到主内存中。

  • 主内存对应于java堆中的对象实例部分(物理硬件的内存)
  • 工作内存对应于虚拟机栈中的部分区域( 寄存器,高速缓存)
  • 工作内存中是拷贝的工作副本
  • 拷贝副本时,不会吧整个超级大的对象拷贝过来, 可能只是其中的某个基本数据类型或者引用。

因此我们知道各线程使用内存数据时,其实是有主内存和工作内存之分的。并不是一定每次都从同一个内存里取数据。

或者理解为大家使用数据时之间有一个缓存。

Q: 多线程不可见问题的原因是什么?
A:这里先讲一下虚拟机定义的内存原子操作:

  • lock: 用于主内存, 把变量标识为一条线程独占的状态
  • unlock : 主内存, 把锁定状态的变量释放
  • read: 读取, 从主内存读到工作线程中
  • load: 把read后的值放入到 工作副本中
  • use: 使用工作内存变量, 传给工作引擎
  • assign赋值: 把工作引擎的值传给工作内存变量
  • store: 工作内存中的变量传到主内存
  • write: 把值写入到主内存的变量中

根据这些指令,看一下面这个图, 然后再看图片之后的流程解释,就好理解了。

  1. read和load、store、write是按顺序执行的, 但是中间可插入其他的操作。不可单独出现。
  2. assgin之后, 会同步后主内存。即只有发生过assgin,才会做工作内存同步到主内存的操作。
  3. 新变量只能在主内存中产生
  4. 工作内存中使用某个变量副本时,必须先经历过assign或者load操作。 不可read后马上就use
  5. lock操作可以被同一个线程执行多次,但相应地解锁也需要多次。
  6. 执行lock时,会清空工作内存中该变量的值。 清空后如果要使用,必须重新做load或者assign操作
  7. unlock时,需要先把数据同步回主内存,再释放。

因此多线程普通变量的读取和写入操作存在并发问题, 主要在于2点:

  • 只有assgin时, 才会更新主内存, 但由于指令重排序的情况,导致有时候某个assine指令先执行,然后这个提前被改变的变量就被其他线程拿走了,以至于其他线程无法及时看到更新后的内存值。
  • assgin时从工作内存到主内存之间,可能存在延迟,同样会导致数据被提前取走存到工作线程中。

Q: 那么volatile关键字为什么就可以实现可见性?
可见性就是并发修改某个值后,这个值的修改对其他线程是马上可见的。
A: java内存模型堆volatile定义了以下特殊规则:

  • 当一个线程修改了该变量的值时,会先lock住主存, 再立刻把新数据同步回内存。
  • 使用该值时,其他工作内存都要从主内存中刷新!
  • 这个期间会禁止对于该变量的指令重排序
    禁止指令重排序的原理是在给volatile变量赋值时,会加1个lock动作, 而前面规定的内存模型原理中, lock之后才能做load或者assine,因此形成了1个内存屏障。

Q: 上面提到lock后会限制各工作内存要刷新主存的值load进来后才能用, 这个在底层是怎么实现的?
A:利用了cpu的总线锁+ 缓存一致性+ 嗅探机制实现, 属于计算机组成原理部分的知识。


这也就是为什么violate变量不能设置太多,如果设置太多,可能会引发总线风暴,造成cpu嗅探的成本大大增加。

Q: 那给方法加上synchronized关键字的原理是什么?和volatie的区别是啥?
A:

  • synchronized的重量级锁是通过对象内部的监视器(monitor)实现
  • monitor的线程互斥就是通过操作系统的mutex互斥锁实现的,而操作系统实现线程之间的切换需要从用户态到内核态的切换,所以切换成本非常高。
  • 每个对象都持有一个moniter对象
    具体流程如下:
  1. 首先,class文件的方法表结构中有个访问标志access_flags, 设置ACC_SYNCHRONIZED标志来表示被设置过synchronized。
  2. 线程在执行方法前先判断access_flags是否标记ACC_SYNCHRONIZED,如果标记则在执行方法前先去获取monitor对象。
  3. 获取成功则执行方法代码且执行完毕后释放monitor对象
  4. 如果获取失败则表示monitor对象被其他线程获取从而阻塞当前线程


注意,如果是sync{}代码块,则是通过在代码中添加monitorEnter和monitorExit指令来实现获取和退出操作的。

如果对C语言有了解的,可以看看这个大哥些的文章Java精通并发-通过openjdk源码分析ObjectMonitor底层实现

Q: synchronized每次加锁解锁需要切换内核态和用户态, jvm是否有对这个过程做过一些优化?

A:jdk1.6之后, 引入了锁升级的概念,而这个锁升级就是针对sync关键字的
锁的状态总共有四种,级别由低到高依次为:无锁、偏向锁、轻量级锁、重量级锁
四种状态会随着竞争的情况逐渐升级,而且是不可逆的过程,
只能进行锁升级(从低级别到高级别),不能锁降级(高级别到低级别)

因此sync关键字不是一开始就直接使用很耗时的同步。而是一步步按照情况做升级

  1. 当对象刚建立,不存在锁竞争的时候, 每次进入同步方法/代码块会直接使用偏向锁
展开阅读全文

本文系作者在时代Java发表,未经许可,不得转载。

如有侵权,请联系nowjava@qq.com删除。

编辑于

关注时代Java

关注时代Java