JVM編譯器

轉(zhuǎn)載自(侵刪):https://www.cnblogs.com/insistence/p/5901457.html

1. 什么是Just In Time編譯器?

Hot Spot 編譯

當(dāng) JVM 執(zhí)行代碼時(shí),它并不立即開始編譯代碼痰滋。這主要有兩個(gè)原因:

首先,如果這段代碼本身在將來只會(huì)被執(zhí)行一次膛堤,那么從本質(zhì)上看,編譯就是在浪費(fèi)精力摊阀。因?yàn)閷⒋a翻譯成 java 字節(jié)碼相對(duì)于編譯這段代碼并執(zhí)行代碼來說童芹,要快很多。

當(dāng) 然便脊,如果一段代碼頻繁的調(diào)用方法,或是一個(gè)循環(huán)光戈,也就是這段代碼被多次執(zhí)行哪痰,那么編譯就非常值得了遂赠。因此,編譯器具有的這種權(quán)衡能力會(huì)首先執(zhí)行解釋后的代 碼晌杰,然后再去分辨哪些方法會(huì)被頻繁調(diào)用來保證其本身的編譯跷睦。其實(shí)說簡(jiǎn)單點(diǎn),就是 JIT 在起作用肋演,我們知道抑诸,對(duì)于 Java 代碼,剛開始都是被編譯器編譯成字節(jié)碼文件惋啃,然后字節(jié)碼文件會(huì)被交由 JVM 解釋執(zhí)行哼鬓,所以可以說 Java 本身是一種半編譯半解釋執(zhí)行的語言。Hot Spot VM 采用了 JIT compile 技術(shù)边灭,將運(yùn)行頻率很高的字節(jié)碼直接編譯為機(jī)器指令執(zhí)行以提高性能,所以當(dāng)字節(jié)碼被 JIT 編譯為機(jī)器碼的時(shí)候健盒,要說它是編譯執(zhí)行的也可以绒瘦。也就是說,運(yùn)行時(shí)扣癣,部分代碼可能由 JIT 翻譯為目標(biāo)機(jī)器指令(以 method 為翻譯單位惰帽,還會(huì)保存起來,第二次執(zhí)行就不用翻譯了)直接執(zhí)行父虑。

第二個(gè)原因是最優(yōu)化该酗,當(dāng) JVM 執(zhí)行某一方法或遍歷循環(huán)的次數(shù)越多,就會(huì)更加了解代碼結(jié)構(gòu)士嚎,那么 JVM 在編譯代碼的時(shí)候就做出相應(yīng)的優(yōu)化呜魄。

我 們將在后面講解這些優(yōu)化策略,這里莱衩,先舉一個(gè)簡(jiǎn)單的例子:我們知道 equals() 這個(gè)方法存在于每一個(gè) Java Object 中(因?yàn)槭菑?Object class 繼承而來)而且經(jīng)常被覆寫爵嗅。當(dāng)解釋器遇到 b = obj1.equals(obj2) 這樣一句代碼,它則會(huì)查詢 obj1 的類型從而得知到底運(yùn)行哪一個(gè) equals() 方法笨蚁。而這個(gè)動(dòng)態(tài)查詢的過程從某種程度上說是很耗時(shí)的睹晒。

在主流商用JVM(HotSpot、J9)中括细,Java程序一開始是通過解釋器(Interpreter)進(jìn)行解釋執(zhí)行的伪很。當(dāng)JVM發(fā)現(xiàn)某個(gè)方法或代碼塊運(yùn)行特別頻繁時(shí),就會(huì)把這些代碼認(rèn)定為“熱點(diǎn)代碼(Hot Spot Code)”奋单,然后JVM會(huì)把這些代碼編譯成與本地平臺(tái)相關(guān)的機(jī)器碼锉试,并進(jìn)行各種層次的優(yōu)化,完成這個(gè)任務(wù)的編譯器稱為:即時(shí)編譯器(Just In Time Compiler辱匿,JIT)

JIT編譯器是“動(dòng)態(tài)編譯器”的一種键痛,相對(duì)的“靜態(tài)編譯器”則是指的比如:C/C++的編譯器

JIT并不是JVM的必須部分炫彩,JVM規(guī)范并沒有規(guī)定JIT必須存在,更沒有限定和指導(dǎo)JIT絮短。但是江兢,JIT性能的好壞、代碼優(yōu)化程度的高低卻是衡量一款JVM是否優(yōu)秀的最關(guān)鍵指標(biāo)之一丁频,也是虛擬機(jī)中最核心且最能體現(xiàn)虛擬機(jī)技術(shù)水平的部分杉允。


