关于java:面试官超级喜欢问的synchronized锁

37次阅读

共计 3328 个字符,预计需要花费 9 分钟才能阅读完成。

前言

最近技术圈子里因 log4j 的破绽炸开了锅。

Synchronized 锁在面试当中难免会遇到,那么如何完满应答面试官角度刁钻的问题就显得尤为重要。阿巴阿巴言传身教,给大家奉献面试教训。

回家等告诉

面试官: synchronized 应该理解吧?讲讲。

阿巴阿巴: 嗯嗯,理解一些,synchronized 是 Java 中的关键字,它的作用次要是用来同步,个别叫它同步锁,个别能够用在办法上,以及代码块上。

阿巴阿巴: 用在办法上如同锁的的对象,用在代码块上如果润饰的是对象则锁的是对象,如果润饰的是类,那么锁的是该类的所有对象。

面试官: 不错,那 synchronized 能够用在构造方法上吗?上锁的过程你理解吗?

阿巴阿巴: 嗯 … 这个 … 不太分明。

面试官: 那能够讲一下锁的优化吗?

阿巴阿巴: 嗯?锁还有优化吗?不是很分明哦。

面试官: 好的,那明天先面到这里吧,你回去等我着告诉哈😈

阿巴阿巴: 好的。

当场发 offer

面试官: synchronized 应该理解吧?讲讲。

阿巴阿巴: 嗯嗯,理解一些,synchronized 是 Java 中的关键字,它的作用次要是用来同步,个别叫它同步锁,个别能够用在实例办法上、静态方法上以及代码块上,次要是保护一个状态,这个状态就是同一时刻,只能有一个线程去拜访 synchronized 润饰的办法或代码块。

阿巴阿巴: 用在实例办法上锁的是掉用该办法的对象,用在静态方法上,锁的是以后类的所有对象,用在代码块上如果润饰的是对象则锁的是对象,如果润饰的是类,那么锁的是该类的所有对象。(画图强化记忆)

    // synchronized 用在静态方法上
    public synchronized static void test01() {}
    
    // synchronized 用在实例办法上
    public synchronized void test02() {}
    
    // synchronized 用来润饰对象
    public void test03() {synchronized (this) {}}
    
    // synchronized 用来润饰以后类
    public void test04() {synchronized (TestSyn.class) {}}

面试官: 不错,那 synchronized 能够用在构造方法上吗?上锁的过程你理解吗?

阿巴阿巴: synchronized 不能间接加在构造方法上,然而能够在构造方法里应用 synchronized 的代码块。

阿巴阿巴: 上锁过程这里波及到 JDK 版本问题,在 JDK1.5 及之前的话,synchronized 关键字通过编译之后,会在同步块的前后别离造成 monitorenter 和 monitorexit 这俩个字节码指令,在执行 monitorenter 指令的时候对象锁(这个对象锁包含对象实例或 Class 对象),如果说获取的这个对象没有被锁定,或者说以后线程曾经获取到该对象的锁了(synchronized 是可重入锁,即曾经获取到锁的线程能够再次获取锁,而不须要再进行同步),那么就把锁的计数器加 1,

阿巴阿巴: 同样,如果在执行 monitorexit 这个指令时,就把锁的计数器减 1,这样当计数器的值为 0 时,锁就被开释了。假使线程获取对象锁没胜利,那么就会始终阻塞期待直到锁被开释。

阿巴阿巴: synchronized 重量级锁的实现是由 C ++ 代码实现的,其中有个 ObjectMonitor 队,上面展现下代码中的重要属性。

ObjectMonitor() {
    _recursions   = 0;     // 重入次数
    _owner        = NULL;  // 指向持有 ObjectMonitor 对象的线程 
    _WaitSet      = NULL;  // 调用 wait 后,线程会被退出到_WaitSet,WaitSet 是第一个节点
    _cxq          = NULL ; // 多线程竞争锁进入时的单向链表
    _EntryList    = NULL ; // 期待获取锁的线程,会被退出到该列表,_EntryList 是第一个节点
}

阿巴阿巴: 上面是线程流动图。

如上图所示

0 当多个线程同时竞争时,那么这些线程会被放入到 EntryList 队列,此时线程处于阻塞状态

1 当一个线程获取到了对象的 monitor 后,那么就能够进入运行状态,这时候 ObjectMonitor 对象的 /_owner 指向以后线程,_count 加 1 示意以后对象锁被一个线程获取。

