Java虛擬機學習——類載入機制

来源:http://www.cnblogs.com/aishangJava/archive/2017/05/24/6899937.html
-Advertisement-
Play Games

類載入機制 JVM把class文件載入的記憶體,並對數據進行校驗、轉換解析和初始化,最終形成JVM可以直接使用的Java類型的過程就是載入機制。 類從被載入到虛擬機記憶體中開始,到卸載出記憶體為止,它的生命周期包括了:載入(Loading)、驗證(Verification)、準備(Preparation) ...


類載入機制

JVM把class文件載入的記憶體,並對數據進行校驗、轉換解析和初始化,最終形成JVM可以直接使用的Java類型的過程就是載入機制。

類從被載入到虛擬機記憶體中開始,到卸載出記憶體為止,它的生命周期包括了:載入(Loading)、驗證(Verification)、準備(Preparation)、解析(Resolution)、初始化(Initialization)、使用(Using)、卸載(Unloading)七個階段,其中驗證、準備、解析三個部分統稱鏈接。

載入(裝載)、驗證、準備、初始化和卸載這五個階段順序是固定的,類的載入過程必須按照這種順序開始,而解析階段不一定;它在某些情況下可以在初始化之後再開始,這是為了運行時動態綁定特性。值得註意的是:這些階段通常都是互相交叉的混合式進行的,通常會在一個階段執行的過程中調用或激活另外一個階段。

 

載入:

載入階段是“類載入機制”中的一個階段,這個階段通常也被稱作“裝載”,主要完成:

1.通過“類全名”來獲取定義此類的二進位位元組流

2.將位元組流所代表的靜態存儲結構轉換為方法區的運行時數據結構

3.在Java堆中生成一個代表這個類的java.lang.Class對象,作為方法區這些數據的訪問入口

虛擬機規範對於“通過“類全名”來獲取定義此類的二進位位元組流”並沒有指明二進位流必須要從一個本地class文件中獲取,準確地說是根本沒有指明要從哪裡獲取及怎樣獲取。例如:

從Zip包中讀取,這很常見,最終成為日後JAR、EAR、WAR格式的基礎。

從網路獲取,常見應用Applet。

運行時計算生成,這種場景使用的最多的就是動態代理技術,在java.lang.reflect.Proxy中,就是用ProxyGenerator.generateProxyClass來為特定介面生成$Prxoy的代理類的二進位位元組流。

由其他格式文件生成,典型場景:JSP應用

從資料庫中讀取,這種場景相對少見,有些中間件伺服器(如SAP Netweaver)可以選擇把程式安裝到資料庫中來完成程式代碼在集群間的分發。

相對於類載入過程的其他階段,載入階段(準備地說,是載入階段中獲取類的二進位位元組流的動作)是開發期可控性最強的階段,因為載入階段可以使用系統提供的類載入器(ClassLoader)來完成,也可以由用戶自定義的類載入器完成,開發人員可以通過定義自己的類載入器去控制位元組流的獲取方式。

載入階段完成後,虛擬機外部的二進位位元組流就按照虛擬機所需的格式存儲在方法區之中,方法區中的數據存儲格式有虛擬機實現自行定義,虛擬機並未規定此區域的具體數據結構。然後在java堆中實例化一個java.lang.Class類的對象,這個對象作為程式訪問方法區中的這些類型數據的外部介面。載入階段與鏈接階段的部分內容(如一部分位元組碼文件格式驗證動作)是交叉進行的,載入階段尚未完成,鏈接階段可能已經開始,但這些夾在載入階段之中進行的動作,仍然屬於鏈接階段的內容,這兩個階段的開始時間仍然保持著固定的先後順序。

 

 

 

 

驗證:

驗證是鏈接階段的第一步,這一步主要的目的是確保class文件的位元組流中包含的信息符合當前虛擬機的要求,並且不會危害虛擬機自身安全。

驗證階段主要包括四個檢驗過程:文件格式驗證、元數據驗證、位元組碼驗證和符號引用驗證。

1.文件格式驗證 

 驗證class文件格式規範,例如: class文件是否已魔術0xCAFEBABE開頭 , 主、次版本號是否在當前虛擬機處理範圍之內等

2.元數據驗證

這個階段是對位元組碼描述的信息進行語義分析,以保證起描述的信息符合java語言規範要求。驗證點可能包括:這個類是否有父類(除了java.lang.Object之外,所有的類都應當有父類)、這個類是否繼承了不允許被繼承的類(被final修飾的)、如果這個類的父類是抽象類,是否實現了起父類或介面中要求實現的所有方法。

