前言
finalize()是Object的protected方法补履,子類可以覆蓋該方法以實(shí)現(xiàn)資源清理工作辛慰,GC在回收對(duì)象之前調(diào)用該方法。干像。
finalize的作用
(1)finalize()與C++中的析構(gòu)函數(shù)不是對(duì)應(yīng)的帅腌。C++中的析構(gòu)函數(shù)調(diào)用的時(shí)機(jī)是確定的(對(duì)象離開(kāi)作用域或delete掉)驰弄,但Java中的finalize的調(diào)用具有不確定性
(2)不建議用finalize方法完成“非內(nèi)存資源”的清理工作,但建議用于:① 清理本地對(duì)象(通過(guò)JNI創(chuàng)建的對(duì)象)速客;② 作為確保某些非內(nèi)存資源(如Socket戚篙、文件等)釋放的一個(gè)補(bǔ)充:在finalize方法中顯式調(diào)用其他資源釋放方法。其原因可見(jiàn)下文[finalize的問(wèn)題
finalize的問(wèn)題
(1)一些與finalize相關(guān)的方法溺职,由于一些致命的缺陷岔擂,已經(jīng)被廢棄了,如System.runFinalizersOnExit()方法浪耘、Runtime.runFinalizersOnExit()方法
(2)System.gc()與System.runFinalization()方法增加了finalize方法執(zhí)行的機(jī)會(huì)乱灵,但不可盲目依賴它們
(3)Java語(yǔ)言規(guī)范并不保證finalize方法會(huì)被及時(shí)地執(zhí)行、而且根本不會(huì)保證它們會(huì)被執(zhí)行
(4)finalize方法可能會(huì)帶來(lái)性能問(wèn)題七冲。因?yàn)镴VM通常在單獨(dú)的低優(yōu)先級(jí)線程中完成finalize的執(zhí)行
(5)對(duì)象再生問(wèn)題:finalize方法中痛倚,可將待回收對(duì)象賦值給GC Roots可達(dá)的對(duì)象引用,從而達(dá)到對(duì)象再生的目的
(6)finalize方法至多由GC執(zhí)行一次(用戶當(dāng)然可以手動(dòng)調(diào)用對(duì)象的finalize方法澜躺,但并不影響GC對(duì)finalize的行為)
finalize的執(zhí)行過(guò)程(生命周期)
(1) 首先蝉稳,大致描述一下finalize流程:當(dāng)對(duì)象變成(GC Roots)不可達(dá)時(shí),GC會(huì)判斷該對(duì)象是否覆蓋了finalize方法掘鄙,若未覆蓋耘戚,則直接將其回收。否則操漠,若對(duì)象未執(zhí)行過(guò)finalize方法收津,將其放入F-Queue隊(duì)列,由一低優(yōu)先級(jí)線程執(zhí)行該隊(duì)列中對(duì)象的finalize方法浊伙。執(zhí)行finalize方法完畢后朋截,GC會(huì)再次判斷該對(duì)象是否可達(dá),若不可達(dá)吧黄,則進(jìn)行回收,否則唆姐,對(duì)象“復(fù)活”拗慨。
(2) 具體的finalize流程:
對(duì)象可由兩種狀態(tài),涉及到兩類狀態(tài)空間奉芦,一是終結(jié)狀態(tài)空間 F = {unfinalized, finalizable, finalized}赵抢;二是可達(dá)狀態(tài)空間 R = {reachable, finalizer-reachable, unreachable}。各狀態(tài)含義如下:
unfinalized: 新建對(duì)象會(huì)先進(jìn)入此狀態(tài)声功,GC并未準(zhǔn)備執(zhí)行其finalize方法烦却,因?yàn)樵搶?duì)象是可達(dá)的
finalizable: 表示GC可對(duì)該對(duì)象執(zhí)行finalize方法,GC已檢測(cè)到該對(duì)象不可達(dá)先巴。正如前面所述其爵,GC通過(guò)F-Queue隊(duì)列和一專用線程完成finalize的執(zhí)行
finalized: 表示GC已經(jīng)對(duì)該對(duì)象執(zhí)行過(guò)finalize方法
reachable: 表示GC Roots引用可達(dá)
finalizer-reachable(f-reachable):表示不是reachable冒冬,但可通過(guò)某個(gè)finalizable對(duì)象可達(dá)
unreachable:對(duì)象不可通過(guò)上面兩種途徑可達(dá)
(1)新建對(duì)象首先處于[reachable, unfinalized]狀態(tài)(A)
(2)隨著程序的運(yùn)行,一些引用關(guān)系會(huì)消失摩渺,導(dǎo)致?tīng)顟B(tài)變遷简烤,從reachable狀態(tài)變遷到f-reachable(B, C, D)或unreachable(E, F)狀態(tài)
(3)若JVM檢測(cè)到處于unfinalized狀態(tài)的對(duì)象變成f-reachable或unreachable,JVM會(huì)將其標(biāo)記為finalizable狀態(tài)(G,H)摇幻。若對(duì)象原處于[unreachable, unfinalized]狀態(tài)横侦,則同時(shí)將其標(biāo)記為f-reachable(H)。
(4)在某個(gè)時(shí)刻绰姻,JVM取出某個(gè)finalizable對(duì)象枉侧,將其標(biāo)記為finalized并在某個(gè)線程中執(zhí)行其finalize方法。由于是在活動(dòng)線程中引用了該對(duì)象狂芋,該對(duì)象將變遷到(reachable, finalized)狀態(tài)(K或J)榨馁。該動(dòng)作將影響某些其他對(duì)象從f-reachable狀態(tài)重新回到reachable狀態(tài)(L, M, N)
(5)處于finalizable狀態(tài)的對(duì)象不能同時(shí)是unreahable的,由第4點(diǎn)可知银酗,將對(duì)象finalizable對(duì)象標(biāo)記為finalized時(shí)會(huì)由某個(gè)線程執(zhí)行該對(duì)象的finalize方法辆影,致使其變成reachable。這也是圖中只有八個(gè)狀態(tài)點(diǎn)的原因
(6)程序員手動(dòng)調(diào)用finalize方法并不會(huì)影響到上述內(nèi)部標(biāo)記的變化黍特,因此JVM只會(huì)至多調(diào)用finalize一次蛙讥,即使該對(duì)象“復(fù)活”也是如此。程序員手動(dòng)調(diào)用多少次不影響JVM的行為
(7)若JVM檢測(cè)到finalized狀態(tài)的對(duì)象變成unreachable灭衷,回收其內(nèi)存(I)
(8)若對(duì)象并未覆蓋finalize方法次慢,JVM會(huì)進(jìn)行優(yōu)化,直接回收對(duì)象(O)
(9)注:System.runFinalizersOnExit()等方法可以使對(duì)象即使處于reachable狀態(tài)翔曲,JVM仍對(duì)其執(zhí)行finalize方法