深入理解JVM3-自动内存管理

1、内存泄漏memory leak :是指程序在申请内存后，无法释放已申请的内存空间，一次内存泄漏似乎不会有大的影响，但内存泄漏堆积后的后果就是内存溢出。
2、内存溢出 out of memory :指程序申请内存时，没有足够的内存供申请者使用

java的线程是映射到操作系统的内核线程上的。

垃圾回收：

垃圾回收针对的区域：Java堆和方法区

• 程序计数器，虚拟机栈，本地方法栈 线程私有区域，方法结束或线程结束时内存就跟着回收，分配内存大小编译器可知。不需考虑垃圾回收
• Java堆和方法区只有在程序运行期间才知道分配多少内存，是动态的。垃圾回收与内存分配仅考虑此部分区域。

GC对堆进行回收之前判断哪些对象死去:

• python中使用引用计数算法进行内存管理：给对象添加一个引用计数器，任何时刻计数器为0的对象都是不再使用的对象。很难解决对象之间相互循环引用。
• Java，c#使用可达性分析算法（Reachability analysis)来判定对象是否存活：当一个对象到GC Roots没有任何引用链相连时，证明此对象不可用。
  • 当一个对象到GC Roots没有任何引用链相连时，至少要经历两次标记才会被回收。但任何一个对象的finalize()只会被系统自动调用一次。
    • 当一个对象到GC Roots没有任何引用链相连时，被第一次标记并进行一次筛选，此对象是否有必要进行finalize()方法。当对象没有重写finalize（）或者对象已经执行过finalize（）就不必执行finalize（）。
    • 当对象被判定有必要执行finalize()方法时，此对象被放置在F-Queue队列中，并在稍后由一个虚拟机自动建立的，低优先级的Finalizer线程去执行。在finalize()中，GC对对象进行第二次标记，若对象与GC Roots关联，被移除回收集合，否则回收。
  • Java中可作为GC Roots的对象：
    1. 虚拟机栈（栈帧中的本地变量表）中引用的对象
    2. 方法区中静态属性引用的对象
    3. 方法区中常量引用的对象
    4. 本地方法栈中引用的对象

方法区GC主要回收废弃常量和无用的类。

类回收条件：

1. 该类所有实例已经被回收，Java堆中不存在该类的任何实例
2. 加载该类的ClassLoader已经被回收
3. 该类对应的class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

引用：

• 强引用（strong reference）：GC永远不会回收被强引用的对象
• 软引用（soft reference）：内存溢出异常之前，将软引用关联的对象列入回收范围之内进行第二次回收，若回收后还没有足够的内存，才会抛出内存溢出异常。软引用可以和一个引用队列（ReferenceQueue）联合使用，如果软引用所引用的对象被垃圾回收器回收，Java虚拟机就会把这个软引用加入到与之关联的引用队列中。后续，我们可以调用ReferenceQueue的poll()方法来检查是否有它所关心的对象被回收。如果队列为空，将返回一个null,否则该方法返回队列中前面的一个Reference对象。
• 弱引用（weak reference）：GC工作时，无论内存是否足够，都会回收。弱引用可以和一个引用队列（ReferenceQueue）联合使用，如果弱引用所引用的对象被垃圾回收，Java虚拟机就会把这个弱引用加入到与之关联的引用队列中。
• 虚引用（phantom reference）：无法通过虚引用来获得对象实例，其余三种都可以，所以软引用和引用对象在GC时可能存在二次确认。虚引用必须和引用队列 （ReferenceQueue）联合使用。
• 应用场景：软引用和弱应用可用于内存敏感的缓存。虚引用可用来跟踪对象被垃圾回收器回收的活动，当一个虚引用关联的对象被垃圾收集器回收之前会收到一条系统通知。

垃圾收集算法：

1. 标记-清除算法：不足：1.标记和清除过程效率都不高 2.标记清除后产生大量不连续的内存碎片
2. 复制算法：解决效率问题。将内存划分为大小相等的两块，每次只使用一块。
3. 标记-整理算法：标记所有需回收对象，将所有存活对象向一端移动，直接清理掉端边界以外内存。
4. 分代收集算法：一般将Java堆根据对象存活时间分为新生代和老年代，在新生代选用复制算法，老年代选用标记清除算法或标记整理算法。

安全点：当GC需要中断线程时，设置一个中断标志，各个线程执行到安全点时，主动去轮询中断标志，标志为真时就自己中断挂起。

安全区域：当线程处于sleep或者blocked状态时。安全区域是指在一段代码片段之中，引用关系不会发生变化，在这个区域中的任意地方开始GC都是安全的。

垃圾收集器：

1.Serial收集器：新生代单线程收集器，采用复制算法，暂停所有用户线程

2.ParNew收集器：新生代采取复制算法，多条GC线程，暂停所有用户线程。在单CPU中，ParNew不比Serial收集器效果好，存在线程交互开销

3.Parallel Scavenge收集器：新生代，复制算法，并行的多线程收集器，VM参数：最大GC停顿时间（-XX：MaxGCPauseMillis)和吞吐量大小（-XX：GCTimeRatio).

