膜拜大佬!JVM性能調優——JVM內存模型和類加載運行機制

 

一、JVM內存模型

運行一個 Java 應用程序,必須要先安裝 JDK 或者 JRE 包。因爲 Java 應用在編譯後會變成字節碼,通過字節碼運行在 JVM 中,而 JVM 是 JRE 的核心組成部分。JVM 不僅承擔了 Java 字節碼的分析和執行,同時也內置了自動內存分配管理機制。這個機制可以大大降低手動分配回收機制可能帶來的內存泄露和內存溢出風險,使 Java 開發人員不需要關注每個對象的內存分配以及回收,從而更專注於業務本身。

在 Java 中,JVM 內存模型主要分爲堆、方法區、程序計數器、虛擬機棧和本地方法棧。其中,堆和方法區被所有線程共享,虛擬機棧、本地方法棧、程序計數器是線程私有的。

 

 

 

1、堆

堆是 JVM 內存中最大的一塊內存空間,該內存被所有線程共享,幾乎所有對象和數組都被分配到了堆內存中。堆被劃分爲新生代和老年代,新生代又被進一步劃分爲 Eden 和 Survivor 區,最後 Survivor 由 From Survivor 和 To Survivor 組成。

但需要注意的是,這些區域的劃分因不同的垃圾收集器而不同。大部分垃圾收集器都是基於分代收集理論設計的,就會採用這種分代模型。而一些新的垃圾收集器不採用分代設計,比如 G1 收集器就是把堆內存拆分爲多個大小相等的 Region。

 

 

 

2、方法區

在 jdk8 之前,HotSopt 虛擬機的方法區又被稱爲永久代,由於永久代的設計容易導致內存溢出等問題,jdk8 之後就沒有永久代了,取而代之的是元空間(MetaSpace)。元空間並沒有處於堆內存上,而是直接佔用的本地內存,因此元空間的最大大小受本地內存限制。

方法區與堆空間類似,是所有線程共享的。方法區主要是用來存放已被虛擬機加載的類型信息、常量、靜態變量等數據。方法區是一個邏輯分區,包含元空間、運行時常量池、字符串常量池,元空間物理上使用的本地內存,運行時常量池和字符串常量池是在堆中開闢的一塊特殊內存區域。這樣做的好處之一是可以避免運行時動態生成的常量的複製遷移,可以直接使用堆中的引用。要注意的是,字符串常量池在 jvm 中只有一個,而運行時常量池是和類型數據綁定的,每個 Class 一個。

 

 

1)類型信息(類或接口):

  • 這個類型的全限定名

  • 這個類型的直接超類的全限定名(只有 java.lang.Object 沒有超類)

  • 這個類型的訪問修飾符(public、abstract、final)

  • 這個類型是接口類型還是類類型

  • 任何直接超接口的的全限定名的有序列表

2)運行時常量池:

  • Class 文件被裝載進虛擬機後,Class 常量池表中的字面量和符號引用都會存放到運行時常量池中,平時我們說的常量池一般指運行時常量池。

  • 運行時常量池相比Class常量池具備動態性,運行時可以將新的常量放入池中,比如調用 String.intern() 方法使字符串駐留。

3)字段信息:

  • 字段名

  • 字段的類型(包括 void)

  • 字段的修飾符(public、private、protected、static、final、volatile、transient)

4)方法信息:

  • 方法名

  • 方法的返回類型

  • 方法參數的數量和類型

  • 方法的修飾符(public、private、protected、static、final、synchronized、native、abstract)

  • 方法的字節碼

  • 操作數棧和該方法的棧幀中的局部變量的大小

  • 異常表

5)指向類加載器的引用:

  • jvm 使用類加載器來加載一個類,這個類加載器是和這個類型綁定的,因此會在類型信息中存儲這個類加載器的引用

6)指向 Class 類的引用:

  • 每一個被加載的類型,jvm 都會在堆中創建一個 java.lang.Class 的實例,類型信息中會存儲 Class 實例的引用

  • 在代碼中,可以使用 Class 實例訪問方法區保存的信息,如類加載器、類名、接口等

推薦閱讀

爲什麼阿里的程序員成長如此之快?看完Alibaba「Java成長筆記」我懂了!_馬小夢的博客-CSDN博客​blog.csdn.net

2020錘爆35K月薪的MySQL面試筆記解析:索引+優化+鎖+慢查詢+事務

推薦觀看

大廠面試真題集結地:阿里三面+騰訊二面+支付寶三面+拼多多二面+字節四面+淘寶五面_嗶哩嗶哩 (゜-゜)つロ 乾杯~-bilibili​www.bilibili.com

 

厲害了!B站最全網絡底層彙總:TCP、Sockt、三次握手、四次揮手、NIO、Epoll、多路複用(附贈源碼、腦圖)​www.bilibili.com

 

阿里資深架構師講解最「細」的spring源碼(附贈講課資料和源碼)​www.bilibili.com

 

Java架構師必會六大核心知識點:多線程、JVM、設計模式、MySQL、Redis、ZooKeeper​www.bilibili.com

 

你從未聽過的全新版本!Tomcat、TCP/IP、IO、分佈式微服務架構全解​www.bilibili.com

3、虛擬機棧

