JVM垃圾回收詳解

来源:https://www.cnblogs.com/starry-skys/archive/2020/02/16/12318963.html
-Advertisement-
Play Games

通常,我們在寫java程式的時候,似乎很少關註記憶體分配和垃圾回收的問題。因為,這部分工作,JVM已經幫我們自動實現了。 這樣看起來,好像很美好,但是任何事情都有兩面性。雖然JVM會自動的進行垃圾回收,但是,如果遇到有些問題,JVM自己也處理不了呢? 因此,我們需要瞭解一下JVM垃圾回收是怎樣運作的, ...


通常,我們在寫java程式的時候,似乎很少關註記憶體分配和垃圾回收的問題。因為,這部分工作,JVM已經幫我們自動實現了。

這樣看起來,好像很美好,但是任何事情都有兩面性。雖然JVM會自動的進行垃圾回收,但是,如果遇到有些問題,JVM自己也處理不了呢?

因此,我們需要瞭解一下JVM垃圾回收是怎樣運作的,這樣才能在遇到問題的時候,有的放矢。所以,今天就來聊一聊JVM的垃圾回收吧。

首先,思考一下,為什麼需要進行垃圾回收?

我們知道,在創建對象的時候,Java會把對象的內容放到堆中。隨著時間的推移,堆中的對象肯定會越來越多,但是,堆的大小是有限制的。如果,我們不進行垃圾回收,也就是把無用的對象進行清除和回收,那麼JVM將不堪重負,最終導致記憶體泄漏。

既然我們需要進行垃圾回收,那麼,首先得知道什麼是垃圾。

在垃圾收集器對堆記憶體進行回收前,會先判斷哪些對象還在“存活”,哪些對象已經“死去”(即不可能再被任何途徑使用的對象),這些“死去”的對象,就是我們需要進行回收的垃圾。

那麼,通過什麼方式去判定是否為垃圾呢?(即判定對象是否存活)

引用計數演算法(已淘汰)

引用計數演算法,是指給對象中添加一個引用計數器,每當有一個地方引用它時,計數器的值就加1,當引用失效時,計數器的值就減1。當計數器值為0時,該對象就會被回收。

可以說,引用計數演算法的實現非常簡單,判定效率也很高。但是,我們忽略了一個問題,在Java中,對象之間是可以互相迴圈引用的。如果,兩個對象之間互相迴圈引用,那麼就會導致,它們之間的引用計數都不為0(都在等待對方釋放資源),因此,就無法通知垃圾收集器回收它們。

可達性分析演算法

這個演算法的思想就是,通過一系列被稱為“GC Roots”的對象作為起點,然後向下搜索,所走過的路徑被稱為引用鏈。當一個對象到 GC Roots之間沒有任何引用鏈時(即從GC Roots到該對象不可達),則證明該對象是不可用的。

這個演算法解決了迴圈引用的問題,只要對象無法與GC Root之間建立直接或間接的連接,就會判定為可回收對象。

那麼,什麼對象可以作為GC Root呢?一般分為以下四種:

  1. 虛擬機棧(棧幀中的本地變數表)中引用的對象。
  2. 方法區中類靜態屬性引用的對象。
  3. 方法區中常量引用的對象。
  4. 本地方法棧中引用的對象。

既然已經確定了哪些垃圾可以被回收,那麼就需要垃圾收集器進行垃圾回收了,我們來瞭解一下幾種比較常見的的垃圾收集演算法。

標記清除演算法

file

是最基礎的一種收集演算法,分為標記和清除兩個階段。首先,把需要回收的對象標記出來,然後再把他們清除掉。如上圖所示,所有可回收的對象會變成未使用的一片區域。

標記清除演算法邏輯清晰,易於操作。但是,我們可以看到,未使用的記憶體區塊都不是連續的,因此,此演算法會產生很多的記憶體碎片。這樣,當一些較大的對象需要分配空間的時候,就找不到足夠的連續記憶體來存儲,因此會提前觸發GC,同時也浪費了很多的記憶體空間(記憶體空間太小,導致不可用)。

複製演算法

file

複製演算法,是指把記憶體區域劃分為大小相等的兩塊區域。每次只使用其中的一塊,當這一塊記憶體用完了,就把所有存活的對象複製到另一塊上面,最後再把已使用過的記憶體空間一次清理掉。

這樣,就可以保證記憶體區域的連續性,不會產生記憶體碎片,實現簡單,運行高效。但是,這樣的話只有使用原來一半的記憶體,代價也太高了。

標記整理演算法

file

標記整理演算法,標記過程和標記清除演算法一樣,但是後續不是進行清除,而是先整理,讓所有存活的對象都向一端移動,然後再清除另一端的記憶體區域。