• 收集器的目标不同在于：达到一个可控制的吞吐量，GC停顿时间缩短是以牺牲吞吐量和新生代空间换来的。
• 可以设置自适应调节参数，虚拟机根据当前系统的运行情况收集性能监控信息，动态调节新生代的大小（-Xmn),Eden和Survivor的比例，晋升老年代对象大小等参数以提供最合适的停顿时间或最大的吞吐量。

4.Serial Old收集器：老年代，单线程收集器，标记-整理算法，暂停所有用户线程

• 主要用于Client模式下的VM
• Server模式下，
  1.与Parallel Scavenge收集器搭配使用
  2.作为CMS收集器的后备预案，在并发收集发生Concurrent Mode Failure时使用。

5.Parallel Old收集器：老年代，多线程 标记-整理 算法，并行多条GC线程，暂停所有用户线程，与parallel Scavenge搭配使用在注重吞吐量和CPu资源敏感的场合。

6.Concurrent Mask Sweep(CMS)收集器：老年代，以获取最短回收停顿时间为目标，标记-清除算法，4个步骤：

1. 初始标记：单线程，STW，仅仅标记GC Roots能直接关联到的对象，速度很快
2. 并发标记：并发标记线程与其余用户线程一起工作，进行GC Roots Tracing
3. 重新标记：多线程，STW，修正并发标记阶段因用户程序继续运作而导致标记产生变动的的那一部分对象的标记记录。
4. 并发清除：并发清除线程与其余用户线程一起工作
   缺点：
   • 无法处理浮动垃圾，可能出现Concurrent Mode Failure。并发清理阶段用户线程产生的垃圾无法在当次收集中回收。需预留空间给用户线程，所以不能等到老年代几乎完全被填满之后再进行收集。
   • 标记-清除算法产生大量空间碎片。CMS收集器提供了一个参数-XX：+UseCMSCompactAtFUllCollection用于CMS收集器顶不住要进行FullGC时开启内存碎片的合并整理过程。内存合并无法并发。

.Parallel Scavenge不能与CMS配合使用.

7.G1收集器：面向服务端应用的垃圾收集器，基于标记-整理算法，单独一个收集器就可以收集新生代和老年代垃圾

优点：

• 并行与并发：缩短STW时间，并发的方式让Java程序继续执行
• 分代收集：将整个堆划分为多个大小相等的Region，新生代和老年代都是一部分Region（不需要物理连续）的集合
• 空间整合：标记-整理算法不会产生内存碎片
• 可预测的停顿：VM参数设置停顿时间，可预测的停顿时间模型，不对整个堆进行全区域的垃圾收集，G1根据各个Region中垃圾回收空间大小以及回收所需时间维护一个优先列表，优先回收价值最大的Region。
  Region面临的问题：一个Region中的对象可能被其他Region中对象引用，新生代老年代也存在该问题。
  G1中使用Remembered Set来避免全堆扫面，每个Region都有一个与之对应的Remembered Set，VM发现程序对引用类型的数据进行写操作时，会产生一个Write Barrier暂时中断写操作，检查引用类型的对象是否处于不同的Region中，如果是，便通过CardTable把相关引用信息记录到被引用对象所属Region的Remembered Set中。当进行内存回收时，在GC根节点的枚举范围中加入Remembered Set即可保证不对全堆扫描。
  步骤：

1. 初始标记：单线程，暂停所有用户线程，仅标记GC Roots能直接关联到的对象，并且修改next top at mask start 值，让下一阶段用户线程并发运行时，能在正确可用的Region中创建新对象
2. 并发标记：与用户线程并发运行，VM将并发标记阶段对象变化记录在线程Rmembered Set Logs中
3. 最终标记：把Rmembered Set Logs数据合并到Remembered Set中，并行执行，暂停用户线程
4. 筛选回收：首先对各个Region的回收空间和停顿时间进行排序，根据用户期望的GC停顿时间进行回收。可与用户线程并发执行。

永久代：

包含jvm用来描述应用程序中使用的类和方法的元数据。

永久代不是Java堆内存的一部分。永久代中的对象通过Full GC来进行垃圾回收。

方法区是永久代的一部分，用于存储类结构，运行时常量池（运行时的常量和静态变量）及class文件。

对象分配

1. 对象优先在Eden分配
2. 大对象直接进入老年代,如很长的字符串以及数组,-XX:PretenureSizeThreshold参数，超过该设置值的对象直接在老年代分配
3. 长期存活的对象将进入老年代，在Eden出生的对象并经过第一次Minor GC后仍然存活并且能被Survivor容纳的话，将被移到Survivor中，并且将对象年龄设为1，对象在Survivor中每熬过一次Minor GC，年龄就增加1.直到年龄达到设置的-XX：MaxTenuringThreshold，将晋升到老年代。
4. 动态对象年龄判断：如果在Survivor中相同年龄所有对象大小的总和大于Survivor空间的一般，年龄>=该年龄的对象直接进入老年代，无需达到阈值。
5. 空间分配担保：在Minor GC前，VM先检查老年代最大可用连续空间是否大于新生代所有对象总空间或者历次晋升到老年代对象的平均大小，若大于，尝试进行一次Minor GC，否则则进行一次Full GC.