每當啓動一個新的線程,虛擬機都會在虛擬機棧裏爲它分配一個線程棧,線程棧與線程同生共死。線程棧以 棧幀 爲單位保存線程的運行狀態,虛擬機只會對線程棧執行兩種操作:以棧幀爲單位的壓棧或出棧。每個方法在執行的同時都會創建一個棧幀,每個方法從調用開始到結束,就對應着一個棧幀在線程棧中壓棧和出棧的過程。方法可以通過兩種方式結束,一種通過 return 正常返回,一種通過拋出異常而終止。方法返回後,虛擬機都會彈出當前棧幀然後釋放掉。

當虛擬機調用一個Java方法時.它從對應類的類型信息中得到此方法的局部變量區和操作數棧的大小,並據此分配棧幀內存,然後壓入Java棧中。

棧幀由三部分組成:局部變量區、操作數棧、幀數據區。

 

 

1)局部變量區:

  • 局部變量區是一個數組結構,主要存放對應方法的參數和局部變量。

  • 如果是實例方法,局部變量表第一個參數是一個 reference 引用類型,存放的是當前對象本身 this。

2)操作數棧:

  • 操作數棧也是一個數組結構,但並不是通過索引來訪問的,而是棧的壓棧和出棧操作。

  • 操作數棧是虛擬機的工作區,大多數指令都要從這裏彈出數據、執行運算、然後把結果壓回操作數棧。

3)幀數據區:主要保存常量池入口、異常表、正常方法返回的信息

  • 常量池入口引用:某些指令要從常量池取數據,獲取類、字段信息等

  • 異常表引用:當方法拋出異常時,虛擬機根據異常表來決定如何處理。如果在異常表找到了匹配的 catch 子句,就會把控制權轉交給 catch 子句的代碼。沒有則立即異常中止,然後恢復發起調用的方法的棧幀,然後在發起調用的方法的上下文中重新拋出同樣的異常。

  • 方法返回信息:方法正常返回時,虛擬機通過這些信息恢復發起調用的方法的棧幀,設置PC寄存器指向發起調用的方法。方法如果有返回值,還會把返回結果壓入到發起調用的方法的操作數棧。

 

4、本地方法棧

本地方法棧與虛擬機棧所發揮的作用是相似的,當線程調用Java方法時,會創建一個棧幀並壓入虛擬機棧;而調用本地方法時,虛擬機會保持棧不變,不會壓入新的棧幀,虛擬機只是簡單的動態鏈接並直接調用指定的本地方法,使用的是某種本地方法棧。比如某個虛擬機實現的本地方法接口是使用C連接模型,那麼它的本地方法棧就是C棧。

本地方法可以通過本地方法接口來訪問虛擬機的運行時數據區,它可以做任何他想做的事情,本地方法不受虛擬機控制。

 

5、程序計數器

每一個運行的線程都會有它的程序計數器(PC寄存器),與線程的生命週期一樣。執行某個方法時,PC寄存器的內容總是下一條將被執行的地址,這個地址可以是一個本地指針,也可以是在方法字節碼中相對於該方法起始指令的偏移量。如果該線程正在執行一個本地方法,那麼此時PC寄存器的值是 undefined。

程序計數器是程序控制流的指示器,分支、循環、跳轉、異常處理、線程恢復等基礎功能都需要依賴這個計數器來完成。多線程環境下,爲了線程切換後能恢復到正確的執行位置,每條線程都需要有一個獨立的程序計數器,各條線程之間計數器互不影響,獨立存儲。

回到頂部

 

二、類加載機制

寫好的源代碼,需要編譯後加載到虛擬機才能運行。java 源文件編譯成 class 文件後,jvm 通過類加載器把 class 文件加載到虛擬機,然後經過類連接(類連接又包括驗證、準備、解析三個階段),最後經過初始化,字節碼就可以被解釋執行了。對於一些熱點代碼,虛擬機還存在一道即時編譯,會把字節碼編譯成本地平臺相關的機器碼,以提高熱點代碼的執行效率。

 

 

裝載、驗證、準備、初始化這幾個階段的順序是確定的,類型的加載過程必須按照這種順序開始,而解析階段可以在初始化階段之後再開始,一般是在第一次使用到這個對象時纔會開始解析。這些階段通常都是互相交叉地混合進行的,會在一個階段執行的過程中調用、**另一個階段,比如發現引用了另一個類,那麼就會先觸發另一個類的加載過程。

接下來通過如下類和代碼來詳細分析下類加載的過程:

 

 

View Code

回到頂部

 

三、類編譯和Class 文件結構

*.java 文件被編譯成 *.class 文件的過程,這個編譯一般稱爲前端編譯,主要使用 javac 來完成前端編譯。Java class文件是8位字節的二進制流,數據項按順序存儲在class文件中,相鄰的項之間沒有任何間隔,這樣可以使class文件緊湊。class 文件主要包含 版本信息、常量池、類型索引、字段表、方法表、屬性表等信息。

將 User 類編譯成 class 文件後,再通過 javap 反編譯 class 文件,可以看到一個 class 文件大體包含的結構:

 

View Code

我們也可以安裝 [jclasslib Bytecode viewer] 插件,就可以在IDEA中清晰地看到 Class 包含的信息:

 

 

 

