深入理解java虚拟机--第三章读书笔记

判断对象已死的算法

1. 引用计数法

给对象添加一个引用计数器，该对象被引用时计数器数值＋1，引用失效时数值－1，计数器为零的对象可认为该对象不会被使用。

 

该算法不能解决对象相互引用带来的问题。

2，可达性分析算法

       GCroot的对象包括四种：

       虚拟机栈中引用的对象

       方法区中类静态属性引用的对象

       方法区中常量引用的对象

       本地方法栈中JNI引用的对象

 

       以GC ROOT作为起点，向下搜索，搜索过的路径称为引用链，当一个对象没有到GC ROOT 的引用链时，可认为该对象可被回收。

 

如果对象在进行可达性分析后发现没有与GC Roots相连接的引用链，那它将会被第一次标记并且进行一次筛选，筛选的条件是此对象是否有必要执行finalize() 方法。当对象没有覆盖finalize()方法，或者finalize()方法已经被虚拟机调用过，虚拟机将这两种情况都视为“没有必要执行”。

如果这个对象被判定为有必要执行finalize（）方法，那么这个对象将会放置在一个叫做F-Queue的队列之中，并在稍后由一个由虚拟机自动建立的、低优先级的Finalizer线程去执行它。这里所谓的“执行”是指虚拟机会触发这个方法，但并不承诺会等待它运行结束，这样做的原因是，如果一个对象在finalize()方法中执行缓慢，或者发生了死循环(更极端的情况)，将很可能会导致F-Queue队列中其他对象永久处于等待，甚至导致整个内存回收系统崩溃。finalize()方法是对象逃脱死亡命运的最后一次机会，稍后GC将对F-Queue中的对象进行第二次小规模的标记，如果对象要在finalize()中成功拯救自己一只 要重新与引用链上的任何-一个对象建立关联即可，譬如把自己(this关键字)赋值给某个类变量或者对象的成员变量，那在第二次标记时它将被移除出“即将回收”的集合;如果对象这时候还没有逃脱，那基本.上它就真的被回收了。

 

任何对象的finalize（）方法只会被系统调用一次，如果对象面临下一次回收，finalize（）方法就不会被调用，对象就会失去最后一次逃脱机会而死亡。

 

JDK1.2后java对引用的概念进行了扩充，引用分为强引用，软引用，弱引用和虚引用四种。

强引用就是指在程序代码之中普遍存在的，类似“Object obj = new Object()"这类引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象。~

软引用是用来描述一些还有用但并非必需的对象。对于软引用关联着的对象，.在系统将要发生内存溢出异常之前，将会把这些对象列进回收范围之中进行第二次回收。如果这次回收还没有足够的内存才会抛出内存溢出异常。在JDK 1.2之后，提供了SoftReference类来实现软引用。

弱引用也是用来描述非必需对象的，但是它的强度比软引用更弱一些，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。在JDK 1.2之后，提供了WeakReference类来实现弱引用。

虚引用也称为幽灵引用或者幻影引用，它是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。 为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。在JDK 1.2之后，提供了PhantomReferenee 类来实现虚引用。

 

 

垃圾收集算法

 

标记—清除算法

      最基础的收集算法是“标记-清除”(Mark -Sweep)算法，算法分为“标记”和“清除”两个阶段:首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象，。之所以说它是最基础的收集算法，是因为后续的收集算法都是基于这种思路并对其不足进行改进而得到的。它的主要不足有两个:一个是效率问题，标记和清除两个过程的效率都不高;另一个是空间问题，标记清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。
 

复制算法

 

为了解决效率问题，复制算法出现了，它将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉。这样使得每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。:只是这种算法的代价是将内存缩小为了原来的一半，未免太高了一点。

 

现在的商业虚拟机都是采用这种算法来回收新生代。

      复制收集算法在对象存活率较高时就要进行较多的复制操作，效率将会变低。更关键的是，如果不想浪费50%的空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象都100%存活的极端情况，所以在老年代一般不能直接选用这种算法。

      

