主頁 > 後端開發 > JVM中的編譯器

JVM中的編譯器

2023-04-21 07:24:52 後端開發

JVM中集成了兩種編譯器,Client Compiler和Server Compiler,它們的作用也不同,Client Compiler注重啟動速度和區域的優化,Server Compiler則更加關注全域的優化,性能會更好,但由于會進行更多的全域分析,所以啟動速度會變慢,兩種編譯器有著不同的應用場景,在虛擬機中同時發揮作用,

Client Compiler

HotSpot VM帶有一個Client Compiler C1編譯器,這種編譯器啟動速度快,但是性能比較Server Compiler來說會差一些,C1會做三件事:

  • 區域簡單可靠的優化,比如位元組碼上進行的一些基礎優化,方法行內、常量傳播等,放棄許多耗時較長的全域優化,
  • 將位元組碼構造成高級中間表示(High-level Intermediate Representation,以下稱為HIR),HIR與平臺無關,通常采用圖結構,更適合JVM對程式進行優化,
  • 最后將HIR轉換成低級中間表示(Low-level Intermediate Representation,以下稱為LIR),在LIR的基礎上會進行暫存器分配、窺孔優化(區域的優化方式,編譯器在一個基本塊或者多個基本塊中,針對已經生成的代碼,結合CPU自己指令的特點,通過一些認為可能帶來性能提升的轉換規則或者通過整體的分析,進行指令轉換,來提升代碼性能)等操作,最終生成機器碼,

Server Compiler

Server Compiler主要關注一些編譯耗時較長的全域優化,甚至會還會根據程式運行的資訊進行一些不可靠的激進優化,這種編譯器的啟動時間長,適用于長時間運行的后臺程式,它的性能通常比Client Compiler高30%以上,目前,Hotspot虛擬機中使用的Server Compiler有兩種:C2和Graal,

C2 Compiler

在Hotspot VM中,默認的Server Compiler是C2編譯器,

C2編譯器在進行編譯優化時,會使用一種控制流與資料流結合的圖資料結構,稱為Ideal Graph, Ideal Graph表示當前程式的資料流向和指令間的依賴關系,依靠這種圖結構,某些優化步驟(尤其是涉及浮動代碼塊的那些優化步驟)變得不那么復雜,

Ideal Graph的構建是在決議位元組碼的時候,根據位元組碼中的指令向一個空的Graph中添加節點,Graph中的節點通常對應一個指令塊,每個指令塊包含多條相關聯的指令,JVM會利用一些優化技術對這些指令進行優化,比如Global Value Numbering、常量折疊等,決議結束后,還會進行一些死代碼剔除的操作,生成Ideal Graph后,會在這個基礎上結合收集的程式運行資訊來進行一些全域的優化,這個階段如果JVM判斷此時沒有全域優化的必要,就會跳過這部分優化,

無論是否進行全域優化,Ideal Graph都會被轉化為一種更接近機器層面的MachNode Graph,最后編譯的機器碼就是從MachNode Graph中得的,生成機器碼前還會有一些包括暫存器分配、窺孔優化等操作,關于Ideal Graph和各種全域的優化手段會在后面的章節詳細介紹,Server Compiler編譯優化的程序如下圖所示:

Graal Compiler

從JDK 9開始,Hotspot VM中集成了一種新的Server Compiler,Graal編譯器,相比C2編譯器,Graal有這樣幾種關鍵特性:

  • 前文有提到,JVM會在解釋執行的時候收集程式運行的各種資訊,然后編譯器會根據這些資訊進行一些基于預測的激進優化,比如分支預測,根據程式不同分支的運行概率,選擇性地編譯一些概率較大的分支,Graal比C2更加青睞這種優化,所以Graal的峰值性能通常要比C2更好,
  • 使用Java撰寫,對于Java語言,尤其是新特性,比如Lambda、Stream等更加友好,
  • 更深層次的優化,比如虛函式的行內、部分逃逸分析等,

Graal編譯器可以通過Java虛擬機引數-XX:+UnlockExperimentalVMOptions -XX:+UseJVMCICompiler啟用,當啟用時,它將替換掉HotSpot中的C2編譯器,并回應原本由C2負責的編譯請求,

 

參考原文:基本功 | Java即時編譯器原理決議及實踐 - 美團技術團隊 (meituan.com)

 

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/550623.html

標籤:Java

上一篇:沒有杯子的世界:OOP設計思想的應用實踐