1、魔數與Class文件信息

魔數唯一作用是確定這個文件是否爲一個能被虛擬機接受的Class文件。使用魔數而不是擴展名來進行識別主要是基於安全考慮,因爲文件擴展名可以隨意改動。

Minior version 是次版本號,Major version 是主版本號。Java的版本號是從45開始的,JDK 1.1之後的每個JDK大版本發佈主版本號向上加 1,所以 jdk1.8 的 Major version 是 52。高版本的JDK能向下兼容以前版本的Class文件,但不能運行以後版本的Class文件。

Access flags 用於識別類或者接口層次的訪問信息,比如這個Class是類還是接口;是否定義爲public類型;是否定義爲abstract類型 等等。

 

 

 

2、常量池

虛擬機把常量池組織爲入口列表,常量池中的許多入口都指向其他的常量池入口(比如引用了其它類),而且 class 文件中的許多條目也會指向常量池中的入口。列表中的第一項索引值爲1,第二項索引值爲2,以此類推。雖然沒有索引值爲0的入口,但是 constant_pool_count 會把這一入口也算進去,比如上面的 Constant pool count 爲 119,而常量池實際的索引值最大爲 118。

常量池主要存放兩大類常量:字面量和符號引用。

  • 字面量:字面量主要是文本字符串、final 常量值、類名和方法名的常量等。

  • 符號引用:符號引用對java動態連接起着非常重要的作用。主要的符號引用有:類和接口的全限定名、字段的名稱和描述符、方法的名稱和描述符等。

常量池中每一項都是一個表,常量表主要有如下17種常量類型。

 

 

常量池的項目類型:

 

 

再理解下符號引用和直接應用:

  • 符號引用:java 文件在前端編譯期間,class 文件並不知道它引用的那些類、方法、字段的具體地址,不能被class文件中的字節碼直接引用。因此使用符號引用來代替,運行時再動態連接到具體引用上。符號引用以一組符號來描述所引用的目標,符號可以是任何形式的字面量,只要使用時能無歧義地定位到目標即可。

  • 直接引用:直接引用是可以直接指向目標的指針、相對偏移量或者是一個能間接定位到目標的句柄。直接引用是和虛擬機實現的內存佈局直接相關的。如果有了直接引用,那引用的目標必定已經在虛擬機的內存中存在。在運行時,Java虛擬機從常量池獲得符號引用,然後在運行時解析引用項的實際地址。

