在以前的博客裡面，我們介紹了在java領域中大部分的知識點，從最基礎的java最基本語法到SSH框架。這裡面應該包含了在java領域裡面的大部分內容了吧。但是，那些知識點是讓我們從一個應用的層面上瞭解了java，java程式真正底層的運行機制和一些底層虛擬機的工作我們還不瞭解，雖然這些內容在我們真正...
在以前的博客裡面，我們介紹了在java領域中大部分的知識點，從最基礎的java最基本語法到SSH框架。這裡面應該包含了在java領域裡面的大部分內容了吧。但是，那些知識點是讓我們從一個應用的層面上瞭解了java，java程式真正底層的運行機制和一些底層虛擬機的工作我們還不瞭解，雖然這些內容在我們真正的開發中幾乎用不到這些底層的東西，但對於我們對java的理解會有比較大的幫助。尤其也對以後java開發中的性能優化有很大幫助，可以使我們減少一些沒必要的記憶體浪費等好處。所以，從今天開始，我將和大家一起來學習一下java虛擬機的內容。從底層開一下java的運行機制。
Java虛擬機
Java虛擬機（Java Virtual Machine) 簡稱JVM Java虛擬機是一個想象中的機器，在實際的電腦上通過軟體模擬來實現。Java虛擬機有自己想象中的硬體，如處理器、堆棧、寄存器等，還具有相應的指令系統。下麵我們就來看一下這幾部分比較重要的java虛擬機的結構
JVM寄存器
所有的CPU均包含用於保存系統狀態和處理器所需信息的寄存器組。如果虛擬機定義義較多的寄存器，便可以從中得到更多的信息而不必對棧或記憶體進行訪問，這有利於提高運行速度。然而，如果虛擬機中的寄存器比實際CPU的寄存器多，在實現虛擬機時就會占用處理器大量的時間來用常規存儲器模擬寄存器，這反而會降低虛擬機的效率。針對這種情況，JVM只設置了4個最為常用的寄存器。它們是：pc程式計數器，optop操作數棧頂指針 ，frame當前執行環境指針， vars指向當前執行環境中第一個局部變數的指針， 所有寄存器均為32位。pc用於記錄程式的執行。optop,frame和vars用於記錄指向Java棧區的指針。
JVM棧結構
作為基於棧結構的電腦，Java棧是JVM存儲信息的主要方法。當JVM得到一個java位元組碼應用程式後，便為該代碼中一個類的每一個方法創建一個棧框架，以保存該方法的狀態信息。每個棧框架包括以下三類信息：局部變數執行環境操作數棧 局部變數用於存儲一個類的方法中所用到的局部變數。vars寄存器指向該變數表中的第一個局部變數。執行環境用於保存解釋器對Java位元組碼進行解釋過程中所需的信息。它們是：上次調用的方法、局部變數指針和操作數棧的棧頂和棧底指針。執行環境是一個執行一個方法的控制中心。例如：如果解釋器要執行iadd（整數加法），首先要從frame寄存器中找到當前執行環境，而後便從執行環境中找到操作數棧，從棧頂彈出兩個整數進行加法運算，最後將結果壓入棧頂。 操作數棧用於存儲運算所需操作數及運算的結果。
JVM碎片回收堆
Java類的實例所需的存儲空間是在堆上分配的。解釋器具體承擔為類實例分配空間的工作。解釋器在為一個實例分配完存儲空間後，便開始記錄對該實例所占用的記憶體區域的使用。一旦對象使用完畢，便將其回收到堆中。在Java語言中，除了new語句外沒有其他方法為一對象申請和釋放記憶體。對記憶體進行釋放和回收的工作是由Java運行系統承擔的。這允許Java運行系統的設計者自己決定碎片回收的方法。在SUN公司開發的Java解釋器和Hot Java環境中，碎片回收用後臺線程的方式來執行。這不但為運行系統提供了良好的性能，而且使程式設計人員擺脫了自己控制記憶體使用的風險。
JVM存儲區
JVM有兩類存儲區：常量緩衝池和方法區。常量緩衝池用於存儲類名稱、方法和欄位名稱以及串常量。方法區則用於存儲Java方法的位元組碼。對於這兩種存儲區域具體實現方式在JVM規格中沒有明確規定。這使得Java應用程式的存儲佈局必須在運行過程中確定，依賴於具體平臺的實現方式。JVM是為Java位元組碼定義的一種獨立於具體平臺的規格描述，是Java平臺獨立性的基礎。目前的JVM還存在一些限制和不足，有待於進一步的完善，但無論如何，JVM的思想是成功的。對比分析：如果把Java原程式想象成我們的C++原程式，Java原程式編譯後生成的位元組碼就相當於C++原程式編譯後的80x86的機器碼（二進位程式文件），JVM虛擬機相當於80x86電腦系統,Java解釋器相當於80x86CPU。在80x86CPU上運行的是機器碼，在Java解釋器上運行的是Java位元組碼。 Java解釋器相當於運行Java位元組碼的“CPU”，但該“CPU”不是通過硬體實現的，而是用軟體實現的。Java解釋器實際上就是特定的平臺下的一個應用程式。只要實現了特定平臺下的解釋器程式，Java位元組碼就能通過解釋器程式在該平臺下運行，這是Java跨平臺的根本。當前，並不是在所有的平臺下都有相應Java解釋器程式，這也是Java並不能在所有的平臺下都能運行的原因，它只能在已實現了Java解釋器程式的平臺下運行。
Java虛擬機的體繫結構圖
Java虛擬機從啟動到結束的生命周期，當java虛擬機啟動後，在如下幾種情況下，Java虛擬機將結束生命周期：
1.執行了System.exit()方法
2.程式正常執行結束
3.程式在執行過程中遇到了異常或錯誤而異常終止
4.由於操作系統出現錯誤而導致Java虛擬機進程終止
Java虛擬機的棧有三個區域:局部變數區、運行環境區、操作數區。
局部變數區
每個Java方法使用一個固定大小的局部變數集。它們按照與vars寄存器的字偏移量來定址。局部變數都是32位的。長整數和雙精度浮點數占據了兩個局部變數的空間,卻按照第一個局部變數的索引來定址。(例如,一個具有索引n的局部變數,如果是一個雙精度浮點數,那麼它實際占據了索引n和n+1所代表的存儲空間)虛擬機規範並不要求在局部變數中的64位的值是64位對齊的。虛擬機提供了把局部變數中的值裝載到操作數棧的指令,也提供了把操作數棧中的值寫入局部變數的指令。
運行環境區
在運行環境中包含的信息用於動態鏈接,正常的方法返回以及異常捕捉。
操作數棧區
機器指令只從操作數棧中取操作數,對它們進行操作,並把結果返回到棧中。選擇棧結構的原因是:在只有少量寄存器或非通用寄存器的機器(如Intel486)上,也能夠高效地模擬虛擬機的行為。操作數棧是32位的。它用於給方法傳遞參數,並從方法接收結果,也用於支持操作的參數,並保存操作的結果。例如,iadd指令將兩個整數相加。相加的兩個整數應該是操作數棧頂的兩個字。這兩個字是由先前的指令壓進堆棧的。這兩個整數將從堆棧彈出、相加,並把結果壓回到操作數棧中。
每個原始數據類型都有專門的指令對它們進行必須的操作。每個操作數在棧中需要一個存儲位置,除了long和double型,它們需要兩個位置。操作數只能被適用於其類型的操作符所操作。例如,壓入兩個int類型的數,如果把它們當作是一個long類型的數則是非法的。在Sun的虛擬機實現中,這個限制由位元組碼驗證器強制實行。但是,有少數操作(操作符dupe和swap),用於對運行時數據區進行操作時是不考慮類型的。
本地方法棧，當一個線程調用本地方法時，它就不再受到虛擬機關於結構和安全限制方面的約束，它既可以訪問虛擬機的運行期數據區，也可以使用本地處理器以及任何類型的棧。例如，本地棧是一個C語言的棧，那麼當C程式調用C函數時，函數的參數以某種順序被壓入棧，結果則返回給調用函數。在實現Java虛擬機時，本地方法介面使用的是C語言的模型棧，那麼它的本地方法棧的調度與使用則完全與C語言的棧相同。
下圖可以表示出來java程式運行的一個全過程
3 Java虛擬機的運行過程
上面對虛擬機的各個部分進行了比較詳細的說明，下麵通過一個具體的例子來分析它的運行過程。
虛擬機通過調用某個指定類的方法main啟動，傳遞給main一個字元串數組參數，使指定的類被裝載，同時鏈接該類所使用的其它的類型，並且初始化它們。例如對於程式：
class HelloApp
{
public static void main(String[] args)
{
System.out.println("Hello World!");
for (int i = 0; i < args.length; i++ )
{
System.out.println(args[i]);
}
}
}
編譯後在命令行模式下鍵入： java HelloApp run virtual machine
將通過調用HelloApp的方法main來啟動java虛擬機，傳遞給main一個包含三個字元串"run"、"virtual"、"machine"的數組。現在我們略述虛擬機在執行HelloApp時可能採取的步驟。
開始試圖執行類HelloApp的main方法，發現該類並沒有被裝載，也就是說虛擬機當前不包含該類的二進位代表，於是虛擬機使用ClassLoader試圖尋找這樣的二進位代表。如果這個進程失敗，則拋出一個異常。類被裝載後同時在main方法被調用之前，必須對類HelloApp與其它類型進行鏈接然後初始化。鏈接包含三個階段：檢驗，準備和解析。檢驗檢查被裝載的主類的符號和語義，準備則創建類或介面的靜態域以及把這些域初始化為標準的預設值，解析負責檢查主類對其它類或介面的符號引用，在這一步它是可選的。類的初始化是對類中聲明的靜態初始化函數和靜態域的初始化構造方法的執行。一個類在初始化之前它的父類必須被初始化。整個過程如下：
參考資料：http://blog.csdn.net/csh624366188