2. 編譯器與解釋器

首先,不是所有JVM都采用編譯器和解釋器并存的架構(gòu)席里,但主流商用虛擬機(jī)叔磷,都同時(shí)包含這兩部分。

2.1 配合過程

  1. 當(dāng)程序需要迅速啟動(dòng)然后執(zhí)行的時(shí)候奖磁,解釋器可以首先發(fā)揮作用改基,編譯器不運(yùn)行從而省去編譯時(shí)間,立即執(zhí)行程序

  2. 在程序運(yùn)行后咖为,隨著時(shí)間的推移秕狰,編譯器逐漸發(fā)揮作用,把越來越多的代碼編譯成本地代碼之后躁染,可以獲得更高的執(zhí)行效率

  3. 當(dāng)程序運(yùn)行環(huán)境中內(nèi)存資源限制較大(如部分嵌入式系統(tǒng)中)鸣哀,可以使用解釋執(zhí)行來節(jié)約內(nèi)存;反之吞彤,則可以使用編譯執(zhí)行來提升效率我衬。

  4. 同時(shí),解釋器還可以作為編譯器(C2才會(huì)激進(jìn)優(yōu)化)激進(jìn)優(yōu)化時(shí)的一個(gè)“逃生門”饰恕,讓編譯器根據(jù)概率選擇一些大多數(shù)時(shí)候都能提升運(yùn)行速度的優(yōu)化手段挠羔,當(dāng)激進(jìn)優(yōu)化假設(shè)不成立。如:加載了新類后懂盐,類型繼承結(jié)構(gòu)出現(xiàn)變化褥赊,出現(xiàn)“罕見陷阱(Uncommon Trap)”時(shí),可以通過逆優(yōu)化(Deoptimization)退回到解釋狀態(tài)繼續(xù)執(zhí)行
    (部分沒有解釋器的虛擬機(jī)莉恼,也會(huì)采用不進(jìn)行激進(jìn)優(yōu)化的C1編譯器擔(dān)任“逃生門”的角色)

20160324193842966.png

2.2 解釋器 - Interpreter

Interpreter解釋執(zhí)行class文件拌喉,好像JavaScript執(zhí)行引擎一樣

特殊的例子:

  • 最早的Sun Classic VM只有Interpreter
  • BEA JRockit VM則只有Compiler,但它主要面向服務(wù)端應(yīng)用俐银,部署在其上的應(yīng)用不重點(diǎn)關(guān)注啟動(dòng)時(shí)間

2.3 編譯器 - Compiler

只說HotSpot JVM

1. C1和C2:

HotSpot虛擬機(jī)內(nèi)置了兩個(gè)即時(shí)編譯器尿背,分別稱為Client Compiler和Server Compiler,習(xí)慣上將前者稱為C1捶惜,后者稱為C2

2. 使用C1還是C2田藐?

HotSpot默認(rèn)采用解釋器和其中一個(gè)編譯器直接配合的方式工作,使用那個(gè)編譯器取決于虛擬機(jī)運(yùn)行的模式,HotSpot會(huì)根據(jù)自身版本和宿主機(jī)器硬件性能自動(dòng)選擇模式汽久,用戶也可以使用“-client”或”-server”參數(shù)去指定

  1. 混合模式(Mixed Mode)
    默認(rèn)的模式鹤竭,如上面描述的這種方式就是mixed mode

  2. 解釋模式(Interpreted Mode)
    可以使用參數(shù)“-Xint”,在此模式下全部代碼解釋執(zhí)行

  3. 編譯模式(Compiled Mode)
    參數(shù)“-Xcomp”景醇,此模式優(yōu)先采用編譯臀稚,但是無法編譯時(shí)也會(huì)解釋(在最新的HotSpot中此參數(shù)被取消)

    可以看到,我的JVM現(xiàn)在是mixed mode

$ java -version

java version "1.8.0_191"
Java(TM) SE Runtime Environment (build 1.8.0_191-b12)
Java HotSpot(TM) 64-Bit Server VM (build 25.191-b12, mixed mode)

重要:↓

在JDK1.7(1.7僅包括Server模式)之后三痰,HotSpot就不是默認(rèn)“采用解釋器和其中一個(gè)編譯器”配合的方式了吧寺,而是采用了分層編譯,分層編譯時(shí)C1和C2有可能同時(shí)工作


3. 分層編譯

3.1 為什么要分層編譯散劫?

由于編譯器compile本地代碼需要占用程序時(shí)間稚机,要編譯出優(yōu)化程度更高的代碼所花費(fèi)的時(shí)間可能更長(zhǎng),且此時(shí)解釋器還要替編譯器收集性能監(jiān)控信息获搏,這對(duì)解釋執(zhí)行的速度也有影響