比如看 sayHello 這個方法,首先要調用 super.sayHello,即父類 Person 的 sayHello 方法,那麼第三個指令就會在常量池尋找 [#16] 這個索引,然後可以從常量池找到這個方法的相關信息,再通過 [#29] 找到 Person 類信息。

 

 

 

 

 

3、類索引、父類索引與接口索引

Class文件中由這三項數據來確定該類型的繼承關係。類索引用於確定這個類的全限定名,父類索引用於確定這個類的父類的全限定名。

它們各自指向一個類型爲 CONSTANT_Class_info 的常量表,通過 CONSTANT_Class_info 常量中的索引值可以找到定義在 CONSTANT_Utf8_info 類型的常量中的全限定名字符串。

 

 

 

 

 

4、字段表

字段表用於描述接口或者類中聲明的變量。Java語言中的「字段」包括類級變量以及實例級變量,但不包括在方法內部聲明的局部變量。

 

 

描述符:

  • descriptor 是描述符,描述符的作用是用來描述字段的數據類型、方法的參數列表(包括數量、類型以及順序)和返回值。

  • 對於數組類型,每一維度將使用一個前置的 「[」 字符來描述,如一個定義爲 「java.lang.String[][]」 類型的二維數組將被記錄成 「[[Ljava/lang/String;」,一個整型數組「int[]」將被記錄成 「[I」。

  • 用描述符來描述方法時,按照先參數列表、後返回值的順序描述,參數列表按照參數的嚴格順序放在一組小括號「()」之內。

描述符標識字符含義:

 

 

比如從構造方法的描述符 <Ljava/lang/String;I)V> 可以看出,方法的參數包括對象類型 java.lang.String、基本類型 int,返回值爲 void。

 

 

 

5、方法表

方法表與字段表類似,方發表用於描述方法的訪問標誌、名稱索引、描述符索引、屬性表集合、代碼指令等

1)異常表:

如果方法表有異常捕獲的話,還會有異常表。當方法拋出異常時,就會從異常表查找能處理的異常處理器。

 

 

2)重載多出的方法:

如果父類方法在子類中被重寫,那方法表中就會包含父類方法的信息,如果重寫泛型方法,還會出現編譯器自動添加的橋接方法。

 

 

因爲泛型編譯後的實際類型爲 Object,如果子類泛型不是 Object,那麼編譯器會自動在子類中生成一個 Object 類型的橋接方法。橋接方法的內部會先做類型轉換檢查,然後調用重載的方法。因爲我們在聲明變量時一般是聲明的超類,實際類型爲子類,而超類方法的參數是Object類型的,因此就會調用到橋接方法,進而調用子類重載後的方法。

 

 

而且,當我們通過反射根據方法名獲取方法時,要注意泛型重載可能獲取到橋接方法,此時可以通過 method.isBridge() 方法判斷是否是橋接方法。

 

 

3)類構造器和實例構造器:

方法表還包括實例構造方法 <init> 和類構造方法 <clinit> 。<init> 就是對應的實例構造器。<clinit> 是編譯時將類初始化的代碼蒐集在一起形成的類初始化方法,如靜態變量賦值、靜態代碼塊。

初始化階段會調用類構造器 <clinit> 來初始化類,因此其一定是線程安全的,是由虛擬機來保證的。這種機制我們可以用來實現安全的單例模式,枚舉類的初始化也是在 <clinit> 方法中初始化的。

 

 

推薦閱讀

爲什麼阿里的程序員成長如此之快?看完Alibaba「Java成長筆記」我懂了!_馬小夢的博客-CSDN博客​blog.csdn.net

2020錘爆35K月薪的MySQL面試筆記解析:索引+優化+鎖+慢查詢+事務

推薦觀看

大廠面試真題集結地:阿里三面+騰訊二面+支付寶三面+拼多多二面+字節四面+淘寶五面_嗶哩嗶哩 (゜-゜)つロ 乾杯~-bilibili​www.bilibili.com

 

厲害了!B站最全網絡底層彙總:TCP、Sockt、三次握手、四次揮手、NIO、Epoll、多路複用(附贈源碼、腦圖)​www.bilibili.com

 

阿里資深架構師講解最「細」的spring源碼(附贈講課資料和源碼)​www.bilibili.com

 

Java架構師必會六大核心知識點:多線程、JVM、設計模式、MySQL、Redis、ZooKeeper​www.bilibili.com

 

你從未聽過的全新版本!Tomcat、TCP/IP、IO、分佈式微服務架構全解​www.bilibili.com

6、屬性表

屬性表集合主要是爲了正確識別Class文件而定義的一些屬性,如 Code、Deprecated、ConstantValue、Exceptions、SourceFile 等等。

每一個屬性,它的名稱都要從常量池中引用一個 CONSTANT_Utf8_info 類型的常量來表示。

 

 

回到頂部

 

四、類加載

 

1、類初始化的時機

類和接口被加載的時機因不同的虛擬機可能不同,但類初始化的觸發時機有且僅有六種情況:

  • 當創建某個類的實例,如 new、反射、克隆、反序列化

  • 當調用某個類的靜態方法時

  • 當使用某個接口或類的靜態字段,或者賦值時(final 修飾的常量除外,它在編譯期把結果放入常量池中了)

  • 使用java.lang.reflect包的方法對類型進行反射調用的時候,如果類型沒有進行過初始化,則需要先觸發其初始化

  • 當初始化類的時候,如果發現其父類還沒有進行過初始化,則需要先觸發其父類的初始化(接口除外)

  • 當虛擬機啓動時,會先初始化要執行的主類(包含main()方法的那個類)

這六種情況稱爲對一個類型進行主動引用。除此之外,所有引用類型的方式都不會觸發初始化,稱爲被動引用。

觸發接口初始化的情況:

  • 類初始化時並不會觸發其實現的接口的初始化,接口初始化時也不會要求父接口初始化

  • 在接口所聲明的非常量字段被使用時,該接口才會被初始化

  • 如果接口定義了 default 方法,那子類重寫了這個方法,就會先觸發接口的初始化

1)主動初始化:

從輸出可以看出,對 final 常量的引用不會觸發類的初始化,調用靜態方法時觸發了類的初始化,同時,一定會先觸發父類的初始化,而且類只會被初始化一次。

 

 

注意初始化的順序是按代碼的順序從上到下初始化:

 

 

2)被動初始化,如下被動引用不會觸發類的初始化:

  • 通過子類引用父類的靜態字段,不會導致子類初始化。對於靜態字段,只有直接定義這個字段的類纔會被初始化

  • 通過數組定義來引用類,不會觸發此類的初始化。但是會觸發一個 「[com.lyyzoo.jvm.test01.User」 類型的初始化,即一維數組類型

  • 引用類的常量不會觸發類的初始化。常量在編譯階段會存入調用類的常量池中,本質上沒有直接引用到定義常量的類,因此不會觸發定義常量的類的初始化

 

 

3)不難判斷,例子中定義的類的加載順序如下:

 

 

 

2、加載

在加載階段,Java虛擬機必須完成以下三件事情:

  • 通過一個類的全限定名來獲取定義此類的二進制字節流。

  • 將這個字節流所代表的靜態存儲結構轉化爲方法區的運行時數據結構。

  • 在內存中生成一個代表這個類的java.lang.Class對象,作爲方法區這個類的各種數據的訪問入口。

這個二進制流可以從 Class 文件中獲取,從JAR包、WAR包中獲取,從網絡中獲取,實時生成、還可以從加密文件中獲取,在加載時再解密(防止Class文件被反編譯)。這個加載是由類加載器加載進虛擬機的,非數組類型可以使用內置的引導類加載器來加載,也可以使用開發人員自定義的類加載器來加載,我們可以自己控制字節流的獲取方式。而數組類型本身不通過類加載器加載,它是由虛擬機直接在內存中構造出來的。