標記整理演算法解決了標記清除演算法產生記憶體碎片的問題,同時也解決了複製演算法只能利用一半記憶體的問題,看似是非常的完美。但是,它卻產生了另外一個問題。可以看到圖中,記憶體的變動非常頻繁,每次整理都有很多存活的對象記憶體地址發生改變。因此,它的效率會慢很多。

所以,現在一般用分代收集演算法。在Java堆中,分為新生代和老年代,可以根據各個代的特點,選擇最合適的收集演算法。新生代中,每次垃圾收集都有大批對象死去,只有少量對象存活,就可以選擇複製演算法,只需要付出少量存活對象的複製成本即可。而老年代中,對象存活率高,沒有額外空間對它進行分配擔保,因此使用標記清除或者標記整理演算法。

堆記憶體模型

Java堆是記憶體管理中最大的一塊區域,也是垃圾回收的重點區域。堆分為新生代、老年代和永久代,新生代又分為Eden區和Survivor區,Survivor又分為S0和S1區。在JDK1.8之後把永久代移除了,而用元空間代替。(永久代使用的是堆記憶體,而元空間直接使用本機物理記憶體)

file

新生代中的對象98%都是朝生夕死的,因此把新生代分為較大的一塊Eden空間和兩塊較小的Survivor空間,每次使用Eden和其中的一塊Survivor(此處Survivor區也叫From區,另一塊空的未使用的空間叫To區,From和To區是會交換的,保證空的總是To區)。

當Eden區沒有足夠的空間分配時,會進行一次Minor GC,Eden區大部分對象都被回收,而Eden區和From區存活的對象會放入到To區,然後From和To區進行交換。(如果To區空間不夠,直接進入老年代)

以下幾種情況會進入老年代。

1) 大對象

大對象就是指需要大量連續記憶體空間的對象,最典型的就是那種很長的字元串和數組。大對象會直接進入到老年代,這樣做的目的主要是為了避免新生代發生大量的記憶體複製(大對象的複製成本較高)。

2)長期存活的對象

虛擬機給每個對象都定義了一個對象年齡計數器。每當進行一次Minor GC,年齡就增加1歲,當年齡超過一定值時(預設是15,可以通過參數配置),就進入到老年代。

3)動態對象年齡判斷

虛擬機並不要求對象年齡一定要到達15歲才進入到老年代。如果Survivor空間中有某年齡相同的所有對象大小總和大於Survivor空間的一半,則年齡大於等於該年齡的對象就會直接進入老年代。

空間分配擔保

在發生Minor GC之前,虛擬機會檢查老年代最大可用的連續空間是否大於新生代所有對象總空間,如果大於,那麼Minor GC可以確保是安全的(因為,極端情況下,就算新生代所有對象都存活,也可以保證安全晉升到老年代)。否則,虛擬機會查看HandlePromotionFailure的值是否允許擔保失敗。如果允許,那麼會繼續檢查老年代最大可用的連續空間是否大於歷次晉升到老年代對象的平均大小。如果大於,將嘗試進行一次Minor GC(儘管有風險);如果小於或者HandlePromotionFailure設置不允許冒險,那麼就先進行一次Full GC。

以上說的有風險,是因為取歷次晉升到老年代對象的平均值這種方式只是經驗值,並不能保證每次都能擔保成功,如果擔保成功還好,如果擔保失敗的話,依然需要進行Full GC。

儘管如此,我們最好還是打開HandlePromotionFailure開關,避免過多頻繁的Full GC(因為Full GC的執行速度比Minor GC慢的多)。


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