下一篇:返回列表

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17982) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • JVM中的編譯器

    JVM中集成了兩種編譯器,Client Compiler和Server Compiler,它們的作用也不同。Client Compiler注重啟動速度和區域的優化,Server Compiler則更加關注全域的優化,性能會更好,但由于會進行更多的全域分析,所以啟動速度會變慢。兩種編譯器有著不同的應用 ......

    uj5u.com 2023-04-21 07:24:52 more
  • 沒有杯子的世界:OOP設計思想的應用實踐

    最近看到一個有趣的問題:Person類具有Hand,Hand可以操作杯子Cup,但是在石器時代是沒有杯子的,這個問題用編程怎么解決? 簡單代碼實作 我們先用簡單代碼實作原問題: @Data public class Person { private final String name; privat ......

    uj5u.com 2023-04-21 07:24:06 more
  • boot-admin整合flowable官方editor-app進行BPMN2.0建模

    正所謂百家爭鳴、見仁見智、眾說紛紜、各有千秋!在作業流bpmn2.0可視化建模工具實作的細分領域,網上撲面而來的是 bpmn.js 這個渲染工具包和web建模器,而筆者卻認為使用flowable官方開源 editor-app 才是王道。 Flowable 開源版本中的 web 版流程設計器edito ......

    uj5u.com 2023-04-21 07:18:48 more
  • Junit啟動測驗mybatis xml檔案BindingException: Invalid bound

    背景:1、正常啟動,xml檔案放在java目錄和resource目錄下均正常 2、junit啟動,xml檔案放在resource目錄下正常,放在java目錄下報BindingException錯誤 mapperlocation系結地址為:"classpath:com/a/b/**/*.xml" 原因 ......

    uj5u.com 2023-04-21 07:18:42 more
  • 深入理解Java泛型、協變逆變、泛型通配符、自限定

    禁止轉載 重寫了之前博客寫的泛型相關內容,全部整合到這一篇文章里了,把坑都填了,后續不再糾結這些問題了。本文深度總結了函式式思想、泛型對在Java中的應用,解答了許多比較難的問題。 純函式 協變 逆變 泛型通配符 PECS法則 自限定 Part 1: 協變與逆變 Java8 引入了函式式介面,從此方 ......

    uj5u.com 2023-04-21 07:18:22 more
  • java -- 函式式編程

    函式式編程 面向物件過分強調“必須通過物件的形式來做事情”,而函式式思想則盡量忽略面向物件的復雜語法——強調做什么,而不是怎么做。 有時只是為了做某事情而不得不創建一個物件,而傳遞一段代碼才是我們真正的目的。 Lambda Lambda是一個匿名函式,可以理解為一段可以傳遞的代碼。 當需要啟動一個線 ......

    uj5u.com 2023-04-21 07:16:38 more
  • UML類圖

    UML類圖介紹 概念 UML中的類圖(Class Diagram)用于表示類、介面、實體等之間相互的靜態關系。雖然名字叫作類圖,但是圖中并不僅僅只有類。 類結構 繼承 該圖展示了Parentclass和Childclass兩個類之間的關系,其中的空心箭頭表明了兩者之間的層次關系。箭頭由子類指向父類, ......

    uj5u.com 2023-04-21 07:14:54 more
  • Rust中的智能指標:Box<T> Rc<T> Arc<T> Cell<T> RefCell<T> Weak

    Rust中的智能指標是什么 智能指標(smart pointers)是一類資料結構,是擁有資料所有權和額外功能的指標。是指標的進一步發展 指標(pointer)是一個包含記憶體地址的變數的通用概念。這個地址參考,或 ” 指向”(points at)一些其 他資料 。參考以 & 符號為標志并借用了他們所 ......

    uj5u.com 2023-04-20 07:24:10 more
  • Java的值傳遞和參考傳遞

    值傳遞不會改變本身,參考傳遞(如果傳遞的值需要實體化到堆里)如果發生修改了會改變本身。 1.基本資料型別都是值傳遞 package com.example.basic; public class Test { public static void main(String[] args) { int ......

    uj5u.com 2023-04-20 07:24:04 more
  • [2]SpinalHDL教程——Scala簡單入門

    第一個 Scala 程式 shell里面輸入 $ scala scala> 1 + 1 res0: Int = 2 scala> println("Hello World!") Hello World! 檔案形式 object HelloWorld { /* 這是我的第一個 Scala 程式 * 以 ......

    uj5u.com 2023-04-20 07:23:58 more