标记—整理算法

 

根据老年代的特点，有人提出了另外一种“标记-整理”(Mark-Compact)算法，标记过程仍然与“标记-清除”算法-一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存。

 

分代收集算法

根据对象存活周期将内存分为几块，根据不同年代的特点选择合适的算法，当前商业虚拟机都采用分代收集算法。

算法具体图片可翻书。
 

 

HotSpot的算法实现

        GC进行时（枚举根节点）必须停止所有java执行线程（Sun称之为stop the world），避免了可达性分析进行时引用不断变化影响结果准确性。

由于目前的主流Java虚拟机使用的都是准确式GC(这个概念在第1章介绍ExactVM对Classic VM的改进时讲过)，所以当执行系统停顿下来后，并不需要一个不漏地检查完所有执行上下文和全局的引用位置，虚拟机应当是有办法直接得知哪些地方存放着对象引用。在HotSpot的实现中，是使用一组称为OopMap的数据结构来达到这个目的的，在类加载完成的时候，HotSpot 就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中，也会在特定的位置记录下栈和寄存器中哪些位置是引用。这样，GC在扫描时就可以直接获取这些信息。

 

安全点

Hotspot没有为每条指令都生成OopMap,只是在“特定的位置”记录了这些信息，这些位置称为安全点(Satepomt)。

程序执行时并非在所有地方都能停顿下来开始GC,只有在到达安全点时才能暂停。Safepoint的选定既不能太少让GC等待时间太长，也不能过于频繁以致干过分增大运行时的负荷。所以安全点的选定基本是以程序“是否具有让程序长时间执行的特征”为标准进行选定的。

因为每条指令执行的时间都非常短智，程序不太可能因为指令流长度太长这个原因而过长时间运行，“长时间执行”的最明显特征就是指令序列复用，例如方法调用、循环跳转、异常跳转等，所以具有这些功能的指令才会产生Saiepoint。        

对于Sefepoint，另一个需要考虑的问题是如何在GC发生时让所有线程(这里不包括执行JNI调用的线程)都“跑”到最近的安全点上再停顿下来。这里有两种方案可供选择:抢先式中断( Preemptive Suspension) 和主动式中断( Voluntary Suspension)。

抢先式中断不需要线程的执行代码主动去配合，在GC发生时，首先把所有线程全部中断，如果发现有线程中断的地方不在安全点上，就恢复线程，让它“跑”到安全点上。现在几乎没有虚拟机实现采用抢先式中断来暂停线程从而响应GC事件。                     主动式中断的思想是当GC需要中断线程的时候，不直接对线程操作，仅仅简单地设置一个标志，各个线程执行时主动去轮询这个标志（轮询标志的地方和安全点是重合的），发现中断标志为真时就自己中断挂起。

 

安全区域

线程处于Sleep状态或者Blocked状态，这时候线程无法响应JVM的中断请求，“走”到安全的地方去中断挂起，JVM也显然不太可能等待线程重新被分配CPU时间。对于这种情况，就需要安全区域(Safc Region)来解决。

安全区域是指在一段代码片段之中，引用关系不会发生变化。在这个区城中的任意地方开始GC都是安全的，我们也可以把Safe Region看做是被扩展了的Safepoint。在线程执行到Safe Region中的代码时，首先标识自己已经进入了Safe Region,那样，当在这段时间里JVM要发起GC时，就不用管标识自己为Safe Region状态的线程了。在线程要离开Safe Region时，它要检查系统是否已经完成了根节点枚举(或者是整个GC过程)，如果完成了，那线程就继续执行，否则它就必须等待直到收到可以安全离开Safe Region的信号为止。

 

垃圾收集器

       Serial收集器

       ParNew收集器

       Parallel Scanvenge收集器

       Serial Old收集器

       Parallel Old收集器

       CMS收集器

 

 

内存分配和回收策略

对象优先在新生代的Eden区上分配

大对象（需要连续内存空间的java对象）直接进入老年代

长期存活的对象将进入老年代