加載階段會把 Class 常量池中的各項常量存放到運行時常量池中(下圖中的常量池只挑選了部分常量來展示)。加載階段的最終產品就是 Class 類的實例對象,它成爲程序與方法區內部數據結構之間的入口,可以通過這個 Class 實例來獲得類的信息、方法、字段、類加載器等等。

 

 

在裝載過程中,虛擬機還會確認裝載類的所有超類是否都被裝載了,根據 super class 項解析符號引用,這就會導致超類的裝載、連接和初始化。

 

 

 

3、驗證

這一階段的目的是確保Class文件的字節流中包含的信息符合《Java虛擬機規範》的全部約束要求,保證這些信息被當作代碼運行後不會危害虛擬機自身的安全。

驗證階段會完成下面四個階段的檢驗:

  • 文件格式驗證:保證輸入的字節流能正確地解析並存儲於方法區之內,通過這個階段的驗證之後,這段字節流會進入Java虛擬機內存的方法區中進行存儲,後面的驗證就是基於方法區的存儲結構而進行了。

  • 元數據驗證:對類的元數據信息進行語義校驗,如這個類是否有父類(除 java.lang.Object 外,所有的類都有父類)、是否繼承了 final 的類、實現了 final 的方法等。

  • 字節碼驗證:通過數據流分析和控制流分析,確定程序語義是合法的、符合邏輯的。對類的方法體進行校驗分析,保證被校驗類的方法在運行時不會做出危害虛擬機安全的行爲。

  • 符號引用驗證:最後一個階段的校驗發生在虛擬機將符號引用轉化爲直接引用的時候,這個轉化動作將在連接的第三階段——解析階段中發生。

 

4、準備

準備階段是爲類中定義的變量(即靜態變量,被static修飾的變量)分配內存並設置類變量初始值的階段,初始值是指這個數據類型的零值,而賦值的過程是放在 <clinit> 方法中,在初始化階段執行的。注意實例變量是在創建實例對象時才初始化值的。

基本數據類型的零值:

 

 

準備階段還會爲常量字段(final 修飾的常量,即字段表中有 ConstantValue 屬性的字段)分配內存並直接賦值爲定義的字面值。

 

 

User 類經過準備階段後:

 

 

 

5、解析

解析過程就是根據符號引用查找到實體,再把符號引用替換成一個直接引用的過程。因爲所有的符號引用都保存在常量池中,所以這個過程常被稱作常量池解析。

1)靜態解析與動態連接:

所有方法調用的目標方法在Class文件裏面都是一個常量池中的符號引用,字節碼中的方法調用指令就以常量池裏指向方法的符號引用作爲參數。這些符號引用一部分會在類加載階段或者第一次使用的時候就被轉化爲直接引用,這種轉化被稱爲靜態解析。另外一部分將在運行期間用到時轉化爲直接引用,這部分稱爲動態連接。

靜態解析的前提是:方法在程序真正運行之前就有一個可確定的調用版本,並且這個方法的調用版本在運行期是不可改變的。這類方法包含 靜態方法、私有方法、實例構造器、父類方法以及被 final 修飾的方法,這5種方法調用會在類加載的時候就把符號引用解析爲該方法的直接引用(有可能是在初始化的時候去解析的)。

動態連接這個特性給Java帶來了更強大的動態擴展能力,比如使用運行時對象類型,因爲要到運行期間才能確定具體使用的類型。這也使得Java方法調用過程變得相對複雜,某些調用需要在類加載期間,甚至到運行期間才能確定目標方法的直接引用。

2)符號引用解析:

對於符號引用類型如 CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info 等,會查找到對應的類型數據、方法地址、字段地址的直接引用,然後將符號引用替換爲直接引用。

對於 CONSTANT_String _info 類型指向的字面量,虛擬機會檢查字符串常量池中是否已經有相同字符串的引用,有則替換爲這個字符串的引用,否則在堆中創建一個新的字符串對象,並將對象的引用放到字符串常量池中,然後替換常量池中的符號引用。

對於數值類型的常量,如 CONSTANT_Long_info、CONSTANT_Integer_info,並不需要解析,虛擬機會直接使用那些常量值。

 

 

推薦閱讀

爲什麼阿里的程序員成長如此之快?看完Alibaba「Java成長筆記」我懂了!_馬小夢的博客-CSDN博客​blog.csdn.net

2020錘爆35K月薪的MySQL面試筆記解析:索引+優化+鎖+慢查詢+事務

推薦觀看

大廠面試真題集結地:阿里三面+騰訊二面+支付寶三面+拼多多二面+字節四面+淘寶五面_嗶哩嗶哩 (゜-゜)つロ 乾杯~-bilibili​www.bilibili.com

 

厲害了!B站最全網絡底層彙總:TCP、Sockt、三次握手、四次揮手、NIO、Epoll、多路複用(附贈源碼、腦圖)​www.bilibili.com

 

阿里資深架構師講解最「細」的spring源碼(附贈講課資料和源碼)​www.bilibili.com

 

Java架構師必會六大核心知識點:多線程、JVM、設計模式、MySQL、Redis、ZooKeeper​www.bilibili.com

 

你從未聽過的全新版本!Tomcat、TCP/IP、IO、分佈式微服務架構全解​www.bilibili.com

