浅堆深堆解读

迷南。 2023-10-09 19:47 25阅读 0赞

#### 浅堆（Shallow Heap） ####

浅堆是指一个对象所消耗的内存。在32位系统中，一个对象引用会占据4个字节，一个int类型会占据4个字节，long型变量会占据8个字节，每个对象头需要占用8个字节。根据堆快照格式不同，对象的大小可能会同8字节进行对齐。

根据堆快照格式不同，对象的大小可能会向8字节进行对齐。以String对象为例，如下所示，显示了String对象的几个属性。

*  String
    
     *  value:char\[\]
     *  offset:int
     *  count:int
     *  hash:int

3个int值共占12字节，对象引用占用4字节，对象头8字节，合计24字节。浅堆的大小只与对象的结构有关，与对象的实际内容无关。也就是说，无论字符串的长度有多少，内容是什么，浅堆的大小始终是24字节。

### 保留集（Retained Set） ###

对象A的保留集指当对象A被垃圾回收后，可以被释放的所有的对象集合（包括对象A本身），即对象A的保留集可以被认为是只能通过对象A被直接或间接访问到的所有对象的集合。通俗地说，就是指仅被对象A所持有的对象的集合。

![c01182f54a7346fda6fc41dd447034ba.png][]

> 如上图A的保留集应为AC，B的保留集为DE

### 深堆（Retained Heap） ###

深堆是指对象的保留集中所有的对象的浅堆大小之和。

注意：浅堆指对象本身占用的内存，不包括其内部引用对象的大小。一个对象的深堆指只能通过该对象访问到的（直接或间接）所有对象的浅堆之和，即对象被回收后，可以释放的真实空间。

![c01182f54a7346fda6fc41dd447034ba.png][]

> A的深堆大小即为AC浅堆大小之和

### 对象的实际大小 ###

这里，对象的实际大小定义为一个对象所能触及的所有对象的浅堆大小之和，也就是通常意义上我们说的对象大小。与深堆相比，似乎这个在日常开发中更为直观和被人接受，但实际上，这个概念和垃圾回收无关。

![fb1b8eb471e2407c96a16c3e1472fee6.png][]

> 下图显示了一个简单的对象引用关系图，对象A引用了C和D，对象B引用了C和E。那么对象A的浅堆大小只是A本身，不含C和D，而A的实际大小为A、C、D三者之和。而A的深堆大小为A与D之和，由于对象C还可以通过对象B访问到，因此不在对象A的深堆范围内。

### 支配树（Dominator Tree） ###

支配树的概念源自图论。MAT提供了一个称为支配树（Dominator Tree）的对象图。支配树体现了对象实例间的支配关系。在对象引用图中，所有指向对象B的路径都经过对象A，则认为对象A支配对象B。如果对象A是离对象B最近的一个支配对象，则认为对象A为对象B的直接支配者。支配树是基于对象间的引用图所建立的，它有以下基本性质：

*  对象A的子树（所有被对象A支配的对象集合）表示对象A的保留集（retained set），即深堆。

*  如果对象A支配对象B，那么对象A的直接支配者也支配对象B。

*  支配树的边与对象引用图的边不直接对应。

如下图所示：左图表示对象引用图，右图表示左图所对应的支配树。对象A和B由根对象直接支配，由于在到对象C的路径中，可以经过A，也可以经过B，因此对象C的直接支配者也是根对象。对象F与对象D相互引用，因为到对象F的所有路径必然经过对象D，因此，对象D是对象F的直接支配者。而到对象D的所有路径中，必然经过对象C，即使是从对象F到对象D的引用，从根节点出发，也是经过对象C的，所以，对象D的直接支配者为对象C。同理，对象E支配对象G。到达对象H的可以通过对象D，也可以通过对象E，因此对象D和E都不能支配对象H，而经过对象C既可以到达D也可以到达E，因此对象C为对象H的直接支配者。

![1cc43673af6e473f9a20d072d1186a37.png][]

### 内存泄漏（memory leak） ###

可达性分析算法来判断对象是否是不再使用的对象，本质都是判断一个对象是否还被引用。那么对于这种情况下，由于代码的实现不同就会出现很多种内存泄漏问题（让JVM误以为此对象还在引用中，无法回收，造成内存泄漏）。

＞ 是否还被使用？是

＞ 是否还被需要？否

![92d395b64e7241ff97c4d52f50b7adea.png][]

严格来说，只有对象不会再被程序用到了，但是GC又不能回收他们的情况，才叫内存泄漏。但实际情况很多时候一些不太好的实践（或疏忽）会导致对象的生命周期变得很长甚至导致00M，也可以叫做宽泛意义上的“内存泄漏”。

如下图，当Y生命周期结束的时候，X依然引用着Y，这时候，垃圾回收期是不会回收对象Y的；如果对象X还引用着生命周期比较短的A、B、C，对象A又引用着对象 a、b、c，这样就可能造成大量无用的对象不能被回收，进而占据了内存资源，造成内存泄漏，直到内存溢出。

![2703935a9cc745d19c2709d6ebd7bb40.png][]

申请了内存用完了不释放，比如一共有1024M的内存，分配了512M的内存一直不回收，那么可以用的内存只有512M了，仿佛泄露掉了一部分。

#### 内存溢出（out of memory） ####

申请内存时，没有足够的内存可以使用；通俗一点儿讲，一个厕所就三个坑，有两个站着茅坑不走的（内存泄漏），剩下最后一个坑，厕所表示接待压力很大，这时候一下子来了两个人，坑位（内存）就不够了，内存泄漏变成内存溢出了。可见，内存泄漏和内存溢出的关系：内存泄漏的增多，最终会导致内存溢出。

[c01182f54a7346fda6fc41dd447034ba.png]: https://img-blog.csdnimg.cn/c01182f54a7346fda6fc41dd447034ba.png
[fb1b8eb471e2407c96a16c3e1472fee6.png]: https://img-blog.csdnimg.cn/fb1b8eb471e2407c96a16c3e1472fee6.png
[1cc43673af6e473f9a20d072d1186a37.png]: https://img-blog.csdnimg.cn/1cc43673af6e473f9a20d072d1186a37.png
[92d395b64e7241ff97c4d52f50b7adea.png]: https://img-blog.csdnimg.cn/92d395b64e7241ff97c4d52f50b7adea.png
[2703935a9cc745d19c2709d6ebd7bb40.png]: https://img-blog.csdnimg.cn/2703935a9cc745d19c2709d6ebd7bb40.png