在回答为什么老年代垃圾回收比年轻代垃圾回收慢的时候,答案里面写到“因为新生代标记存活对象很快,因为新生代存活对象很少;而老年代存活对象很多,在并发标记阶段追踪对象时间成本大”。
但是,在标记存活对象的时候,不是要遍历所有的对象吗,来判断它们是否从根源上被GC roots引用吗,这样的话,它们都是O(n)的时间复杂度,应该时间成本差不多。
还有一个问题,这俩个回收机制都是标记存活对象吗,像上面说的,标记对象,无论垃圾还是存活对象都要遍历全部对象,因此标记存活对象和标记垃圾对象有什么意义呢?这两个应该是等价的。
第一:老年代垃圾回收比年轻代垃圾回收慢,是因为老年代的垃圾回收器要处理的对象比较多,而年轻代的垃圾回收器处理的对象比较少。
第二:这两个回收机制都是标记存活对象,但是它们的标记方式是不同的。老年代垃圾回收器采用的是标记-清除算法,先标记出所有可能存活的对象,然后清除没有标记的对象;而年轻代垃圾回收器采用的是复制算法,标记出可能存活的对象,然后将存活的对象复制到另一块内存空间,最后清除源内存空间。
第三:由于老年代垃圾回收器要处理的对象比较多,因此标记的过程和清除的过程都要比年轻代的垃圾回收器慢。
标记存活对象和标记垃圾对象并不完全等价,因为标记存活对象是标记垃圾对象的一部分。但是,在标记存活对象和标记垃圾对象的核心过程是相同的,都是对对象的引用关系进行分析,以确定哪些对象是存活的,哪些对象是垃圾。
因此,尽管标记存活对象和标记垃圾对象在实现上是不同的,但是其实现原理是相同的。标记存活对象的过程是从GC roots出发,遍历所有的对象,确定它们是否从根源上被引用,并最终标记出哪些对象是存活的;标记垃圾对象的过程是从所有对象出发,遍历它们的引用关系,确定它们是否从根源上被引用,并最终标记出哪些对象是垃圾的。
因此,在实际实现上,新生代回收器可以快速标记存活对象,因为新生代存活对象数量少,因此并发标记阶段追踪对象的时间成本较小;而老年代回收器由于存活对象数量多,因此并发标记阶段追踪对象的时间成本较大。