<kbd id="afajh"><form id="afajh"></form></kbd>
<strong id="afajh"><dl id="afajh"></dl></strong>
    <del id="afajh"><form id="afajh"></form></del>
        1. <th id="afajh"><progress id="afajh"></progress></th>
          <b id="afajh"><abbr id="afajh"></abbr></b>
          <th id="afajh"><progress id="afajh"></progress></th>

          什么?Java 偏向鎖沒(méi)了?

          共 10716字,需瀏覽 22分鐘

           ·

          2022-01-04 03:19

          背景

          在 JDK1.5 之前,面對(duì) Java 并發(fā)問(wèn)題, synchronized 是一招鮮的解決方案:

          1. 普通同步方法,鎖上當(dāng)前實(shí)例對(duì)象
          2. 靜態(tài)同步方法,鎖上當(dāng)前類 Class 對(duì)象
          3. 同步塊,鎖上括號(hào)里面配置的對(duì)象

          拿同步塊來(lái)舉例:

          public?void?test(){
          ??synchronized?(object)?{
          ????i++;
          ??}
          }

          經(jīng)過(guò) javap -v 編譯后的指令如下:


          monitorenter 指令是在編譯后插入到同步代碼塊的開(kāi)始位置;monitorexit是插入到方法結(jié)束和異常的位置(實(shí)際隱藏了try-finally),每個(gè)對(duì)象都有一個(gè) monitor 與之關(guān)聯(lián),當(dāng)一個(gè)線程執(zhí)行到 monitorenter 指令時(shí),就會(huì)獲得對(duì)象所對(duì)應(yīng)的 monitor 的所有權(quán),也就獲得到了對(duì)象的鎖

          當(dāng)另外一個(gè)線程執(zhí)行到同步塊的時(shí)候,由于它沒(méi)有對(duì)應(yīng) monitor 的所有權(quán),就會(huì)被阻塞,此時(shí)控制權(quán)只能交給操作系統(tǒng),也就會(huì)從 user mode 切換到 kernel mode, 由操作系統(tǒng)來(lái)負(fù)責(zé)線程間的調(diào)度和線程的狀態(tài)變更, 需要頻繁的在這兩個(gè)模式下切換(上下文轉(zhuǎn)換)。這種有點(diǎn)競(jìng)爭(zhēng)就找內(nèi)核的行為很不好,會(huì)引起很大的開(kāi)銷,所以大家都叫它重量級(jí)鎖,自然效率也很低,這也就給很多童鞋留下了一個(gè)根深蒂固的印象 —— synchronized關(guān)鍵字相比于其他同步機(jī)制性能不好

          鎖的演變

          來(lái)到 JDK1.6,要怎樣優(yōu)化才能讓鎖變的輕量級(jí)一些?答案就是:

          輕量級(jí)鎖:CPU CAS

          如果 CPU 通過(guò)簡(jiǎn)單的 CAS 能處理加鎖/釋放鎖,這樣就不會(huì)有上下文的切換,較重量級(jí)鎖而言自然就輕了很多。但是當(dāng)競(jìng)爭(zhēng)很激烈,CAS 嘗試再多也是浪費(fèi) CPU,權(quán)衡一下,不如升級(jí)成重量級(jí)鎖,阻塞線程排隊(duì)競(jìng)爭(zhēng),也就有了輕量級(jí)鎖升級(jí)成重量級(jí)鎖的過(guò)程


          程序員在追求極致的道路上是永無(wú)止境的,HotSpot 的作者經(jīng)過(guò)研究發(fā)現(xiàn),大多數(shù)情況下,鎖不僅不存在多線程競(jìng)爭(zhēng),而且總是由同一個(gè)線程多次獲得,同一個(gè)線程反復(fù)獲取鎖,如果還按照輕量級(jí)鎖的方式獲取鎖(CAS),也是有一定代價(jià)的,如何讓這個(gè)代價(jià)更小一些呢?

          偏向鎖

          偏向鎖實(shí)際就是鎖對(duì)象潛意識(shí)「偏心」同一個(gè)線程來(lái)訪問(wèn),讓鎖對(duì)象記住線程 ID,當(dāng)線程再次獲取鎖時(shí),亮出身份,如果同一個(gè) ID 直接就獲取鎖就好了,是一種 load-and-test 的過(guò)程,相較 CAS 自然又輕量級(jí)了一些

          可是多線程環(huán)境,也不可能只是同一個(gè)線程一直獲取這個(gè)鎖,其他線程也是要干活的,如果出現(xiàn)多個(gè)線程競(jìng)爭(zhēng)的情況,也就有了偏向鎖升級(jí)的過(guò)程


          這里可以先思考一下:偏向鎖可以繞過(guò)輕量級(jí)鎖,直接升級(jí)到重量級(jí)鎖嗎?

          都是同一個(gè)鎖對(duì)象,卻有多種鎖狀態(tài),其目的顯而易見(jiàn):

          占用的資源越少,程序執(zhí)行的速度越快

          偏向鎖,輕量鎖,它倆都不會(huì)調(diào)用系統(tǒng)互斥量(Mutex Lock),只是為了提升性能,多出的兩種鎖的狀態(tài),這樣可以在不同場(chǎng)景下采取最合適的策略,所以可以總結(jié)性的說(shuō):

          • 偏向鎖:無(wú)競(jìng)爭(zhēng)的情況下,只有一個(gè)線程進(jìn)入臨界區(qū),采用偏向鎖

          • 輕量級(jí)鎖:多個(gè)線程可以交替進(jìn)入臨界區(qū),采用輕量級(jí)鎖

          • 重量級(jí)鎖:多線程同時(shí)進(jìn)入臨界區(qū),交給操作系統(tǒng)互斥量來(lái)處理

          到這里,大家應(yīng)該理解了全局大框,但仍然會(huì)有很多疑問(wèn):

          1. 鎖對(duì)象是在哪存儲(chǔ)線程 ID 才可以識(shí)別同一個(gè)線程的?
          2. 整個(gè)升級(jí)過(guò)程是如何過(guò)渡的?

          想理解這些問(wèn)題,需要先知道 Java 對(duì)象頭的結(jié)構(gòu)

          認(rèn)識(shí) Java 對(duì)象頭

          按照常規(guī)理解,識(shí)別線程 ID 需要一組 mapping 映射關(guān)系來(lái)搞定,如果單獨(dú)維護(hù)這個(gè) mapping 關(guān)系又要考慮線程安全的問(wèn)題。奧卡姆剃刀原理,Java 萬(wàn)物皆是對(duì)象,對(duì)象皆可用作鎖,與其單獨(dú)維護(hù)一個(gè) mapping 關(guān)系,不如中心化將鎖的信息維護(hù)在 Java 對(duì)象本身上

          Java 對(duì)象頭最多由三部分構(gòu)成:

          1. MarkWord
          2. ClassMetadata Address
          3. Array Length (如果對(duì)象是數(shù)組才會(huì)有這部分

          其中 Markword 是保存鎖狀態(tài)的關(guān)鍵,對(duì)象鎖狀態(tài)可以從偏向鎖升級(jí)到輕量級(jí)鎖,再升級(jí)到重量級(jí)鎖,加上初始的無(wú)鎖狀態(tài),可以理解為有 4 種狀態(tài)。想在一個(gè)對(duì)象中表示這么多信息自然就要用存儲(chǔ),在 64 位操作系統(tǒng)中,是這樣存儲(chǔ)的(注意顏色標(biāo)記),想看具體注釋的可以看 hotspot(1.8) 源碼文件 path/hotspot/src/share/vm/oops/markOop.hpp 第 30 行


          有了這些基本信息,接下來(lái)我們就只需要弄清楚,MarkWord 中的鎖信息是怎么變化的

          認(rèn)識(shí)偏向鎖

          單純的看上圖,還是顯得十分抽象,作為程序員的我們最喜歡用代碼說(shuō)話,貼心的 openjdk 官網(wǎng)提供了可以查看對(duì)象內(nèi)存布局的工具 JOL (java object layout)

          Maven Package

          <dependency>
          ??<groupId>org.openjdk.jolgroupId>
          ??<artifactId>jol-coreartifactId>
          ??<version>0.14version>
          dependency>

          Gradle Package

          implementation?'org.openjdk.jol:jol-core:0.14'

          接下來(lái)我們就通過(guò)代碼來(lái)深入了解一下偏向鎖吧

          注意:

          上圖(從左到右) 代表 高位 -> 低位

          JOL 輸出結(jié)果(從左到右)代表 低位 -> 高位

          來(lái)看測(cè)試代碼

          場(chǎng)景1

          ?public?static?void?main(String[]?args)?{
          ??Object?o?=?new?Object();
          ??log.info("未進(jìn)入同步塊,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());
          ??synchronized?(o){
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          來(lái)看輸出結(jié)果:


          上面我們用到的 JOL 版本為 0.14, 帶領(lǐng)大家快速了解一下位具體值,接下來(lái)我們就要用 0.16 版本查看輸出結(jié)果,因?yàn)檫@個(gè)版本給了我們更友好的說(shuō)明,同樣的代碼,來(lái)看輸出結(jié)果:


          看到這個(gè)結(jié)果,你應(yīng)該是有疑問(wèn)的,JDK 1.6 之后默認(rèn)是開(kāi)啟偏向鎖的,為什么初始化的代碼是無(wú)鎖狀態(tài),進(jìn)入同步塊產(chǎn)生競(jìng)爭(zhēng)就繞過(guò)偏向鎖直接變成輕量級(jí)鎖了呢?

          雖然默認(rèn)開(kāi)啟了偏向鎖,但是開(kāi)啟有延遲,大概 4s。原因是 JVM 內(nèi)部的代碼有很多地方用到了synchronized,如果直接開(kāi)啟偏向,產(chǎn)生競(jìng)爭(zhēng)就要有鎖升級(jí),會(huì)帶來(lái)額外的性能損耗,所以就有了延遲策略


          我們可以通過(guò)參數(shù) -XX:BiasedLockingStartupDelay=0 將延遲改為0,但是不建議這么做。我們可以通過(guò)一張圖來(lái)理解一下目前的情況:

          場(chǎng)景2

          那我們就代碼延遲 5 秒來(lái)創(chuàng)建對(duì)象,來(lái)看看偏向是否生效

          ?public?static?void?main(String[]?args)?throws?InterruptedException?{
          ??//?睡眠?5s
          ??Thread.sleep(5000);
          ??Object?o?=?new?Object();
          ??log.info("未進(jìn)入同步塊,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());
          ??synchronized?(o){
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          重新查看運(yùn)行結(jié)果:


          這樣的結(jié)果是符合我們預(yù)期的,但是結(jié)果中的 biasable 狀態(tài),在 MarkWord 表格中并不存在,其實(shí)這是一種匿名偏向狀態(tài),是對(duì)象初始化中,JVM 幫我們做的

          這樣當(dāng)有線程進(jìn)入同步塊:

          1. 可偏向狀態(tài):直接就 CAS 替換 ThreadID,如果成功,就可以獲取偏向鎖了
          2. 不可偏向狀態(tài):就會(huì)變成輕量級(jí)鎖

          那問(wèn)題又來(lái)了,現(xiàn)在鎖對(duì)象有具體偏向的線程,如果新的線程過(guò)來(lái)執(zhí)行同步塊會(huì)偏向新的線程嗎?

          場(chǎng)景3

          ?public?static?void?main(String[]?args)?throws?InterruptedException?{
          ??//?睡眠?5s
          ??Thread.sleep(5000);
          ??Object?o?=?new?Object();
          ??log.info("未進(jìn)入同步塊,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());
          ??synchronized?(o){
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}

          ??Thread?t2?=?new?Thread(()?->?{
          ???synchronized?(o)?{
          ????log.info("新線程獲取鎖,MarkWord為:");
          ????log.info(ClassLayout.parseInstance(o).toPrintable());
          ???}
          ??});

          ??t2.start();
          ??t2.join();
          ??log.info("主線程再次查看鎖對(duì)象,MarkWord為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());

          ??synchronized?(o){
          ???log.info(("主線程再次進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          來(lái)看運(yùn)行結(jié)果,奇怪的事情發(fā)生了:


          • 標(biāo)記1: 初始可偏向狀態(tài)

          • 標(biāo)記2:偏向主線程后,主線程退出同步代碼塊

          • 標(biāo)記3: ?新線程進(jìn)入同步代碼塊,升級(jí)成了輕量級(jí)鎖

          • 標(biāo)記4: 新線程輕量級(jí)鎖退出同步代碼塊,主線程查看,變?yōu)椴豢善驙顟B(tài)

          • 標(biāo)記5: 由于對(duì)象不可偏向,同場(chǎng)景1主線程再次進(jìn)入同步塊,自然就會(huì)用輕量級(jí)鎖

          至此,場(chǎng)景一二三可以總結(jié)為一張圖:


          從這樣的運(yùn)行結(jié)果上來(lái)看,偏向鎖像是“一錘子買賣”,只要偏向了某個(gè)線程,后續(xù)其他線程嘗試獲取鎖,都會(huì)變?yōu)檩p量級(jí)鎖,這樣的偏向非常有局限性。事實(shí)上并不是這樣,如果你仔細(xì)看標(biāo)記2(已偏向狀態(tài)),還有個(gè) epoch 我們沒(méi)有提及,這個(gè)值就是打破這種局限性的關(guān)鍵,在了解 epoch 之前,我們還要了解一個(gè)概念——偏向撤銷

          偏向撤銷

          在真正講解偏向撤銷之前,需要和大家明確一個(gè)概念——偏向鎖撤銷和偏向鎖釋放是兩碼事

          1. 撤銷:籠統(tǒng)的說(shuō)就是多個(gè)線程競(jìng)爭(zhēng)導(dǎo)致不能再使用偏向模式的時(shí)候,主要是告知這個(gè)鎖對(duì)象不能再用偏向模式
          2. 釋放:和你的常規(guī)理解一樣,對(duì)應(yīng)的就是 synchronized 方法的退出或 synchronized 塊的結(jié)束

          何為偏向撤銷?

          從偏向狀態(tài)撤回原有的狀態(tài),也就是將 MarkWord 的第 3 位(是否偏向撤銷)的值,從 1 變回 0

          如果只是一個(gè)線程獲取鎖,再加上「偏心」的機(jī)制,是沒(méi)有理由撤銷偏向的,所以偏向的撤銷只能發(fā)生在有競(jìng)爭(zhēng)的情況下

          想要撤銷偏向鎖,還不能對(duì)持有偏向鎖的線程有影響,所以就要等待持有偏向鎖的線程到達(dá)一個(gè) safepoint 安全點(diǎn) (這里的安全點(diǎn)是 JVM 為了保證在垃圾回收的過(guò)程中引用關(guān)系不會(huì)發(fā)生變化設(shè)置的一種安全狀態(tài),在這個(gè)狀態(tài)上會(huì)暫停所有線程工作), 在這個(gè)安全點(diǎn)會(huì)掛起獲得偏向鎖的線程

          在這個(gè)安全點(diǎn),線程可能還是處在不同狀態(tài)的,先說(shuō)結(jié)論(因?yàn)樵创a就是這么寫的,可能有疑惑的地方會(huì)在后面解釋)

          1. 線程不存活或者活著的線程但退出了同步塊,很簡(jiǎn)單,直接撤銷偏向就好了

          2. 活著的線程但仍在同步塊之內(nèi),那就要升級(jí)成輕量級(jí)鎖

          這個(gè)和 epoch 貌似還是沒(méi)啥關(guān)系,因?yàn)檫@還不是全部場(chǎng)景。偏向鎖是特定場(chǎng)景下提升程序效率的方案,可并不代表程序員寫的程序都滿足這些特定場(chǎng)景,比如這些場(chǎng)景(在開(kāi)啟偏向鎖的前提下):

          1. 一個(gè)線程創(chuàng)建了大量對(duì)象并執(zhí)行了初始的同步操作,之后在另一個(gè)線程中將這些對(duì)象作為鎖進(jìn)行之后的操作。這種case下,會(huì)導(dǎo)致大量的偏向鎖撤銷操作

          2. 明知有多線程競(jìng)爭(zhēng)(生產(chǎn)者/消費(fèi)者隊(duì)列),還要使用偏向鎖,也會(huì)導(dǎo)致各種撤銷

          很顯然,這兩種場(chǎng)景肯定會(huì)導(dǎo)致偏向撤銷的,一個(gè)偏向撤銷的成本無(wú)所謂,大量偏向撤銷的成本是不能忽視的。那怎么辦?既不想禁用偏向鎖,還不想忍受大量撤銷偏向增加的成本,這種方案就是設(shè)計(jì)一個(gè)有階梯的底線

          批量重偏向(bulk rebias)

          這是第一種場(chǎng)景的快速解決方案,以 class 為單位,為每個(gè) class 維護(hù)一個(gè)偏向鎖撤銷計(jì)數(shù)器,每一次該class的對(duì)象發(fā)生偏向撤銷操作時(shí),該計(jì)數(shù)器 +1,當(dāng)這個(gè)值達(dá)到重偏向閾值(默認(rèn)20)時(shí):

          BiasedLockingBulkRebiasThreshold?=?20

          JVM 就認(rèn)為該class的偏向鎖有問(wèn)題,因此會(huì)進(jìn)行批量重偏向, 它的實(shí)現(xiàn)方式就用到了我們上面說(shuō)的 epoch

          Epoch,如其含義「紀(jì)元」一樣,就是一個(gè)時(shí)間戳。每個(gè) class 對(duì)象會(huì)有一個(gè)對(duì)應(yīng)的epoch字段,每個(gè)處于偏向鎖狀態(tài)對(duì)象mark word 中也有該字段,其初始值為創(chuàng)建該對(duì)象時(shí) class 中的epoch的值(此時(shí)二者是相等的)。每次發(fā)生批量重偏向時(shí),就將該值加1,同時(shí)遍歷JVM中所有線程的棧

          1. 找到該 class 所有正處于加鎖狀態(tài)的偏向鎖對(duì)象,將其epoch字段改為新值
          2. class 中不處于加鎖狀態(tài)的偏向鎖對(duì)象(沒(méi)被任何線程持有,但之前是被線程持有過(guò)的,這種鎖對(duì)象的 markword 肯定也是有偏向的),保持 epoch 字段值不變

          這樣下次獲得鎖時(shí),發(fā)現(xiàn)當(dāng)前對(duì)象的epoch值和class的epoch,本著今朝不問(wèn)前朝事 的原則(上一個(gè)紀(jì)元),那就算當(dāng)前已經(jīng)偏向了其他線程,也不會(huì)執(zhí)行撤銷操作,而是直接通過(guò) CAS 操作將其mark word的線程 ID 改成當(dāng)前線程 ID,這也算是一定程度的優(yōu)化,畢竟沒(méi)升級(jí)鎖;

          如果 epoch 都一樣,說(shuō)明沒(méi)有發(fā)生過(guò)批量重偏向, 如果 markword 有線程ID,還有其他鎖來(lái)競(jìng)爭(zhēng),那鎖自然是要升級(jí)的(如同前面舉的例子 epoch=0)

          批量重偏向是第一階梯底線,還有第二階梯底線

          批量撤銷(bulk revoke)

          當(dāng)達(dá)到重偏向閾值后,假設(shè)該 class 計(jì)數(shù)器繼續(xù)增長(zhǎng),當(dāng)其達(dá)到批量撤銷的閾值后(默認(rèn)40)時(shí),

          BiasedLockingBulkRevokeThreshold?=?40

          JVM就認(rèn)為該 class 的使用場(chǎng)景存在多線程競(jìng)爭(zhēng),會(huì)標(biāo)記該 class 為不可偏向。之后對(duì)于該 class 的鎖,直接走輕量級(jí)鎖的邏輯

          這就是第二階梯底線,但是在第一階梯到第二階梯的過(guò)渡過(guò)程中,也就是在徹底禁用偏向鎖之前,還給一次改過(guò)自新的機(jī)會(huì),那就是另外一個(gè)計(jì)時(shí)器:

          BiasedLockingDecayTime?=?25000
          1. 如果在距離上次批量重偏向發(fā)生的 25 秒之內(nèi),并且累計(jì)撤銷計(jì)數(shù)達(dá)到40,就會(huì)發(fā)生批量撤銷(偏向鎖徹底 game over)
          2. 如果在距離上次批量重偏向發(fā)生超過(guò) 25 秒之外,那么就會(huì)重置在 [20, 40) 內(nèi)的計(jì)數(shù), 再給次機(jī)會(huì)

          大家有興趣可以寫代碼測(cè)試一下臨界點(diǎn),觀察鎖對(duì)象 markword 的變化

          至此,整個(gè)偏向鎖的工作流程可以用一張圖表示:


          到此,你應(yīng)該對(duì)偏向鎖有個(gè)基本的認(rèn)識(shí)了,但是我心中的好多疑問(wèn)還沒(méi)有解除,咱們繼續(xù)看:

          HashCode 哪去了

          上面場(chǎng)景一,無(wú)鎖狀態(tài),對(duì)象頭中沒(méi)有 hashcode;偏向鎖狀態(tài),對(duì)象頭還是沒(méi)有 hashcode,那我們的 hashcode 哪去了?

          首先要知道,hashcode 不是創(chuàng)建對(duì)象就幫我們寫到對(duì)象頭中的,而是要經(jīng)過(guò)第一次調(diào)用 Object::hashCode() 或者System::identityHashCode(Object) 才會(huì)存儲(chǔ)在對(duì)象頭中的。第一次生成的 hashcode后,該值應(yīng)該是一直保持不變的,但偏向鎖又是來(lái)回更改鎖對(duì)象的 markword,必定會(huì)對(duì) hashcode 的生成有影響,那怎么辦呢?,我們來(lái)用代碼驗(yàn)證:

          場(chǎng)景一

          ?public?static?void?main(String[]?args)?throws?InterruptedException?{
          ??//?睡眠?5s
          ??Thread.sleep(5000);

          ??Object?o?=?new?Object();
          ??log.info("未生成 hashcode,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());

          ??o.hashCode();
          ??log.info("已生成 hashcode,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());

          ??synchronized?(o){
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          來(lái)看運(yùn)行結(jié)果


          結(jié)論就是:即便初始化為可偏向狀態(tài)的對(duì)象,一旦調(diào)用 Object::hashCode() 或者System::identityHashCode(Object) ,進(jìn)入同步塊就會(huì)直接使用輕量級(jí)鎖

          場(chǎng)景二

          假如已偏向某一個(gè)線程,然后生成 hashcode,然后同一個(gè)線程又進(jìn)入同步塊,會(huì)發(fā)生什么呢?來(lái)看代碼:

          ?public?static?void?main(String[]?args)?throws?InterruptedException?{
          ??//?睡眠?5s
          ??Thread.sleep(5000);

          ??Object?o?=?new?Object();
          ??log.info("未生成 hashcode,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());

          ??synchronized?(o){
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}

          ??o.hashCode();
          ??log.info("生成?hashcode");
          ??synchronized?(o){
          ???log.info(("同一線程再次進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          查看運(yùn)行結(jié)果:


          結(jié)論就是:同場(chǎng)景一,會(huì)直接使用輕量級(jí)鎖

          場(chǎng)景三

          那假如對(duì)象處于已偏向狀態(tài),在同步塊中調(diào)用了那兩個(gè)方法會(huì)發(fā)生什么呢?繼續(xù)代碼驗(yàn)證:

          ?public?static?void?main(String[]?args)?throws?InterruptedException?{
          ??//?睡眠?5s
          ??Thread.sleep(5000);

          ??Object?o?=?new?Object();
          ??log.info("未生成 hashcode,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());

          ??synchronized?(o){
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ???o.hashCode();
          ???log.info("已偏向狀態(tài)下,生成 hashcode,MarkWord 為:");
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          來(lái)看運(yùn)行結(jié)果:


          結(jié)論就是:如果對(duì)象處在已偏向狀態(tài),生成 hashcode 后,就會(huì)直接升級(jí)成重量級(jí)鎖

          最后用書中的一段話來(lái)描述 鎖和hashcode 之前的關(guān)系


          調(diào)用 Object.wait() 方法會(huì)發(fā)生什么?

          Object 除了提供了上述 hashcode 方法,還有 wait() 方法,這也是我們?cè)谕綁K中常用的,那這會(huì)對(duì)鎖產(chǎn)生哪些影響呢?來(lái)看代碼:

          ?public?static?void?main(String[]?args)?throws?InterruptedException?{
          ??//?睡眠?5s
          ??Thread.sleep(5000);

          ??Object?o?=?new?Object();
          ??log.info("未生成 hashcode,MarkWord 為:");
          ??log.info(ClassLayout.parseInstance(o).toPrintable());

          ??synchronized?(o)?{
          ???log.info(("進(jìn)入同步塊,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());

          ???log.info("wait?2s");
          ???o.wait(2000);

          ???log.info(("調(diào)用 wait 后,MarkWord 為:"));
          ???log.info(ClassLayout.parseInstance(o).toPrintable());
          ??}
          ?}

          查看運(yùn)行結(jié)果:


          結(jié)論就是,wait 方法是互斥量(重量級(jí)鎖)獨(dú)有的,一旦調(diào)用該方法,就會(huì)升級(jí)成重量級(jí)鎖(這個(gè)是面試可以說(shuō)出的亮點(diǎn)內(nèi)容哦)

          最后再繼續(xù)豐富一下鎖對(duì)象變化圖:


          告別偏向鎖

          看到這個(gè)標(biāo)題你應(yīng)該是有些慌,為啥要告別偏向鎖,因?yàn)榫S護(hù)成本有些高了,來(lái)看 Open JDK 官方聲明,JEP 374: Deprecate and Disable Biased Locking,相信你看上面的文字說(shuō)明也深有體會(huì),為了一個(gè)現(xiàn)在少有的場(chǎng)景付出了巨大的代碼實(shí)現(xiàn)


          這個(gè)說(shuō)明的更新時(shí)間距離現(xiàn)在很近,在 JDK15 版本就已經(jīng)開(kāi)始了

          一句話解釋就是維護(hù)成本太高


          最終就是,JDK 15 之前,偏向鎖默認(rèn)是 enabled,從 15 開(kāi)始,默認(rèn)就是 disabled,除非顯示的通過(guò) UseBiasedLocking 開(kāi)啟

          其中在 quarkus 上的一篇文章說(shuō)明的更加直接


          偏向鎖給 JVM 增加了巨大的復(fù)雜性,只有少數(shù)非常有經(jīng)驗(yàn)的程序員才能理解整個(gè)過(guò)程,維護(hù)成本很高,大大阻礙了開(kāi)發(fā)新特性的進(jìn)程(換個(gè)角度理解,你掌握了,是不是就是那少數(shù)有經(jīng)驗(yàn)的程序員了呢?哈哈)

          總結(jié)

          偏向鎖可能就這樣的走完了它的一生,有些同學(xué)可能直接發(fā)問(wèn),都被 deprecated 了,JDK都 17 了,還講這么多干什么?

          1. java 任它發(fā),我用 Java8,這是很多主流的狀態(tài),至少你用的版本沒(méi)有被 deprecated
          2. 面試還是會(huì)被經(jīng)常問(wèn)到
          3. 萬(wàn)一哪天有更好的設(shè)計(jì)方案,“偏向鎖”又以新的形式回來(lái)了呢,了解變化才能更好理解背后設(shè)計(jì)
          4. 奧卡姆剃刀原理,我們現(xiàn)實(shí)中的優(yōu)化也一樣,如果沒(méi)有必要不要增加實(shí)體,如果增加的內(nèi)容帶來(lái)很大的成本,不如大膽的廢除掉,接受一點(diǎn)落差

          之前對(duì)于偏向鎖我也只是單純的理論認(rèn)知,但是為了寫這篇文章,我翻閱了很多資料,包括也重新查看 Hotspot 源碼,說(shuō)的這些內(nèi)容也并不能完全說(shuō)明偏向鎖的整個(gè)流程細(xì)節(jié),還需要大家具體實(shí)踐追蹤查看,這里給出源碼的幾個(gè)關(guān)鍵入口,方便大家追蹤:

          1. 偏向鎖入口:http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/file/9ce27f0a4683/src/share/vm/interpreter/bytecodeInterpreter.cpp#l1816
          2. 偏向撤銷入口:http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/file/9ce27f0a4683/src/share/vm/interpreter/interpreterRuntime.cpp#l608
          3. 偏向鎖釋放入口:http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/file/9ce27f0a4683/src/share/vm/interpreter/bytecodeInterpreter.cpp#l1923

          文中有疑問(wèn)的地方歡迎留言討論,有錯(cuò)誤的地方還請(qǐng)大家?guī)兔χ刚?/p>

          靈魂追問(wèn)

          1. 輕量級(jí)和重量級(jí)鎖,hashcode 存在了什么位置?

          參考資料

          感謝各路前輩的精華總結(jié),可以讓我參考理解:

          1. https://www.oracle.com/technetwork/java/javase/tech/biasedlocking-oopsla2006-preso-150106.pdf
          2. https://www.oracle.com/technetwork/java/biasedlocking-oopsla2006-wp-149958.pdf
          3. https://wiki.openjdk.java.net/display/HotSpot/Synchronization#Synchronization-Russel06
          4. https://github.com/farmerjohngit/myblog/issues/12
          5. https://zhuanlan.zhihu.com/p/440994983
          6. https://mp.weixin.qq.com/s/G4z08HfiqJ4qm3th0KtovA
          7. https://www.jianshu.com/p/884eb51266e4

          瀏覽 37
          點(diǎn)贊
          評(píng)論
          收藏
          分享

          手機(jī)掃一掃分享

          分享
          舉報(bào)
          評(píng)論
          圖片
          表情
          推薦
          點(diǎn)贊
          評(píng)論
          收藏
          分享

          手機(jī)掃一掃分享

          分享
          舉報(bào)
          <kbd id="afajh"><form id="afajh"></form></kbd>
          <strong id="afajh"><dl id="afajh"></dl></strong>
            <del id="afajh"><form id="afajh"></form></del>
                1. <th id="afajh"><progress id="afajh"></progress></th>
                  <b id="afajh"><abbr id="afajh"></abbr></b>
                  <th id="afajh"><progress id="afajh"></progress></th>
                  天天撸 天天操 | 怡红院AV在线 | 亚洲视频在线免费看 | 内射短视频 | 日本黄色综合 |