3.位元組碼驗證

 進行數據流和控制流分析,這個階段對類的方法體進行校驗分析,這個階段的任務是保證被校驗類的方法在運行時不會做出危害虛擬機安全的行為。如:保證訪法體中的類型轉換有效,例如可以把一個子類對象賦值給父類數據類型,這是安全的,但不能把一個父類對象賦值給子類數據類型、保證跳轉命令不會跳轉到方法體以外的位元組碼命令上。

4.符號引用驗證

符號引用中通過字元串描述的全限定名是否能找到對應的類、符號引用類中的類,欄位和方法的訪問性(private、protected、public、default)是否可被當前類訪問。

 

準備:

準備階段是正式為類變數分配記憶體並設置類變數初始值的階段,這些記憶體都將在方法區中進行分配。這個階段中有兩個容易產生混淆的知識點,首先是這時候進行記憶體分配的僅包括類變數(static 修飾的變數),而不包括實例變數,實例變數將會在對象實例化時隨著對象一起分配在java堆中。其次是這裡所說的初始值“通常情況”下是數據類型的零值,假設一個類變數定義為:

public static int value  = 12;

那麼變數value在準備階段過後的初始值為0而不是12,因為這時候尚未開始執行任何java方法,而把value賦值為123的putstatic指令是程式被編譯後,存放於類構造器<clinit>()方法之中,所以把value賦值為12的動作將在初始化階段才會被執行。

上面所說的“通常情況”下初始值是零值,那相對於一些特殊的情況,如果類欄位的欄位屬性表中存在ConstantValue屬性,那在準備階段變數value就會被初始化為ConstantValue屬性所指定的值,建設上面類變數value定義為:

public static final int value = 123;

編譯時javac將會為value生成ConstantValue屬性,在準備階段虛擬機就會根據ConstantValue的設置將value設置為123。

 

解析:

 解析階段是虛擬機常量池內的符號引用替換為直接引用的過程。

符號引用:符號引用是一組符號來描述所引用的目標對象,符號可以是任何形式的字面量,只要使用時能無歧義地定位到目標即可。符號引用與虛擬機實現的記憶體佈局無關,引用的目標對象並不一定已經載入到記憶體中。

直接引用:直接引用可以是直接指向目標對象的指針、相對偏移量或是一個能間接定位到目標的句柄。直接引用是與虛擬機記憶體佈局實現相關的,同一個符號引用在不同虛擬機實例上翻譯出來的直接引用一般不會相同,如果有了直接引用,那引用的目標必定已經在記憶體中存在。

虛擬機規範並沒有規定解析階段發生的具體時間,只要求了在執行anewarry、checkcast、getfield、instanceof、invokeinterface、invokespecial、invokestatic、invokevirtual、multianewarray、new、putfield和putstatic這13個用於操作符號引用的位元組碼指令之前,先對它們使用的符號引用進行解析,所以虛擬機實現會根據需要來判斷,到底是在類被載入器載入時就對常量池中的符號引用進行解析,還是等到一個符號引用將要被使用前才去解析它。

解析的動作主要針對類或介面、欄位、類方法、介面方法四類符號引用進行。分別對應編譯後常量池內的CONSTANT_Class_Info、CONSTANT_Fieldref_Info、CONSTANT_Methodef_Info、CONSTANT_InterfaceMethoder_Info四種常量類型。

1.類、介面的解析

2.欄位解析

3.類方法解析

4.介面方法解析

 

初始化: 

類的初始化階段是類載入過程的最後一步,在準備階段,類變數已賦過一次系統要求的初始值,而在初始化階段,則是根據程式員通過程式制定的主觀計划去初始化類變數和其他資源,或者可以從另外一個角度來表達:初始化階段是執行類構造器<clinit>()方法的過程。在以下四種情況下初始化過程會被觸發執行:

1.遇到new、getstatic、putstatic或invokestatic這4條位元組碼指令時,如果類沒有進行過初始化,則需先觸發其初始化。生成這4條指令的最常見的java代碼場景是:使用new關鍵字實例化對象、讀取或設置一個類的靜態欄位(被final修飾、已在編譯器把結果放入常量池的靜態欄位除外)的時候,以及調用類的靜態方法的時候。

2.使用java.lang.reflect包的方法對類進行反射調用的時候

3.當初始化一個類的時候,如果發現其父類還沒有進行過初始化、則需要先出發其父類的初始化

4.jvm啟動時,用戶指定一個執行的主類(包含main方法的那個類),虛擬機會先初始化這個類

在上面準備階段 public static int value  = 12;  在準備階段完成後 value的值為0,而在初始化階調用了類構造器<clinit>()方法,這個階段完成後value的值為12。

