【深入Java虛擬機(jī)（1）】：Java內(nèi)存區(qū)域與內(nèi)存溢出-編程開(kāi)發(fā)技術(shù)

1、【深入java虛擬機(jī)（1）】： java內(nèi)存區(qū)域與內(nèi)存溢出編程 開(kāi)發(fā)技術(shù)【深入java虛擬機(jī)（1）】： java內(nèi)存區(qū)域與內(nèi)存溢出原文岀處：蘭亭風(fēng)雨內(nèi)存區(qū)域java虛擬機(jī)在執(zhí)行java程序的過(guò)程中會(huì)把他所管理的內(nèi)存劃分為若干個(gè)不同的 數(shù)據(jù)區(qū)域。java虛擬機(jī)規(guī)范將jvm所管理的內(nèi)存分為以下幾個(gè)運(yùn)行時(shí)數(shù)據(jù)區(qū)： 程序計(jì)數(shù)器、java虛擬機(jī)棧、本地方法棧、java堆、方法區(qū)。下而詳細(xì)闡述齊 數(shù)據(jù)區(qū)所存儲(chǔ)的數(shù)據(jù)類型。程序計(jì)數(shù)器(program?counter?register)一塊較小的內(nèi)存空間，它是當(dāng)前線程所執(zhí)行的字節(jié)碼的行號(hào)指示器，字節(jié)碼解釋 器工作時(shí)通過(guò)改變?cè)撚?jì)數(shù)器的值來(lái)選擇下一條需要執(zhí)行的字節(jié)

2、碼指令，分支、跳 轉(zhuǎn)、循環(huán)等基礎(chǔ)功能都要依賴它來(lái)實(shí)現(xiàn)。每條線程都有一個(gè)獨(dú)立的的程序計(jì)數(shù)器, 各線程間的計(jì)數(shù)器互不影響，因此該區(qū)域是線程私有的。當(dāng)線程在執(zhí)行一個(gè)java方法時(shí)，該計(jì)數(shù)器記錄的是止在執(zhí)行的虛擬機(jī)字節(jié)碼指 令的地址，當(dāng)線程在執(zhí)行的是native方法（調(diào)用本地操作系統(tǒng)方法）時(shí)，該計(jì) 數(shù)器的值為空。另外，該內(nèi)存區(qū)域是唯一一個(gè)在java虛擬機(jī)規(guī)范中么有規(guī)定任 何00m （內(nèi)存溢出：outofmemoryerror）情況的區(qū)域。java 虛擬機(jī)棧(java?virtual?machine?stacks ) 該區(qū)域也是線程私有的，它的生命周期也與線程相同。虛擬機(jī)棧描述的是j3v3 方法執(zhí)行的內(nèi)

3、存模型：每個(gè)方法被執(zhí)行的時(shí)候都會(huì)同時(shí)創(chuàng)建一個(gè)棧幀，棧它是用 于支持續(xù)虛擬機(jī)進(jìn)行方法調(diào)用和方法執(zhí)行的數(shù)據(jù)結(jié)構(gòu)。對(duì)于執(zhí)行引擎來(lái)講，活動(dòng) 線程屮，只有棧頂?shù)臈怯行У模Q為當(dāng)前棧幀，這個(gè)棧幀所關(guān)聯(lián)的方法稱為 當(dāng)前方法，執(zhí)行引擎所運(yùn)行的所有字節(jié)碼指令都只針對(duì)當(dāng)前棧幀進(jìn)行操作。棧幀 用于存儲(chǔ)局部變量表、操作數(shù)棧、動(dòng)態(tài)鏈接、方法返回地址和一些額外的附加信 息。在編譯程序代碼時(shí)，棧幀屮需要多大的局部變量表、多深的操作數(shù)棧都已經(jīng) 完全確定了，并口寫(xiě)入了方法表的code屬性之中。因此，一個(gè)棧幀需要分配多 少內(nèi)存，不會(huì)受到程序運(yùn)行期變量數(shù)據(jù)的影響，而僅僅取決于具體的虛擬機(jī)實(shí)現(xiàn)。在java虛擬機(jī)規(guī)范中，對(duì)這個(gè)區(qū)域

