Java VS C/C++
- Java 有 GC 自动处理垃圾，所以开发效率高，但执行效率低
- C++ 需要手工处理垃圾，但这样造成开发上的不便，忘记回收就会造成内在泄漏，回收多次会造成非法访问，因为开发效率差，但执行效率高
如何找到垃圾
一般有两种算法：
- 引用记数法（Reference Count，RC）
- 根可达算法（Root Searching，RS）
引用记数法：一个变量被引用多少次，有一个记数，这就是引用记数法。但它不能解决循环引用的问题。
Python 用的引用计数
根可达算法：从根对象开始搜。
根对象，总得来说，在程序运行的时候马上用到的对象，就是根对象：
- 线程栈变量。一个 main 函数运行起来就会起一个线程，线程中会有线程栈，线程栈中会有栈针，从栈针开始的对象，就是根对象。
- 静态变量。Class Load 时马上就初始化静态变量，所以它也是根对象。
- 常量池。就是一些字面量，程序会有一块内存空间存储这些字面量。
- JNI 指针（Java Native Interface）。native 是与C++联合开发的时候用的关键字，指明这个方法是原生函数，也就是这个方法是用C/C++语言实现的，并且被编译成了DLL，由java去调用的。它也是概对象。
根可达算法
GC 三种方法
- Mark-Sweep（标记清除）。
- Copying（拷贝）。Copy 到另一块空间，两块空间互相转换，移动后清理另一块，所以清理很快。
- Mark-Compact（标记压缩）。一边寻找还要一边压缩，所以效率差些。
GC 过程及方法
分代模型
分代模型
image.png
G1 及之前都是分代模型（参考下面的常见的垃圾回收器）
G1 是逻辑分代，物理不分代
G1 之前都是逻辑分代物理也分代
专业名词
- 新生代的 GC 叫：MinorGC 或 YGC（Young GC），是在年轻代空间耗尽时触发
- 老年代/整个的 GC 叫：MajorGC 或 FullGC，是在老年代空间耗尽时同时触发 FullGC 和 YGC
变量的分配
- 栈上分配。比如一些线程私有的小对象、代码块内的对象等。（无需调整）
- 线程本地分配（TLAB，Thread Local Allocation Buffer）。占用 Eden （伊甸区），默认 1%。（无需调整）
- 老年代。大对象。
TLAB 是这样的，如果无 TLAB 那每一个线程都需要在 Eden 区分配一部分空间，会发生争抢，所以规定每个线程在 Eden 区占有 1% 的自有空间，当占满了后再去占有其他空间。提高了效率。
何时进入老年代
- 按年龄：年龄可以设置，Java 中对象头标记 GC 代数的是 4 位，所以最大设置为 15 次就进入老年代。
- 动态年龄：从 S1 拷贝到 S2 时超过 S2 的 50%，就将年龄最大的放入老年代（此时不管年龄是多大，将最大的移动）。
总结一下
- 变量先进栈，栈上处理最快，用完 pop 掉。
- 大变量直接进入老年区。老年区触发 FullGC 才会清除。
- 变量不大的话进入伊甸区。伊甸区进行 YGC 可能清除。
- 伊甸区的多次未清除的话（达到年龄）进入老年区。进行 FullGC 清除。
还有一种情况是 分配担保，是指在 YGC 期间，survivor 区空间不够用了，一些变量直接进入老年代。
变量生命周期
常见的垃圾回收器
image.png
术语：
- STW，Stop-The-World，是指在垃圾回收时，让所有的线程停止运行。
- Safe Point，是指线程停止的那个安全点。比如在上锁期间，就不是一个安全点，它会等到到安全点时停止线程。
上图解释
- 左侧分上下的，上方是 YGC 的几种方式，下方是老年代 GC 的几种方式。
- Serial 是指单线程去清理垃圾
- Par... 是指多线程并发去清理垃圾
- PS + PO 是 JVM 中的默认组合
- 目前还没有不 STW 的垃圾回收器
scavenge：清除污物，打扫。
CMS
CMS（Concurrent Mark Sweep） 是里程碑式的，因为在这之前清理垃圾时都是需要 STW 的，从这里开始，可以在清理工作时不进行 STW。
CMS 的流程有四步：
- 初始标记。花的时间很短，很快。
- 并发标记。这个阶段是最花时间的（其他 GC 中亦然），CMS 实现了并发标记。
- 重新标记。花的时间也很短，因为大部分都标记了。
- 并发清理。这个时间产生的垃圾叫 浮动垃圾，会进入下一轮清理。
可以套一下上面 根可达算法 的图例，就清楚流程了。
CMS
图中一根黄线表示单线程，多根黄线表示多线程并发。
CMS 几乎未被广泛使用，虽然它是里程碑式的，但它的原因很大。
优：有并发标记的过程，所以不妨碍主程序的运行。
劣：
- 是 Mark-Sweep 模型，所以会有很多 碎片。内存很大时就无法清理了。
碎片很多会报 “Concurrent Mode Failure” 或 “PromotionFailed” 的错误。
问，一个网站，服务器 32 位，1.5G 的堆，用户反馈网站缓慢，公司决定升级，新服务器是 64 位，16G 内存，结果用户反馈十分卡顿，反不如初。为何？
答：因为内存变大了，大成天安门广场，GC 清理不过来了。
课后话：
- Serial 支持几十兆的内存
- PS 在上百兆
- CMS 在 20G
- G1 在上百G
- ZGC 在 4T
G1、 ZGC 他们的区别主要在 并发标记（Concurrent Mark）阶段的算法不同
- CMS 用的三色标记 + Incremental Update
- G1 用的三色标记 + SATB（Snapshot At The Beginning）
- ZGC 用的颜色指针（Corlored Pointers）
三色标记：黑、灰、白，白色回收。
网友评论