所以赖条,為了在程序啟動(dòng)響應(yīng)時(shí)間與運(yùn)行效率之間達(dá)到最佳平衡,HotSpot在JDK1.6中出現(xiàn)了分層編譯(Tiered Compilation)的概念并在JDK1.7的Server模式JVM中作為默認(rèn)策略被開啟

3.2 編譯層 tier(或者叫級(jí)別)

分層編譯根據(jù)編譯器編譯常熙、優(yōu)化的規(guī)模與耗時(shí)谋币,劃分了不同的編譯層次(不只以下3種),包括:

  • 第0層症概,程序解釋執(zhí)行(沒有編譯),解釋器不開啟性能監(jiān)控功能早芭,可觸發(fā)第1層編譯彼城。

  • 第1層,也稱C1編譯退个,將字節(jié)碼編譯為本地代碼募壕,進(jìn)行簡(jiǎn)單、可靠的優(yōu)化语盈,如有必要將加入性能監(jiān)控的邏輯

  • 第2層(或2層以上)舱馅,也稱為C2編譯,也是將字節(jié)碼編譯為本地代碼刀荒,但是會(huì)啟用一些編譯耗時(shí)較長(zhǎng)的優(yōu)化代嗤,甚至?xí)?/strong>根據(jù)性能監(jiān)控信息進(jìn)行一些不可靠的激進(jìn)優(yōu)化

實(shí)施分層編譯后,C1和C2將會(huì)同時(shí)工作缠借,許多代碼會(huì)被多次編譯干毅,用C1獲取更高的編譯速度,用C2來獲取更好的編譯質(zhì)量泼返,且在解釋執(zhí)行的時(shí)候解釋器也無須再承擔(dān)收集性能監(jiān)控信息的任務(wù)


4. 編譯對(duì)象與觸發(fā)條件

1. 誰被編譯了硝逢?

編譯對(duì)象就是之前說的“熱點(diǎn)代碼”,它有兩類:

  1. 被多次調(diào)用的方法

    • 一個(gè)方法被多次調(diào)用,理應(yīng)稱為熱點(diǎn)代碼渠鸽,這種編譯也是虛擬機(jī)中標(biāo)準(zhǔn)的JIT編譯方式
  2. 被多次執(zhí)行的循環(huán)體

    • 編譯動(dòng)作由循環(huán)體出發(fā)叫乌,但編譯對(duì)象依然會(huì)以整個(gè)方法為對(duì)象
    • 這種編譯方式由于編譯發(fā)生在方法執(zhí)行過程中徽缚,因此形象的稱為:棧上替換(On Stack Replacement- OSR編譯憨奸,即方法棧幀還在棧上,方法就被替換了)

2. 觸發(fā)條件

1. 綜述

上面的方法和循環(huán)體都說“多次”猎拨,那么多少算多膀藐?換個(gè)說法就是編譯的觸發(fā)條件。

判斷一段代碼是不是熱點(diǎn)代碼红省,是不是需要觸發(fā)JIT編譯额各,這樣的行為稱為:熱點(diǎn)探測(cè)(Hot Spot Detection),有幾種主流的探測(cè)方式:

  1. 基于計(jì)數(shù)器的熱點(diǎn)探測(cè)(Counter Based Hot Spot Detection)
    虛擬機(jī)會(huì)為每個(gè)方法(或每個(gè)代碼塊)建立計(jì)數(shù)器吧恃,統(tǒng)計(jì)執(zhí)行次數(shù)虾啦,如果超過閥值那么就是熱點(diǎn)代碼。缺點(diǎn)是維護(hù)計(jì)數(shù)器開銷痕寓。

  2. 基于采樣的熱點(diǎn)探測(cè)(Sample Based Hot Spot Detection)
    虛擬機(jī)會(huì)周期性檢查各個(gè)線程的棧頂傲醉,如果某個(gè)方法經(jīng)常出現(xiàn)在棧頂,那么就是熱點(diǎn)代碼呻率。缺點(diǎn)是不精確硬毕。

  3. 基于蹤跡的熱點(diǎn)探測(cè)(Trace Based Hot Spot Detection)
    Dalvik中的JIT編譯器使用這種方式

2. HotSpot