4、規(guī)定了兩種異常情況：1、如杲線程請(qǐng)求的棧深度大于虛擬機(jī)所允許的深度，將拋出 stackoverf lowerror 異常。2、如果虛擬機(jī)在動(dòng)態(tài)擴(kuò)展棧時(shí)無(wú)法中請(qǐng)到足夠的內(nèi)存空間，則拋出out of memory err or 異常。這兩種情況存在著一些互相重疊的地方：當(dāng)棧空間無(wú)法繼續(xù)分配時(shí)，到底是內(nèi)存 太小，述是已使用的?？臻g太大，其本質(zhì)上只是對(duì)同一件事情的兩種描述而已。 在單線程的操作屮，無(wú)論是由于棧幀太大，還是虛擬機(jī)?？臻g太小，當(dāng)?？臻g無(wú) 法分配時(shí)，虛擬機(jī)拋出的都是stackoverf lowerror異常，而不會(huì)得到 outormemoryerror異彳f。而在多線程環(huán)境下，則會(huì)拋出out

5、ofmemoryerror異常。下面詳細(xì)說(shuō)明棧幀中所存放的各部分信息的作用和數(shù)據(jù)結(jié)構(gòu)。1、局部變量表局部變量表是一組變量值存儲(chǔ)空間，用于存放方法參數(shù)和方法內(nèi)部定義的局部變 量，其中存放的數(shù)據(jù)的類型是編譯期可知的各種基木數(shù)據(jù)類型、對(duì)象引用（reference）和returnaddress類型（它指向了條字節(jié)碼指令的地址）。局 部變量表所需的內(nèi)存空間在編譯期間完成分配，即在java程序被編譯成class 文件時(shí)，就確定了所需分配的最大局部變量表的容量。當(dāng)進(jìn)入一個(gè)方法時(shí)，這個(gè) 方法需要在棧屮分配多大的局部變量空間是完全確定的，在方法運(yùn)行期間不會(huì)改 變局部變量表的大小。局部變量表的容量以變量槽（slo

6、t）為最小單位。在虛擬機(jī)規(guī)范屮并沒(méi)有明確指 明一個(gè)slot應(yīng)占用的內(nèi)存空間大小（允許其隨著處理器、操作系統(tǒng)或虛擬機(jī)的 不同而發(fā)生變化），一個(gè)slot可以存放一個(gè)32位以內(nèi)的數(shù)據(jù)類型：boolean, byte、 char> short> int、 float、 referenee 和 returnaddresss。 referenee 是對(duì)彖的引用類型，returnaddress是為字節(jié)指令服務(wù)的，它執(zhí)行了一條字節(jié)碼 指令的地址。對(duì)于64位的數(shù)據(jù)類型（long和double）,虛擬機(jī)會(huì)以高位在前的 方式為其分配兩個(gè)連續(xù)的slot空間。虛擬機(jī)通過(guò)索引定位的方式使用局部變量表，索引值的

7、范圍是從0開(kāi)始到局部變 量表最大的slot數(shù)量，對(duì)于32位數(shù)據(jù)類型的變量，索引n代表第n個(gè)slot, 對(duì)于64位的,索引n代表第n和第n+1兩個(gè)slot。在方法執(zhí)行時(shí)，虛擬機(jī)是使用同部變量表來(lái)完成參數(shù)值到參數(shù)變量列表的傳遞過(guò) 程的，如果是實(shí)例方法（非static）,則局部變量表中的第0位索引的slot默 認(rèn)是用于傳遞方法所屈對(duì)彖實(shí)例的引用，在方法屮可以通過(guò)關(guān)鍵字“this”來(lái)訪 問(wèn)這個(gè)隱含的參數(shù)。其余參數(shù)則按照參數(shù)表的順序來(lái)排列，占用從1開(kāi)始的局部 變量slot,參數(shù)表分配完畢后，再根據(jù)方法體內(nèi)部定義的變量順序和作用域分 配其余的sloto局部變量表中的slot是可重用的，方法體中定義的變量，

