JVM(java virual machine)Java虛擬機(jī)是Java語(yǔ)言的基礎(chǔ),雖然名稱叫做java虛擬機(jī),但是跟Java語(yǔ)言并沒(méi)有強(qiáng)相關(guān),JVM主要提供一種執(zhí)行字節(jié)碼(class文件的載體),很多其他的語(yǔ)言例如python都有基于jvm的實(shí)現(xiàn)版本,JVM在很多時(shí)候給我們提供了便利,屏蔽了很多細(xì)節(jié),尤其是垃圾回收與跨平臺(tái)與多線程機(jī)制.

JVM的基本結(jié)構(gòu)如下:

它處于連接基本類庫(kù)與字節(jié)碼文件和操作系統(tǒng)之間的位置.jvm也是Java語(yǔ)言跨平臺(tái)的基礎(chǔ).

Java整個(gè)語(yǔ)言體系如圖:

jdk中的jre首先用編譯器講我們編寫的Java文件編譯成class字節(jié)碼文件,然后JVM加載字節(jié)碼文件進(jìn)行解釋執(zhí)行.不針對(duì)特定平臺(tái)進(jìn)行編程,因?yàn)槊總€(gè)平臺(tái)都應(yīng)該應(yīng)該依賴JVM規(guī)范進(jìn)行JVM實(shí)現(xiàn)．因此抽象出的公共接口暴露給程序調(diào)用的規(guī)范是統(tǒng)一的．

前面也提過(guò)，JVM并不認(rèn)識(shí)特定的語(yǔ)言，而是只認(rèn)識(shí)字節(jié)碼文件，JVM規(guī)范對(duì)字節(jié)碼文件格式進(jìn)行嚴(yán)格的控制,這直接關(guān)系到JVM的安全性.依照特定的規(guī)則在執(zhí)行引擎的處理下,JVM完成類加載,將靜態(tài)的類文件映射到虛擬機(jī)的運(yùn)行數(shù)據(jù)環(huán)境.

類加載如下:

到了運(yùn)行數(shù)據(jù)區(qū),這里就是JVM進(jìn)行管理的主要內(nèi)存區(qū)域了,這里主要分為6個(gè)部分:程序計(jì)數(shù)器,虛擬機(jī)棧區(qū),本地方法棧區(qū),堆區(qū),方法區(qū),運(yùn)行時(shí)常量池.

主要結(jié)構(gòu)如圖: 接下來(lái)分別介紹6個(gè)數(shù)據(jù)區(qū)的主要用途:

1. 程序計(jì)數(shù)器

程序計(jì)數(shù)器占用的大小比較小,每個(gè)線程都會(huì)創(chuàng)建自己的程序計(jì)數(shù)器,當(dāng)然它的生存周期也就跟線程的生存周期保持一直了,它的主要用途是跟蹤程序方法執(zhí)行的路徑,它記錄了當(dāng)前方法執(zhí)行的操作和位置,在進(jìn)行多線程調(diào)度的時(shí)候是需要進(jìn)行CPU分片的,有了程序計(jì)數(shù)器就可以保護(hù)線程的執(zhí)行情況,當(dāng)獲得CPU使用權(quán)的時(shí)候能夠進(jìn)行線程恢復(fù).它一般存放的指令為:分支、循環(huán)、跳轉(zhuǎn)、異常處理等指令.如果是不是本地方法,這里存放就是字節(jié)碼指令的地址,如果是本地方法,它的值是undefined.這個(gè)區(qū)域通常來(lái)說(shuō)比較小，也是ＪＶＭ唯一沒(méi)有規(guī)定OutOfMemoryError的區(qū)域．

2.虛擬機(jī)棧區(qū)

　這個(gè)區(qū)域也是線程私有的區(qū)域，當(dāng)每個(gè)方法進(jìn)行執(zhí)行的時(shí)候都會(huì)在棧區(qū)創(chuàng)建棧幀（stack frame）,棧幀一般存放的局部變量表，操作數(shù)棧，動(dòng)態(tài)連接與方法出口等信息．局部變量表存放的方法入口還有在編譯器就確定的基本數(shù)據(jù)類型（long與double類型占用兩個(gè)slot，其余占用一個(gè)）和引用類型和returnAddress類型(eturnAddress類型會(huì)被Java虛擬機(jī)的jsr、ret和jsr_w指令所使用。returnAddress類型的值指向一條虛擬機(jī)指令的操作碼。與前面介紹的那些數(shù)值類的原生類型不同，returnAddress類型在Java語(yǔ)言之中并不存在相應(yīng)的類型，也無(wú)法在程序運(yùn)行期間更改returnAddress類型的值。)這個(gè)區(qū)域確定了兩種異常情況，當(dāng)方法調(diào)用深度超過(guò)ＪＶＭ的允許值會(huì)拋出StackOverｆｌｏｗ，如果動(dòng)態(tài)的擴(kuò)展無(wú)法申請(qǐng)到足夠多的內(nèi)存也會(huì)拋出OutOfMemoryError,虛擬機(jī)規(guī)范并沒(méi)要求這個(gè)區(qū)域是否可擴(kuò)展，但大部分實(shí)現(xiàn)的虛擬都是可擴(kuò)展的．