6、初始化

直到初始化階段,Java虛擬機才真正開始執行類中編寫的Java程序代碼,初始化階段就是執行類構造器 <clinit> 方法的過程。

1)<clinit> 方法:

  • <clinit> 方法是由編譯器自動收集類中的所有類變量的賦值語句和靜態代碼塊合併產生的,代碼執行的順序就是源文件中的順序。

  • Java虛擬機會保證在子類的 <clinit> 方法執行前,父類的 <clinit> 方法會先執行完畢,即先初始化直接超類。

  • <clinit> 方法對於類或接口來說不是必需的,如果一個類中沒有靜態語句塊,也沒有對變量的賦值操作,那麼編譯器可以不爲這個類生成 <clinit> 方法。

  • 接口中不能使用靜態語句塊,但仍然有變量初始化的賦值操作,因此接口與類一樣都會生成 <clinit> 方法。

  • 執行接口的 <clinit> 方法不需要先執行父接口的 <clinit> 方法,因爲只有當父接口中定義的變量被使用時,父接口才會被初始化。此外,接口的實現類在初始化時也一樣不會執行接口的 <clinit> 方法。

  • Java虛擬機會保證一個類的 <clinit> 方法在多線程環境中被正確地加鎖同步,<clinit> 一定是線程安全的。

2)User 類初始化後:

 

 

一個類被裝載、連接和初始化完成後,它就隨時可以使用了。程序可以訪問它的靜態字段,調用它的靜態方法,或者創建它的實例。

 

7、即時編譯

初始化完成後,類在調用執行過程中,執行引擎會把字節碼轉爲機器碼,然後在操作系統中才能執行。在字節碼轉換爲機器碼的過程中,虛擬機中還存在着一道編譯,那就是即時編譯。

最初,虛擬機中的字節碼是由解釋器( Interpreter )完成編譯的,當虛擬機發現某個方法或代碼塊的運行特別頻繁的時候,就會把這些代碼認定爲「熱點代碼」。爲了提高熱點代碼的執行效率,在運行時,即時編譯器(JIT)會把這些代碼編譯成與本地平臺相關的機器碼,並進行各層次的優化,然後保存到內存中,這樣可以減少解釋器的中間損耗,獲得更高的執行效率。如果沒有即時編譯,每次運行相同的代碼都會使用解釋器編譯。

回到頂部

 

五、類加載器

 

1、類加載器子系統

在Java虛擬機中,負責查找並裝載類型的那部分被稱爲類加載器子系統。類加載器子系統會負責整個類加載的過程:裝載、驗證、準備、解析、初始化。

1)Java 虛擬機有兩種類加載器,啓動類加載器和用戶自定義類加載器:

  • 啓動類加載器:是Java虛擬機實現的一部分,啓動類加載器主要用來加載受信任的Java API 的 Class 文件。

  • 用戶自定義類加載器:是Java程序的一部分,用戶自定義的類加載器都是 java.lang.ClassLoader 的子類實例,開發人員可以自己控制字節流的加載方式。

2)類唯一性:

對於任意一個類,都必須由加載它的類加載器和這個類本身一起共同確立其在Java虛擬機中的唯一性。每一個類加載器,都擁有一個獨立的類名稱空間,由不同的類加載器加載的類將被放在虛擬機內部的不同命名空間中。比較兩個類是否「相等」,只有在這兩個類是由同一個類加載器加載的前提下才有意義,否則,即使這兩個類來源於同一個Class文件,被同一個Java虛擬機加載,只要加載它們的類加載器不同,那這兩個類就必定不相等。這就是有時候我們測試代碼時發現明明是同一個Class,卻報強轉失敗之類的錯誤。

 

2、雙親委派模型

Java 1.8 之前採用三層類加載器、雙親委派的類加載架構。三層類加載器包括啓動類加載器、擴展類加載器、應用程序類加載器。

1)三層類加載器

  • 啓動類加載器(Bootstrap ClassLoader):負責將 $JAVA_HOME/lib 或者 -Xbootclasspath 參數指定路徑下面的文件(按照文件名識別,如rt.jar、tools.jar,名字不符合的類庫即使放在lib目錄中也不會被加載) 加載到虛擬機內存中。它用來加載 Java 的核心庫,是用原生代碼實現的,並不繼承自 java.lang.ClassLoader,啓動類加載器無法直接被 java 代碼引用。

  • 擴展類加載器(Extension ClassLoader):負責加載 $JAVA_HOME/lib/ext 目錄中的文件,或者 java.ext.dirs 系統變量所指定的路徑的類庫,它用來加載 Java 的擴展庫。

  • 應用程序類加載器(Application ClassLoader):一般是系統的默認加載器,也稱爲系統類加載器,它根據 Java 應用的類路徑(CLASSPATH)來加載 Java 類。一般 Java 應用的類都是由它來完成加載的,可以通過 ClassLoader.getSystemClassLoader() 來獲取它。

2)雙親委派模型

除了啓動類加載器之外,所有的類加載器都有一個父類加載器。應用程序類加載器的父類加載器是擴展類加載器,擴展類加載器的父類加載器是啓動類加載器。一般來說,開發人員自定義的類加載器的父類加載器一般是應用程序類加載器。

 

 