8、作用域并不一定會(huì)覆 蓋整個(gè)方法體，如果當(dāng)前字節(jié)碼pc計(jì)數(shù)器的值已經(jīng)超過(guò)了某個(gè)變量的作用域， 那么這個(gè)變量對(duì)應(yīng)的slot就可以交給其他變量使用。這樣的設(shè)計(jì)不僅僅是為了 節(jié)省空間，在某些情況下slot的復(fù)用會(huì)直接影響到系統(tǒng)的而垃圾收集行為。2、操作數(shù)棧操作數(shù)棧又常被稱為操作棧，操作數(shù)棧的最人深度也是在編譯的時(shí)候就確定了。 32位數(shù)據(jù)類型所占的棧容量為1, 64為數(shù)據(jù)類型所占的棧容量為2。當(dāng)一個(gè)方法 開(kāi)始執(zhí)行時(shí)，它的操作棧是空的，在方法的執(zhí)行過(guò)程屮，會(huì)右各種字節(jié)碼指令（比 如：加操作、賦值元算等）向操作棧中寫(xiě)入和提取內(nèi)容，也就是入棧和出棧操作。java虛擬機(jī)的解釋執(zhí)行引擎稱為“基于棧的執(zhí)行引擎”，其

9、小所指的“?！本?是操作數(shù)棧。因此我們也稱java虛擬機(jī)是基于棧的，這點(diǎn)不同于android虛擬 機(jī)，android虛擬機(jī)是基于寄存器的?；跅５闹噶罴钪饕膬?yōu)點(diǎn)是可移植性強(qiáng)，主要的缺點(diǎn)是執(zhí)行速度相對(duì)會(huì)慢 些；而由于寄存器由碩件直接提供，所以基于寄存器指令集最主要的優(yōu)點(diǎn)是執(zhí)行 速度快，主要的缺點(diǎn)是可移植性差。3、動(dòng)態(tài)連接每個(gè)棧幀都包含一個(gè)指向運(yùn)行時(shí)常量池（在方法區(qū)中，后面介紹）中該棧幀所屬 方法的引用，持冇這個(gè)引用是為了支持方法調(diào)用過(guò)程屮的動(dòng)態(tài)連接。class文件 的常量池中存在有大量的符號(hào)引用，字節(jié)碼中的方法調(diào)用指令就以常量池中指向 方法的符號(hào)引用為參數(shù)。這些符號(hào)引用，一部分會(huì)在類加載階段

10、或第一次使用的 時(shí)候轉(zhuǎn)化為直接引用（如final、static域等），稱為靜態(tài)解析，另一部分將在 每一次的運(yùn)行期間轉(zhuǎn)化為直接引用，這部分稱為動(dòng)態(tài)連接。4、方法返回地址當(dāng)一個(gè)方法被執(zhí)行后，有兩種方式退出該方法：執(zhí)行引擎遇到了任意一個(gè)方法返 回的字節(jié)碼指令或遇到了異常，并冃該異常沒(méi)有在方法體內(nèi)得到處理。無(wú)論采用 何種退出方式，在方法退出之后，都需要返冋到方法被調(diào)用的位置，程序才能繼 續(xù)執(zhí)行。方法返回時(shí)可能需要在棧幀中保存一些信息，用來(lái)幫助恢復(fù)它的上層方 法的執(zhí)行狀態(tài)。一般來(lái)說(shuō)，方法正常退出時(shí)，調(diào)用者的pc計(jì)數(shù)器的值就可以作 為返冋地址，棧幀中很可能保存了這個(gè)計(jì)數(shù)器值，而方法異常退出時(shí)，返冋地址 是

11、要通過(guò)異常處理器來(lái)確定的，棧幀屮一般不會(huì)保存這部分信息。方法退出的過(guò)程實(shí)際上等同于把當(dāng)前棧幀出站，因此退出時(shí)可能執(zhí)行的操作有： 恢復(fù)上層方法的局部變量表和操作數(shù)棧，如果有返回值，則把它壓入調(diào)用者棧幀 的操作數(shù)棧中，調(diào)整pc計(jì)數(shù)器的值以指向方法調(diào)用指令后面的一條指令。本地方法棧(native?method?stacks)該區(qū)域與虛擬機(jī)棧所發(fā)揮的作用非常相似，只是虛擬機(jī)棧為虛擬機(jī)執(zhí)行java方 法服務(wù)，而木地方法棧則為使用到的木地操作系統(tǒng)(native)方法服務(wù)。java堆(java?heap)java?heap是java虛擬機(jī)所管理的內(nèi)存中最大的一塊，它是所有線程共享的一 塊內(nèi)存區(qū)域。幾乎所有的