3.本地方法棧

　本地方法棧與虛擬機(jī)棧基本一直，主要區(qū)別一個(gè)管理的目標(biāo)是字節(jié)碼定義的方法棧，本地方法棧管理的是本地方法．這個(gè)區(qū)域的規(guī)范并不強(qiáng)制語(yǔ)言與數(shù)據(jù)結(jié)構(gòu)，給跨平臺(tái)提供靈活的選擇性．

4.堆

　這是虛擬機(jī)中最大的一塊區(qū)域，也是開(kāi)發(fā)者所指的ＪＶＭ內(nèi)存的主要含義，不僅僅是因?yàn)樗急壤话阕畲螅匾氖抢厥盏哪繕?biāo)也主要在這個(gè)區(qū)域，這個(gè)區(qū)按照規(guī)范的定義是存放實(shí)例的唯一區(qū)域，但是隨著最新的技術(shù)發(fā)展（ＪＩＴ技術(shù)與逃逸）發(fā)展，對(duì)象也不一定在這個(gè)區(qū)域存放．這個(gè)區(qū)域也是多個(gè)線程共享的，因此也會(huì)帶來(lái)多線程并發(fā)的復(fù)雜性．保持對(duì)象的一致性也是控制堆上的對(duì)象能夠?qū)Χ鄠€(gè)線程保持?jǐn)?shù)據(jù)的一致．堆上主要存放對(duì)象實(shí)例和數(shù)組，當(dāng)ＪＶＭ啟動(dòng)的時(shí)候就存在了堆區(qū)域，這與棧區(qū)不太一樣，棧是在方法開(kāi)始調(diào)用的時(shí)候才開(kāi)始創(chuàng)建．堆中的垃圾回收根據(jù)對(duì)象生存周期的不同來(lái)進(jìn)行分代收集，主要的收集算法也有標(biāo)記－清除，復(fù)制－整理，復(fù)制－壓縮等算法，根據(jù)這些算法也有一些串行，并行，甚至并發(fā)的垃圾收集器．在主流hotspot也分為年輕代（可以分為Eden和Survivor）和老年代．這個(gè)區(qū)域可以是連續(xù)的內(nèi)存也可以只是邏輯連續(xù)的．

5.方法區(qū)

　這個(gè)區(qū)域主要存放被ＪＶＭ加載的類的信息，包括常量，靜態(tài)變量，即時(shí)編譯后的代碼，這個(gè)區(qū)域垃圾回收效果收益不大但是是必要的．主要的收集對(duì)象為常量和需要卸載的類，類的回收機(jī)制有特定的要求．，并且十分的嚴(yán)苛．這個(gè)區(qū)域別名為Non-heap.在hotspot中使用堆中的永久區(qū)（其他ＪＶＭ實(shí)現(xiàn)一般沒(méi)所謂的永久區(qū)）來(lái)實(shí)現(xiàn)方法區(qū)，這樣將垃圾回收器直接覆蓋到了堆中的方法區(qū)（hotspot中的永久區(qū)），省去了專門為永久區(qū)進(jìn)行垃圾收集的工作，但是這樣增加了堆溢出的風(fēng)險(xiǎn)，因此現(xiàn)在jdk逐漸講方法區(qū)移除到堆外．

6.運(yùn)行時(shí)常量池

　屬于方法區(qū)的一個(gè)部分，存放Class類編譯器各種能夠確定的字面量和符號(hào)引用（和直接引用）．字節(jié)碼格式中一般對(duì)其他區(qū)域要求嚴(yán)格，這個(gè)區(qū)域是比較寬松的．受到方法區(qū)大小限制，申請(qǐng)不到足夠的內(nèi)存也會(huì)拋出OutOfMemoryError異常．

7.堆外內(nèi)存（直接內(nèi)存）

　有些時(shí)候我們可以直接使用堆外內(nèi)存，例如jdk1.4引入的java nio就用channel與buffer調(diào)用本地方法在堆外分配內(nèi)存，使用堆上的DirectByteBuffer作為引用進(jìn)行操作，這樣減少了堆內(nèi)外數(shù)據(jù)交換，提升性能．當(dāng)然這個(gè)區(qū)域的大小受到物理內(nèi)存大小限制，申請(qǐng)不夠拋出OutOfMemoryError異常．