2 当运行状态的线程调用 wait()办法,那么以后线程开释 monitor 对象,进入期待状态,ObjectMonitor 对象的 /_owner 变为 null,_count 减 1,同时线程进入_WaitSet 队列。

3 直到有线程调用 notify()办法唤醒该线程,则该线程进入_EntryList 队列,竞争到锁再进入_Owner 区。

4 如果以后线程执行结束,那么也开释 monitor 对象,ObjectMonitor 对象的 /_owner 变为 null,_count 减 1。

阿巴阿巴: 而 JDK 1.5 版本之前的 synchronized,每次加锁都须要从用户态 (运行用户程序) 切换到内核态(运行操作系统程序、操作硬件等),这种切换对系统资源的耗费是微小的,因而 JDK 1.6 版本对 synchronized 进行了优化,引入了上面这些概念

自旋锁

自适应性自旋

锁打消

锁粗化

偏差锁

轻量级锁

分量锁

面试官: 愿闻其详

阿巴阿巴: 自旋锁 的引入次要是因为大多数状况下,一个线程占用锁的工夫不会继续很长时间,如果有其余线程竞争,间接将竞争失败的线程挂起再复原,显然这种耗费是微小的,所以采纳一种“张望”的伎俩,即让该线程稍做期待,看看这段时间内占有锁的线程是否会开释锁,这就是自旋。

阿巴阿巴: 然而,自旋也没能彻底解决该问题,须要思考到占有锁的线程对锁的占用,如果占用过久那么就会导致自旋锁始终做无用的自选操作,从而耗费 CPU 资源,因而设置一个自旋的次数阈值显得尤为重要,这个阈值也须要设置成适合的值,不会过高也不会过低。

阿巴阿巴: 自适应自旋锁 的诞生。自适应的意思就是说自旋的次数或者工夫不再固定了,而是由前一次在同一个锁上的自旋的次数或者工夫来决定:如果在同一个锁对象上,自旋期待刚刚胜利取得过锁,并且持有锁的线程正在运行中,那么虚拟机就会认为这次自旋也很有可能再次胜利,M 某种意义上来说它将容许自旋期待继续绝对更长的工夫。相同的,如果自旋很少胜利取得过,那在当前要获取这个锁时将可能缩小自旋工夫、或次数,从而来避免浪费 CPU 资源。

阿巴阿巴: 锁打消 即在同步的代码中剖析发现无论如何都不会呈现锁的竞争,那么就能够将该锁进行打消,这个剖析被称为逃逸剖析,如果有一个段同步的代码不会被其余线程所拜访到,那么这个同步也是无意义的。

阿巴阿巴: 锁的粗化 指的是如果一段代码始终在不停的给一个对象进行加锁、解锁,比方在循环体中进行加锁、解锁操作,就算没有线程竞争,也会产生微小耗费的,对于这种状况能够思考将锁的范畴扩充,这个过程就是粗化。

阿巴阿巴: 偏差锁 在保障线程平安的状况下,其实不肯定会有线程的竞争,也就是不肯定会有互斥,如果一个锁对象没有其余没有其余线程竞争,那么 JVM 会默认其为偏差锁,偏差锁默认只有第一个申请锁的线程会应用锁且不会有其余线程来竞争锁,因而,只须要在 Mark Word 中 CAS 记录 owner,如果记录更新胜利,则偏差锁获取胜利,记录锁状态为偏差锁,当前以后线程等于 owner 就能够零老本的间接取得锁;如果这时候有其余线程竞争,那么偏差锁就会收缩为轻量级锁。

阿巴阿巴: 应用 轻量级锁 时,不须要申请互斥量,仅仅将 Mark Word 中的局部字节 CAS 更新指向线程栈中的 Lock Record,如果更新胜利,则轻量级锁获取胜利,记录锁状态为轻量级锁;轻量锁适宜于俩个线程交替运行,然而没有产生本质上得竞争,如果产生了锁竞争,接下来轻量锁将收缩为重量级锁。

面试官: 讲的很好,不错,能够回去筹备前面的面试了😈。

阿巴阿巴: 好的。

本期面试到此结束,下期阿巴阿巴被问到了更难的对象头和锁相干的货色,期待她完满的体现吧!

❤️/ 感激反对 /

以上便是本次分享的全部内容,心愿对你有所帮忙 ^_^

喜爱的话别忘了 分享、点赞、珍藏 三连哦~

欢送关注公众号 程序员巴士,来自字节、虾皮、招银的三端兄弟,分享编程教训、技术干货与职业规划,助你少走弯路进大厂。

正文完
 0