HotSpot使用的是第1種,因此它為每個(gè)方法準(zhǔn)備了兩類計(jì)數(shù)器:方法調(diào)用計(jì)數(shù)器(Invocation Counter)和回邊計(jì)數(shù)器(Back Edge Counter)

  1. 方法計(jì)數(shù)器

    • 默認(rèn)閥值礼仗,在Client模式下是1500次吐咳,Server是10000次,可以通過參數(shù)“-XX:CompileThreshold”來設(shè)定

    • 當(dāng)一個(gè)方法被調(diào)用時(shí)會(huì)首先檢查是否存在被JIT編譯過得版本元践,如果存在則使用此本地代碼來執(zhí)行韭脊;如果不存在,則將方法計(jì)數(shù)器+1单旁,然后判斷“方法計(jì)數(shù)器和回邊計(jì)數(shù)器之和”是否超過閥值沪羔,如果是則會(huì)向編譯器提交一個(gè)方法編譯請(qǐng)求

    • 默認(rèn)情況下,執(zhí)行引擎并不會(huì)同步等待上面的編譯完成象浑,而是會(huì)繼續(xù)解釋執(zhí)行蔫饰。當(dāng)編譯完成后,此方法的調(diào)用入口地址會(huì)被系統(tǒng)自動(dòng)改寫為新的本地代碼地址

    • 還有一點(diǎn)融柬,熱度是會(huì)衰減的死嗦,也就是說不是僅僅+,也會(huì)-粒氧,熱度衰減動(dòng)作是在虛擬機(jī)的GC執(zhí)行時(shí)順便進(jìn)行的

  2. 回邊計(jì)數(shù)器

    • 回邊越除,顧名思義,只有執(zhí)行到大括號(hào)”}”時(shí)才算+1

    • 默認(rèn)閥值,Client下13995摘盆,Server下10700

    • 它的調(diào)用邏輯和方法計(jì)數(shù)器差不多翼雀,只不過遇到回邊指令時(shí)+1、超過閥值時(shí)會(huì)提交OSR編譯請(qǐng)求以及這里沒有熱度衰減


5. 編譯過程

編譯過程是在后臺(tái)線程(daemon)中完成的孩擂,可以通過參數(shù)“-XX:-BackgroundCompilation”來禁止后臺(tái)編譯狼渊,但此時(shí)執(zhí)行線程就會(huì)同步等待編譯完成才會(huì)執(zhí)行程序

  1. Client Compiler
    C1編譯器是一個(gè)簡(jiǎn)單快速的三段式編譯器,主要關(guān)注“局部性能優(yōu)化”类垦,放棄許多耗時(shí)較長(zhǎng)的全局優(yōu)化手段
    過程:class -> 1. 高級(jí)中間代碼 -> 2. 低級(jí)中間代碼 -> 3. 機(jī)器代碼
  2. Server Compiler
    C2是專門面向服務(wù)器應(yīng)用的編譯器狈邑,是一個(gè)充分優(yōu)化過的高級(jí)編譯器,幾乎能達(dá)到GNU C++編譯器使用-O2參數(shù)時(shí)的優(yōu)化強(qiáng)度蚤认。

使用參數(shù)“-XX:+PrintCompilation”會(huì)讓虛擬機(jī)在JIT時(shí)把方法名稱打印出來米苹,如圖:

圖片

6. Java和C/C++的編譯器對(duì)比

這里不是比Java和C/C++誰快這種大坑問題,只是比較編譯器(我認(rèn)為開發(fā)效率上Java快砰琢,執(zhí)行效率上C/C++快)

