JVM垃圾回收器详解：新生代内存管理适用于单线程的复制回收算法

最新推荐文章于 2024-05-25 16:00:00 发布

程序员小英

最新推荐文章于 2024-05-25 16:00:00 发布

阅读量482

点赞数 13

文章标签： jvm 算法

本文链接：https://blog.csdn.net/2401_83384536/article/details/136650658

版权

适用于单线程的复制回收算法

在前面介绍了复制算法的思想，但并未涉及具体的实现。实现中通常要考虑更多的工作细节，比如该以什么样的顺序标记/复制对象？实现的性能如何？

Cheney在1970年提出的复制算法是最经典的算法，JVM中串行回收就是Cheney算法的变异实现（将新生代分为3个分区，且涉及对象晋升）。下面来演示一下串行回收中的复制算法。

假设初始状态如图3-12所示，对象都分配在Eden中，且因Mutator无法成功在Eden空间分配对象，触发了垃圾回收。为了演示简单，这里只画出了Eden和To空间，省略了From空间。

图3-12 堆空间初始状态

从根集合出发开始标记Eden空间中的活跃对象并将活跃对象复制到To空间中。这里假设只存在一个根，并且引用到对象A。根（Root）在Eden引用对象A，说明对象A活跃，将对象A复制到To空间的A'。A'和A有完全相同的数据，所以A'中的字段仍然指向Eden空间中的对象（A'和A相同的字段指向的对象也是完全相同的）。对象A被复制以后堆空间状态如图3-13所示，用虚线表示正在处理的对象。为了清晰地描述复制的过程，使用不同的颜色描述对象复制的状态，黑色表示对象已经处理完成，灰色表示对象正在处理，白色表示对象尚未被处理。

在To空间中有两个指针Scan和Free。其中Free表示To空间中后面的内存尚未使用，Scan表示To空间中标记/复制的对象位置。这两个指针用于模拟一个队列（queue），Scan指向队列头，Free指向队列尾。当A复制到To空间的A'后，To空间的Free指针随之增长，并且对象A'应该标记为灰色，表示待复制A'的成员变量。

图3-13 对象A复制以后的堆空间状态

当A被复制到To空间之后，需要把A'成员变量指向Eden空间中的活跃对象也复制到To空间中。在图3-13中，A'存在两个字段，分别指向B和D。A'中存在两个对象，在实现时应先处理哪一个对象？在JVM中使用一个oopmap来标记对象A'的内存布局，其中对象B和D在对象A'中的相对偏移位置都是固定的，假设A'中内存布局指向对象B的字段在前，指向对象D的字段在后。处理对象A'时，当从前向后处理字段时就会先处理对象B，当从后向前处理时就会先处理对象D（在JVM中存在两种顺序的处理方法）。通常是从前向后处理字段，这里也假设字段B先被处理。所以对象B将从Eden复制一份到To空间中，名字为B'，同时To空间中的Free指针也随之增长，B'也被标记为灰色。堆空间状态如图3-14所示。