12、對(duì)象實(shí)例和數(shù)組都在這類分配內(nèi)存。java?heap是垃圾 收集器管理的主要區(qū)域，因此很多吋候也被稱為“gc堆”。根據(jù)java虛擬機(jī)規(guī)范的規(guī)定，java堆可以處在物理上不連續(xù)的內(nèi)存空間中，只 要邏輯上是連續(xù)的即可。如果在堆屮沒(méi)冇內(nèi)存可分配時(shí)，并月堆也無(wú)法擴(kuò)展時(shí)， 將會(huì)拋111 outofmemoryerror 異常。方法區(qū)(method?area)方法區(qū)也是各個(gè)線程共享的內(nèi)存區(qū)域，它用于存儲(chǔ)已經(jīng)被虛擬機(jī)加載的類信息、 常量、靜態(tài)變量、即時(shí)編譯器編譯后的代碼等數(shù)據(jù)。方法區(qū)域又被稱為“永久 代”,但這僅僅對(duì)j' sun hotspot來(lái)講，jrockit和ibm j9虛擬機(jī)中并不存在 永久代

13、的概念。java虛擬機(jī)規(guī)范把方法區(qū)描述為java堆的一個(gè)邏輯部分，而口 它和java?heap 樣不需要連續(xù)的內(nèi)存，可以選擇固定大小或可擴(kuò)展，另夕卜，虛 擬機(jī)規(guī)范允許該區(qū)域可以選擇不實(shí)現(xiàn)垃圾回收。相對(duì)而言，垃圾收集行為在這個(gè) 區(qū)域比較少出現(xiàn)。該區(qū)域的內(nèi)存回收目標(biāo)主耍針是對(duì)廢棄常量的和無(wú)用類的回 收。運(yùn)行時(shí)常量池是方法區(qū)的一部分，class文件中除了冇類的版本、字段、方 法、接口等描述信息外，還有一項(xiàng)信息是常量池(class文件常量池)，用于存 放編譯器生成的各種字面量和符號(hào)引用，這部分內(nèi)容將在類加載后存放到方法區(qū) 的運(yùn)行吋常量池中。運(yùn)行時(shí)常量池相對(duì)于class文件常量池的另一個(gè)重要特征是 具備

14、動(dòng)態(tài)性，java語(yǔ)言并不要求常量一定只能在編譯期產(chǎn)生，也就是并非預(yù)置 入class文件屮的常量池的內(nèi)容才能進(jìn)入方法區(qū)的運(yùn)行時(shí)常量池，運(yùn)行期間也可 能將新的常量放入池中，這種特性被開(kāi)發(fā)人員利用比較多的是string類的 intern ()方法。根據(jù)java虛擬機(jī)規(guī)范的規(guī)定，當(dāng)方法區(qū)無(wú)法滿足內(nèi)存分配需求時(shí)，將拋出 outofmemoryerror 異常。直接內(nèi)存(direct memory)直接內(nèi)存并不是虛擬機(jī)運(yùn)行時(shí)數(shù)據(jù)區(qū)的一部分，也不是java虛擬機(jī)規(guī)范中定義 的內(nèi)存區(qū)域，它直接從操作系統(tǒng)中分配，因此不受java堆大小的限制，但是會(huì) 受到本機(jī)總內(nèi)存的大小及處理器尋址空間的限制，因此它也可能導(dǎo)致

15、outofmcmoryerror異常出現(xiàn)。在jdk1. 4中新引入了 ni0機(jī)制，它是一，種基于通 道與緩沖區(qū)的新1/0方式，可以直接從操作系統(tǒng)屮分配直接內(nèi)存，即在堆外分配 內(nèi)存，這樣能在一些場(chǎng)景中提高性能，因?yàn)楸苊饬嗽趈ava堆和native堆中來(lái)回 復(fù)制數(shù)據(jù)。關(guān)丁 ni0的詳細(xì)使用可以參考我的java網(wǎng)絡(luò)編程系列中關(guān)于ni0的 相關(guān)文章。內(nèi)存溢出下面給出個(gè)內(nèi)存區(qū)域內(nèi)存溢出的簡(jiǎn)單測(cè)試方法內(nèi)存區(qū)域內(nèi)存溢出的測(cè)試方法java 堆無(wú)限循環(huán)地n卵對(duì)象出來(lái)，在l“t中保存引用，以不被垃圾收集器回 收。另外，該區(qū)域也有可能會(huì)發(fā)生內(nèi)存泄露(memory leak), 出現(xiàn)間題時(shí)，要注意區(qū)別。方法區(qū)生成大壘