這種對(duì)比代表了經(jīng)典的即時(shí)編譯器與靜態(tài)編譯期的對(duì)比蘸嘶,其實(shí)總體來說Java編譯器有優(yōu)有劣。主要就是動(dòng)態(tài)編譯時(shí)間壓力大能做的優(yōu)化少陪汽,還要做一些動(dòng)態(tài)校驗(yàn)训唱。而靜態(tài)編譯器無法實(shí)現(xiàn)一些開發(fā)上很有用的動(dòng)態(tài)特性

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末,一起剝皮案震驚了整個(gè)濱河市挚冤,隨后出現(xiàn)的幾起案子况增,更是在濱河造成了極大的恐慌,老刑警劉巖训挡,帶你破解...
    沈念sama閱讀 221,430評(píng)論 6 515
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件巡通,死亡現(xiàn)場(chǎng)離奇詭異,居然都是意外死亡舍哄,警方通過查閱死者的電腦和手機(jī),發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 94,406評(píng)論 3 398
  • 文/潘曉璐 我一進(jìn)店門誊锭,熙熙樓的掌柜王于貴愁眉苦臉地迎上來表悬,“玉大人,你說我怎么就攤上這事丧靡◇∧” “怎么了?”我有些...
    開封第一講書人閱讀 167,834評(píng)論 0 360
  • 文/不壞的土叔 我叫張陵温治,是天一觀的道長(zhǎng)饭庞。 經(jīng)常有香客問我,道長(zhǎng)熬荆,這世上最難降的妖魔是什么舟山? 我笑而不...
    開封第一講書人閱讀 59,543評(píng)論 1 296
  • 正文 為了忘掉前任,我火速辦了婚禮,結(jié)果婚禮上累盗,老公的妹妹穿的比我還像新娘寒矿。我一直安慰自己,他們只是感情好若债,可當(dāng)我...
    茶點(diǎn)故事閱讀 68,547評(píng)論 6 397
  • 文/花漫 我一把揭開白布符相。 她就那樣靜靜地躺著,像睡著了一般蠢琳。 火紅的嫁衣襯著肌膚如雪啊终。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 52,196評(píng)論 1 308
  • 那天傲须,我揣著相機(jī)與錄音蓝牲,去河邊找鬼。 笑死躏碳,一個(gè)胖子當(dāng)著我的面吹牛搞旭,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播菇绵,決...
    沈念sama閱讀 40,776評(píng)論 3 421
  • 文/蒼蘭香墨 我猛地睜開眼肄渗,長(zhǎng)吁一口氣:“原來是場(chǎng)噩夢(mèng)啊……” “哼!你這毒婦竟也來了咬最?” 一聲冷哼從身側(cè)響起翎嫡,我...
    開封第一講書人閱讀 39,671評(píng)論 0 276
  • 序言:老撾萬榮一對(duì)情侶失蹤,失蹤者是張志新(化名)和其女友劉穎永乌,沒想到半個(gè)月后惑申,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 46,221評(píng)論 1 320
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡翅雏,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 38,303評(píng)論 3 340
  • 正文 我和宋清朗相戀三年圈驼,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片望几。...
    茶點(diǎn)故事閱讀 40,444評(píng)論 1 352
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡绩脆,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出橄抹,到底是詐尸還是另有隱情靴迫,我是刑警寧澤,帶...
    沈念sama閱讀 36,134評(píng)論 5 350
  • 正文 年R本政府宣布楼誓,位于F島的核電站玉锌,受9級(jí)特大地震影響,放射性物質(zhì)發(fā)生泄漏疟羹。R本人自食惡果不足惜主守,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 41,810評(píng)論 3 333
  • 文/蒙蒙 一禀倔、第九天 我趴在偏房一處隱蔽的房頂上張望。 院中可真熱鬧丸逸,春花似錦蹋艺、人聲如沸。這莊子的主人今日做“春日...
    開封第一講書人閱讀 32,285評(píng)論 0 24
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽。三九已至憔维,卻和暖如春涛救,著一層夾襖步出監(jiān)牢的瞬間,已是汗流浹背业扒。 一陣腳步聲響...
    開封第一講書人閱讀 33,399評(píng)論 1 272
  • 我被黑心中介騙來泰國打工检吆, 沒想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留,地道東北人程储。 一個(gè)月前我還...
    沈念sama閱讀 48,837評(píng)論 3 376
  • 正文 我出身青樓蹭沛,卻偏偏與公主長(zhǎng)得像,于是被迫代替她去往敵國和親章鲤。 傳聞我的和親對(duì)象是個(gè)殘疾皇子摊灭,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 45,455評(píng)論 2 359

推薦閱讀更多精彩內(nèi)容

  • 這篇文章是我之前翻閱了不少的書籍以及從網(wǎng)絡(luò)上收集的一些資料的整理,因此不免有一些不準(zhǔn)確的地方败徊,同時(shí)不同JDK版本的...
    高廣超閱讀 15,625評(píng)論 3 83
  • java編譯器帚呼,java解釋器 1.java程序是一種可跨平臺(tái)執(zhí)行的語言,之所以可以跨平臺(tái)皱蹦,是因?yàn)閖vm的存在煤杀,J...
    rabbit_coding閱讀 6,998評(píng)論 2 18
  • 原文:https://insistence.cnblogs.com/p/5901457.html 1. 什么是Ju...
    laosijikaichele閱讀 823評(píng)論 0 2
  • 部分的商用虛擬機(jī)中,Java程序最初是通過解釋器進(jìn)行解釋執(zhí)行的沪哺,當(dāng)虛擬機(jī)發(fā)現(xiàn)某個(gè)方法或代碼塊的運(yùn)行特別頻繁時(shí)沈自,就會(huì)...
    胡二囧閱讀 834評(píng)論 0 1
  • 解釋器(Interpreter)Interpreter解釋執(zhí)行class文件,好像JavaScript執(zhí)行引擎一樣...
    孟圓的筆記閱讀 407評(píng)論 0 0