*類構造器<clinit>()方法是由編譯器自動收集類中的所有類變數的賦值動作和靜態語句塊(static塊)中的語句合併產生的,編譯器收集的順序是由語句在源文件中出現的順序所決定的,靜態語句塊中只能訪問到定義在靜態語句塊之前的變數,定義在它之後的變數,在前面的靜態語句快可以賦值,但是不能訪問。

*類構造器<clinit>()方法與類的構造函數(實例構造函數<init>()方法)不同,它不需要顯式調用父類構造,虛擬機會保證在子類<clinit>()方法執行之前,父類的<clinit>()方法已經執行完畢。因此在虛擬機中的第一個執行的<clinit>()方法的類肯定是java.lang.Object。

*由於父類的<clinit>()方法先執行,也就意味著父類中定義的靜態語句快要優先於子類的變數賦值操作。

*<clinit>()方法對於類或介面來說並不是必須的,如果一個類中沒有靜態語句,也沒有變數賦值的操作,那麼編譯器可以不為這個類生成<clinit>()方法。

*介面中不能使用靜態語句塊,但介面與類不太能夠的是,執行介面的<clinit>()方法不需要先執行父介面的<clinit>()方法。只有當父介面中定義的變數被使用時,父介面才會被初始化。另外,介面的實現類在初始化時也一樣不會執行介面的<clinit>()方法。

*虛擬機會保證一個類的<clinit>()方法在多線程環境中被正確加鎖和同步,如果多個線程同時去初始化一個類,那麼只會有一個線程執行這個類的<clinit>()方法,其他線程都需要阻塞等待,直到活動線程執行<clinit>()方法完畢。如果一個類的<clinit>()方法中有耗時很長的操作,那就可能造成多個進程阻塞。

 

學習Java的同學註意了!!! 

學習過程中遇到什麼問題或者想獲取學習資源的話,歡迎加入Java學習交流群,群號碼:618528494  我們一起學Java!


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 今天這一題是求冪集。小學數學都忘得差不多了… 冪集是什麼? 冪集(power set)是一個集合的所有子集。比如[1, 2, 3]的冪集就是: [[], [1], [2], [1, 2], [3], [1, 3], [2, 3], [1, 2, 3]] 不過這道題有一個額外的要求: 在求冪集時要以“ ...
  • 1.概述 還在用struts1?是的,在地球的沒寫地方,落後的生產方式還在運轉(老項目). 從 繼承org.apache.struts.action.Action, 繼承org.apache.struts.action.ActionForm開始吧 2. 代碼 2.1 html頁面 2.2 _file ...
  • 眾多高級語言都從C/C++有所借鑒,所以說C/C++的語言基礎對從事軟體開發的人員來說非常重要。 《C和C++程式員面試秘笈》是一本解析C/C++面試題的書,可以幫助求職者更好地準備面試。《C和C++程式員面試秘笈》共包含12章,囊括了目前企業中常見的面試題類型和考點,包括C/C++程式基礎,預處理 ...
  • 作業 2, 模擬計算器開發:實現加減乘除及拓號優先順序解析用戶輸入 1 - 2 * ( (60-30 +(-40/5) * (9-2*5/3 + 7 /3*99/4*2998 +10 * 568/14 )) - (-4*3)/ (16-3*2) )等類似公式後,必須自己解析裡面的(),+,-,*,/符 ...
  • 一.遇見的問題: 當單元格設置為日期類型時,cell.getCellStyle().getDataFormat()返回的值都為176。 poi jar包3.14以上不支持用cell.getCellType()判斷類型的方法。 使用poi解析技術需要導入poi以及poi-ooxml兩個jar包。 二. ...
  • 題目描述 某一村莊在一條路線上安裝了n盞路燈,每盞燈的功率有大有小(即同一段時間內消耗的電量有多有少)。老張就住在這條路中間某一路燈旁,他有一項工作就是每天早上天亮時一盞一盞地關掉這些路燈。 為了給村裡節省電費,老張記錄下了每盞路燈的位置和功率,他每次關燈時也都是儘快地去關,但是老張不知道怎樣去關燈 ...
  • 在Java編程中78條極具實用價值的經驗規則,這些經驗規則涵蓋了大多數開發人員每天所面臨的問題的解決方案。通過對Java平臺設計專家所使用的技術的全面描述,揭示了應該做什麼,不應該做什麼才能產生清晰、健壯和高效的代碼。第2版反映了Java 5中重要的變化,並刪去了過時的內容。 《Effective ...
  • spring 事務註解 預設遇到throw new RuntimeException("...");會回滾需要捕獲的throw new Exception("...");不會回滾// 指定回滾@Transactional(rollbackFor=Exception.class) public voi ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...