-Advertisement-
Play Games
更多相關文章
  • 開發環境: Windows操作系統開發工具: MyEclipse/Eclipse+Jdk+mysql資料庫運行效果圖: 源碼及原文鏈接:https://javadao.xyz/forum.php?mod=viewthread&tid=36 ...
  • 資料庫設置 在上一章節中學習瞭如何創建Django項目,在Django項目中創建web應用,以及如何在Django主程式的URL中引用web應用中的URL。下麵來瞭解如何在Django中使用資料庫。Django中想要使用資料庫, 首先要瞭解mysite/mysite/settings.py中關於數據 ...
  • 需求 maven依賴 列印sql 配置要點: 1. 驅動配置 application.properties 2. psy配置 aop列印持久層執行時間 使用aop實現; 啟用aop註解: 小結 來個效果截圖: 通過本片文章,你可以學會: 1. 給代碼添加aop切麵,增加日誌或者列印出方法執行總耗時; ...
  • 一、問題剖析 看到這個問題,我想吹水兩句再做推薦。一般發出這個疑問都處在初學編程階段,編程語言都是相通的,只要你領悟了一門語言的“任督二脈”,以後你學哪一門語言都會輕易上手。學語言嘛,當你工作一兩年了,你還真會覺得像當初老師說的那樣,語言只是工具罷了。工作期間,可能要你接觸到其它語言,而且要你能快速 ...
  • 生產者是如何生產消息 如何創建生產者 發送消息到Kafka 生產者配置 分區 ...
  • GUI編程 組建 視窗 彈窗 面板 文本框 列表框 按鈕 圖片 監聽事件 滑鼠 鍵盤事件 破解工具 1、簡介 GUI的核心技術:Swing AWT 為什麼不流行? 界面不美觀。 需要jre環境。(沒必要為一個5M的小游戲下載幾百M的jre) 但是學了java的GUI編程,有助於瞭解MVC架構,瞭解監 ...
  • 字元和字元串是最常用的信息 1:char表示字元 字元常量-兩個單引號中間的字元表示字元常量'A' 2:字元串和String 字元串常量-雙引號中間的字元序列"Java" 字元串常量是String型的實例的引用。String s="ABC"與String s=new String("ABC"); 3 ...
  • javaSE學習筆記(16) 網路編程 基本概念 如今,電腦已經成為人們學習、工作、生活必不可少的工具。我們利用電腦可以和親朋好友網上聊天,也可以玩網游、發郵件等等,這些功能實現都離不開電腦網路。電腦網路實現了不同電腦之間的通信,這必須依靠編寫網路程式來實現。下麵,我們將教大家如何編寫網路 ...
一周排行
    -Advertisement-
    Play Games
  • Dapr Outbox 是1.12中的功能。 本文只介紹Dapr Outbox 執行流程,Dapr Outbox基本用法請閱讀官方文檔 。本文中appID=order-processor,topic=orders 本文前提知識:熟悉Dapr狀態管理、Dapr發佈訂閱和Outbox 模式。 Outbo ...
  • 引言 在前幾章我們深度講解了單元測試和集成測試的基礎知識,這一章我們來講解一下代碼覆蓋率,代碼覆蓋率是單元測試運行的度量值,覆蓋率通常以百分比表示,用於衡量代碼被測試覆蓋的程度,幫助開發人員評估測試用例的質量和代碼的健壯性。常見的覆蓋率包括語句覆蓋率(Line Coverage)、分支覆蓋率(Bra ...
  • 前言 本文介紹瞭如何使用S7.NET庫實現對西門子PLC DB塊數據的讀寫,記錄了使用電腦模擬,模擬PLC,自至完成測試的詳細流程,並重點介紹了在這個過程中的易錯點,供參考。 用到的軟體: 1.Windows環境下鏈路層網路訪問的行業標準工具(WinPcap_4_1_3.exe)下載鏈接:http ...
  • 從依賴倒置原則(Dependency Inversion Principle, DIP)到控制反轉(Inversion of Control, IoC)再到依賴註入(Dependency Injection, DI)的演進過程,我們可以理解為一種逐步抽象和解耦的設計思想。這種思想在C#等面向對象的編 ...
  • 關於Python中的私有屬性和私有方法 Python對於類的成員沒有嚴格的訪問控制限制,這與其他面相對對象語言有區別。關於私有屬性和私有方法,有如下要點: 1、通常我們約定,兩個下劃線開頭的屬性是私有的(private)。其他為公共的(public); 2、類內部可以訪問私有屬性(方法); 3、類外 ...
  • C++ 訪問說明符 訪問說明符是 C++ 中控制類成員(屬性和方法)可訪問性的關鍵字。它們用於封裝類數據並保護其免受意外修改或濫用。 三種訪問說明符: public:允許從類外部的任何地方訪問成員。 private:僅允許在類內部訪問成員。 protected:允許在類內部及其派生類中訪問成員。 示 ...
  • 寫這個隨筆說一下C++的static_cast和dynamic_cast用在子類與父類的指針轉換時的一些事宜。首先,【static_cast,dynamic_cast】【父類指針,子類指針】,兩兩一組,共有4種組合:用 static_cast 父類轉子類、用 static_cast 子類轉父類、使用 ...
  • /******************************************************************************************************** * * * 設計雙向鏈表的介面 * * * * Copyright (c) 2023-2 ...
  • 相信接觸過spring做開發的小伙伴們一定使用過@ComponentScan註解 @ComponentScan("com.wangm.lifecycle") public class AppConfig { } @ComponentScan指定basePackage,將包下的類按照一定規則註冊成Be ...
  • 操作系統 :CentOS 7.6_x64 opensips版本: 2.4.9 python版本:2.7.5 python作為腳本語言,使用起來很方便,查了下opensips的文檔,支持使用python腳本寫邏輯代碼。今天整理下CentOS7環境下opensips2.4.9的python模塊筆記及使用 ...