雙親委派模型:類加載器在嘗試去查找某個類的字節代碼並定義它時,會先代理給其父類加載器,由父類加載器先去嘗試加載這個類,如果父類加載器沒有,繼續尋找父類加載器,依次類推,如果到啓動類加載器都沒找到才從自身查找。這個類加載過程就是雙親委派模型。

首先要明白,Java 虛擬機判定兩個 Java 類是否相同,不僅要看類的全名是否相同,還要看加載此類的類加載器是否一樣。只有兩個類來源於同一個Class文件,並且被同一個類加載器加載,這兩個類才相等。不同類加載器加載的類之間是不兼容的。

雙親委派模型就是爲了保證 Java 核心庫的類型安全的。所有 Java 應用都至少需要引用 java.lang.Object 類,也就是說在運行的時候,java.lang.Object 這個類需要被加載到 Java 虛擬機中。如果這個加載過程由 Java 應用自己的類加載器來完成或者自己定義了一個 java.lang.Object 類的話,很可能就存在多個版本的 java.lang.Object 類,而這些類之間是不兼容的。通過雙親委派模型,對於 Java 核心庫的類加載工作由引導類加載器來統一完成,保證了 Java 應用所使用的都是同一個版本的 Java 核心庫的類,是互相兼容的。有了雙親委派模型,就算自己定義了一個 java.lang.Object 類,也不會被加載。

3)ClassLoader

類加載器之間的父子關係一般不是以繼承的關係來實現的,通常是使用組合、委託關係來複用父加載器的代碼。ClassLoader 中有一個 parent 屬性來表示父類加載器,如果 parent 爲 null,就會調用本地方法直接使用啓動類加載器來加載類。類加載器在成功加載某個類之後,會把得到的 java.lang.Class 類的實例緩存起來。下次再請求加載該類的時候,類加載器會直接使用緩存的類的實例,而不會嘗試再次加載。

 

 

 

3、線程上下文類加載器

線程上下文類加載器可通過 java.lang.Thread 中的方法 getContextClassLoader() 獲得,可以通過 setContextClassLoader(ClassLoader cl) 來設置線程的上下文類加載器。如果沒有通過 setContextClassLoader(ClassLoader cl) 方法進行設置的話,線程將繼承其父線程的上下文類加載器。Java 應用運行的初始線程的上下文類加載器是應用程序類加載器。在線程中運行的代碼可以通過此類加載器來加載類和資源。線程上線文類加載器使得父類加載器可以去請求子類加載器完成類加載的行爲,這在一定程度上是違背了雙親委派模型的原則。

推薦閱讀

爲什麼阿里的程序員成長如此之快?看完Alibaba「Java成長筆記」我懂了!_馬小夢的博客-CSDN博客​blog.csdn.net

2020錘爆35K月薪的MySQL面試筆記解析:索引+優化+鎖+慢查詢+事務

推薦觀看

大廠面試真題集結地:阿里三面+騰訊二面+支付寶三面+拼多多二面+字節四面+淘寶五面_嗶哩嗶哩 (゜-゜)つロ 乾杯~-bilibili​www.bilibili.com

 

厲害了!B站最全網絡底層彙總:TCP、Sockt、三次握手、四次揮手、NIO、Epoll、多路複用(附贈源碼、腦圖)​www.bilibili.com

 

阿里資深架構師講解最「細」的spring源碼(附贈講課資料和源碼)​www.bilibili.com

 

Java架構師必會六大核心知識點:多線程、JVM、設計模式、MySQL、Redis、ZooKeeper​www.bilibili.com

 

你從未聽過的全新版本!Tomcat、TCP/IP、IO、分佈式微服務架構全解​www.bilibili.com

 

六、對象及其生命週期

 

1、實例化對象

1)實例化一個類有四種途徑:

  • 明確地使用 new 操作符

  • 調用 Class 或者 java.lang.reflcct.Constructor 對象的 newInstance() 方法

  • 調用任何現有對象的 clone() 方法

  • 通過 java.io.ObjectInputStream 類的 getObject() 方法反序列化

2)實例化對象的過程:

  • 1、當虛擬機要實例化一個對象時,首先從常量池中找到這個類的符號引用,並檢查這個符號引用代表的類是否已被加載、解析和初始化過。如果沒有,就會觸發相應的類加載過程。

  • 2、在類加載檢查通過後,虛擬機將爲新生對象分配內存,爲對象分配空間就是把一塊確定大小的內存塊從Java堆中劃分出來。

  • 3、內存分配完成之後,虛擬機必須將分配到的內存空間(不包括對象頭)都初始化爲零值。這步操作保證了對象的實例字段在Java代碼中可以不賦初始值就直接使用,使程序能訪問到這些字段的數據類型所對應的零值。

  • 4、接下來,虛擬機還要對對象進行必要的設置,例如這個對象的類型信息、元數據地址、對象的哈希碼、對象的GC分代年齡等信息,這些信息存放在對象的對象頭之中。根據虛擬機當前運行狀態的不同,如是否啓用偏向鎖等,對象頭會有不同的設置方式。

  • 5、最後開始執行對象的構造函數,即Class文件中的 <init> 方法,按照開發人員的意圖對對象進行初始化,這樣一個真正可用的對象纔算完全被構造出來。

 

