JAVA中GC机制(3)——GC如何工作

经过前面对GC的一些基本介绍以及JAVA中数据存储位置的介绍，多少对GC有一些了解。那么现在具体了解一下GC究竟是如何工作的。我们首先会下意识地想到，GC要工作是针对那些存储在堆上的数据进行内存释放的。那么会涉及两个问题——如何发现？如何释放？

其实我们了解到，在堆上进行内存的释放代价是非常昂贵的，也就是GC工作的时候代价是很高的。但是在堆上分配内存却提高了创建对象的速度。

JAVA中对象分配对象和释放对象，不像C++，会由程序自己管理对象的销毁之后会将对象占用的空间加以利用。但是JVM中堆的实现截然不同：它更像是一个传送带，每分配一个新的对象，它就会向前移动一格。这意味着对象存储空间的分配速度是非常快的。但为了防止在频繁的页面调度，也就有了垃圾处理器的介入，它工作的时候，一面在回收空间，一面在使堆中的对象紧凑排列。这样“堆指针”就可以很容易的移动到更靠近传送带的开始处，也就尽量避免了页面错误。通过垃圾回收器对对象重新排列，实现了一种高效的、有无限空间可供分配的堆模型。

前面有说到“引用计数”，但其实这一种标记方法会存在一个问题——死锁。所以任何一种JVM都没有采用这种机制。

==================================================================

如何发现？

在JVM中如何发现一个“活”的对象：

因为对任何一个“活”的对象，都可以追溯到其存活在栈或静态存储区域之中的引用。这个引用链条可能会穿过数个对象层次。由此，如果从栈和静态存储区开始，遍历所有的引用，就可以找到所有 “活”的对象，也就是那些可以被realize的对象。对于发现的每个引用，必须追溯它所引用的对象，然后是此对象包含的所有引用，如此进行反复，直到 “根源于栈和静态存储区的引用”所形成的网络全部被访问到位置。那么如果这种机制没有被发现的对象，就是会被自动回收的对象。

==================================================================

如何清理？

JVM中使用的是“自适应”的垃圾回收技术——自适应的、分代的、停止—复制、标记—清扫。

停止-复制 (stop - copy)：

意味着，先暂停程序的运行（因此这不属于后台回收模式）。然后将所有的对象从当前堆中复制到另外一个堆中，没有复制的对象全部都是垃圾。那么复制到新堆中的对象全部都是紧挨着的，同时还需要修改相应的引用地址。

这种方法存在的问题：一，需要两个堆，并且要在两个堆中导入导出，维护比实际需要多一倍的空间。某些JVM对这种问题的处理是，按需从堆中分配几块较大的内存，复制动作发生在这些大块内存中。二，复制。由于可能程序比较稳定，没有多余的垃圾。但是仍然需要进行复制。有些JVM对这种问题的处理是，切换到下面要说的mark-sweep方式。

标记-清扫　(mark-sweep)  很慢，也不是后台处理方式

标记——从栈和静态存储区出发，遍历所有的引用，进而找出所有realize的对象。每当它找到一个存活对象，就会对这个对象进行标记。这个过程中不会释放任何的对象。当所有的标记对象都做完的时候，清理动作就开始。

清理——没有标记的对象被释放，不会发生任何的复制动作。所以剩下的堆是不连续的。垃圾回收器要是希望得到连续的空间的话，就得整理剩下的对象。

因此JVM采用的方式是：如果所有的对象都很稳定，GC的效率降低的话，就切换到mark-sweep方式，当发现堆中有很多的碎片的话，就切换到stop-copy方式。这就是自适应。