16、的動(dòng)態(tài)類，或無(wú)線循環(huán)調(diào)用string的intern ()方法產(chǎn)生不 同的string對(duì)象實(shí)例，并在list中保存其引用，以不被垃圾收集器回 收。后者測(cè)試常壘池，前者測(cè)試方法區(qū)的非常壘池部分。虛擬機(jī)棧和 本地方法棧單線程多線程翅歸調(diào)用一個(gè)簡(jiǎn)單的方法： 如不斷累積的方法。會(huì)拋出 stackoverf lowerrorv*vw*v*v*v*v*vvv/v*v*v*v*v*v*v*v*v*無(wú)線循環(huán)地創(chuàng)建線程，芥未每個(gè)線 程無(wú)限循環(huán)地増加內(nèi)存。會(huì)拋出 outof m einoryerr or這里冇一點(diǎn)要重點(diǎn)說(shuō)明，在多線程情況下，給每個(gè)線程的棧分配的內(nèi)存越大，反 而越容易產(chǎn)生內(nèi)存溢出異常。操作系統(tǒng)為每個(gè)進(jìn)

17、程分配的內(nèi)存是冇限制的，虛擬 機(jī)提供了參數(shù)來(lái)控制java堆和方法區(qū)這兩部分內(nèi)存的最大值，忽略掉程序計(jì)數(shù) 器消耗的內(nèi)存(很小)，以及進(jìn)程木身消耗的內(nèi)存，剩下的內(nèi)存便給了虛擬機(jī)棧 和本地方法棧，每個(gè)線程分配到的棧容量越人，可以建立的線程數(shù)量自然就越少。 因此，如杲是建立過(guò)多的線程導(dǎo)致的內(nèi)存溢出，在不能減少線程數(shù)的情況廠就 只能通過(guò)減少最大堆和每個(gè)線程的棧容量來(lái)?yè)Q取更多的線程。另外，由于java堆內(nèi)也可能發(fā)生內(nèi)存泄露(iemory leak),這里簡(jiǎn)要說(shuō)明一下 內(nèi)存泄露和內(nèi)存溢出的區(qū)別： 內(nèi)存泄露是指分配出去的內(nèi)存沒(méi)有被冋收冋來(lái)，由于失去了對(duì)該內(nèi)存區(qū)域的控 制，因而造成了資源的浪費(fèi)。jqvqm般不會(huì)

18、產(chǎn)生內(nèi)存泄露，因?yàn)橛欣厥?器自動(dòng)回收垃圾，但這也不絕對(duì)，當(dāng)我們new t對(duì)象，并保存了其引用，但是后 面一直沒(méi)用它，而垃圾回收器乂不會(huì)去回收它，這邊會(huì)造成內(nèi)存泄露，內(nèi)存溢出是指程序所需要的內(nèi)存超出了系統(tǒng)所能分配的內(nèi)存(包括動(dòng)態(tài)擴(kuò)展)的 上限。對(duì)象實(shí)例化分析? ?對(duì)內(nèi)存分配情況分析最常見(jiàn)的示例便是對(duì)象實(shí)例化：object obj = new object();這段代碼的執(zhí)行會(huì)涉及java棧、java堆、方法區(qū)三個(gè)最重要的內(nèi)存區(qū)域。假設(shè) 該語(yǔ)句出現(xiàn)在方法體中，及時(shí)對(duì)jvm虛擬機(jī)不了解的java使用這，應(yīng)該也知道 obj會(huì)作為引用類型(reference)的數(shù)據(jù)保存在java棧的本地變量表中，而會(huì) 在java堆中保存該引用的實(shí)例化對(duì)象，但町能并不知道，java堆中還必須包含 能查找到此對(duì)象類型數(shù)據(jù)的地址信息(如對(duì)象類型、父類、實(shí)現(xiàn)的接口、方法等)， 這些類型數(shù)據(jù)則保存在方法區(qū)中o另外，由于reference類型在java虛擬機(jī)規(guī)范里面只規(guī)定了一個(gè)指向?qū)﹀璧囊?用，并沒(méi)有定義這個(gè)引用應(yīng)該通過(guò)哪種方