2、對象的內存佈局

在 HotSpot 虛擬機裏,對象在堆內存中的存儲佈局可以劃分爲三個部分:對象頭(Header)、實例數據(Instance Data)和對齊填充(Padding)。

1)對象頭:

對象頭主要由兩部分組成:Mark Word 和類型指針,如果是數組對象,還會包含一個數組長度。

  • Mark Word:用於存儲對象自身的運行時數據,如哈希碼(HashCode)、GC分代年齡、鎖狀態標誌、線程持有的鎖、偏向線程ID、偏向時間戳等。synchronized 鎖升級就依賴鎖標誌、偏向線程等鎖信息,垃圾回收新生代對象轉移到老年代則依賴於GC分代年齡。

  • 類型指針:對象指向它的類型元數據的指針,Java虛擬機通過這個指針來確定該對象是哪個類的實例。

  • 數組長度:有了數組長度,虛擬機就可以通過普通Java對象的元數據信息確定Java對象的大小,如果數組的長度是不確定的,將無法通過元數據中的信息推斷出數組的大小。

這三部分數據的長度在32位和64位的虛擬機(未開啓壓縮指針)中分別爲32個比特和64個比特。64 位虛擬機中,爲了節約內存可以使用選項 +UseCompressedOops 開啓指針壓縮,某些數據會由 64位壓縮至32位。

2)實例數據:

實例數據部分是對象真正存儲的有效信息,即對象的各個字段數據,無論是從父類繼承下來的,還是在子類中定義的字段都必須記錄起來。

3)對齊填充:

對齊填充僅僅起着佔位符的作用,由於HotSpot虛擬機的自動內存管理系統要求對象起始地址必須是8字節的整數倍,就是任何對象的大小都必須是8字節的整數倍。對象頭部分已經被設計成正好是8字節的倍數,因此,如果對象實例數據部分沒有對齊的話,就需要通過對齊填充來補全。

4)計算對象佔用內存大小:

從上面的內容可以看出,一個對象對內存的佔用主要分兩部分:對象頭和實例數據。在64位機器上,對象頭中的 Mark Word和類型指針各佔 64 比特,就是16字節。實例數據部分,可以根據類型來判斷,如 int 佔 4 個字節,long 佔 8 個字節,字符串中文佔3個字節、數字或字母佔1個字節來計算,就大概能計算出一個對象佔用的內存大小。當然,如果是數組、Map、List 之類的對象,就會佔用更多的內存。

 

3、對象訪問定位

創建對象後,這個引用變量會壓入棧中,即一個 reference,它是一個指向對象的引用,這個引用定位的方式主要有兩種:使用句柄訪問對象和直接指針訪問對象。

1)通過句柄訪問對象:

使用句柄訪問的話,Java堆中將可能會劃分出一塊內存來作爲句柄池,reference中存儲的就是對象的句柄地址,而句柄中包含了對象實例數據與類型數據各自具體的地址信息。

使用句柄來訪問的最大好處就是 reference 中存儲的是穩定句柄地址,在對象被移動(垃圾收集時移動對象)時只會改變句柄中的實例數據指針,而 reference 本身不需要被修改。

 

 

2)通過直接指針訪問對象:

如果使用直接指針訪問的話,Java堆中對象的內存佈局就必須放置訪問類型數據的相關信息(Mark Word 中記錄了類型指針),reference 中存儲的直接就是對象地址,如果只是訪問對象本身的話,就不需要多一次間接訪問的開銷。

使用直接指針來訪問最大的好處就是速度更快,它節省了一次指針定位的時間開銷,HotSpot 虛擬機主要就是使用這種方式進行對象訪問。

 

 

 

4、垃圾收集

當對象不再被程序所引用時,它所使用的堆空間就需要被回收,以便被後續的新對象所使用。JVM 的內存分配管理機制會自動幫我們回收無用的對象,它知道如何確定對象不再被引用,什麼時候去回收這些垃圾對象,使用什麼回收策略來回收更高效,以及如何管理內存,這部分就是JVM的垃圾收集相關的內容了。

推薦閱讀

爲什麼阿里的程序員成長如此之快?看完Alibaba「Java成長筆記」我懂了!_馬小夢的博客-CSDN博客​blog.csdn.net

2020錘爆35K月薪的MySQL面試筆記解析:索引+優化+鎖+慢查詢+事務

推薦觀看

大廠面試真題集結地:阿里三面+騰訊二面+支付寶三面+拼多多二面+字節四面+淘寶五面_嗶哩嗶哩 (゜-゜)つロ 乾杯~-bilibili​www.bilibili.com

 

厲害了!B站最全網絡底層彙總:TCP、Sockt、三次握手、四次揮手、NIO、Epoll、多路複用(附贈源碼、腦圖)​www.bilibili.com

 

阿里資深架構師講解最「細」的spring源碼(附贈講課資料和源碼)​www.bilibili.com

 

Java架構師必會六大核心知識點:多線程、JVM、設計模式、MySQL、Redis、ZooKeeper​www.bilibili.com

 

你從未聽過的全新版本!Tomcat、TCP/IP、IO、分佈式微服務架構全解​www.bilibili.com