JVM对象与垃圾回收

对象怎么来的

• 对象创建的流程步骤包括哪些：

  • 虚拟机遇到一条new指令时，首先检查这个对应的类能否在常量池中定位到一个类的符号引用（定位到说明已经存在）

  • 判断这个类是否已被加载、解析和初始化（）

  • 为这个新生对象在Java堆中分配内存空间，其中Java堆分配内存空间的方式主要有以下两种

    • 指针碰撞

      • 分配内存空间包括开辟一块内存和移动指针两个步骤
      • 非原子步骤可能出现并发问题，Java虚拟机采用CAS配上失败重试的方式保证更新操作的原子性

• • • 空闲列表

      • 分配内存空间包括开辟一块内存和修改空闲列表两个步骤
      • 非原子步骤可能出现并发问题，Java虚拟机采用CAS配上失败重试的方式保证更新操作的原子性

空闲的内存不是和指针碰撞中的一样，这里是不规则的，不是能够通过移动指针来分配内存，维护一个空闲列表，（剩余内存比较乱，不规则，不能通过移动指针实现内存的分配）

CAS乐观锁的方式实现线程的安全

• • 将分配到的内存空间都初始化为零值

  • 设置对象头相关数据

    • GC分代年龄
    • 对象的哈希码 hashCode
    • 元数据信息

  • 执行对象方法

     

• 代码分析对象执行的过程

• ---

new这么多对象，你知道它们的结构吗？

• 对象头用于存储对象的元数据信息：

  • Mark Word 部分数据的长度在32位和64位虚拟机（未开启压缩指针）中分别为32bit和64bit，存储对象自身的运行时数据如哈希值等。Mark Word一般被设计为非固定的数据结构，以便存储更多的数据信息和复用自己的存储空间。
  • 类型指针 指向它的类元数据的指针，用于判断对象属于哪个类的实例（指向方法区）。

• 实例数据存储的是真正有效数据，如各种字段内容，各字段的分配策略为longs/doubles、ints、shorts/chars、bytes/boolean、oops(ordinary object pointers)，相同宽度的字段总是被分配到一起，便于之后取数据。父类定义的变量会出现在子类定义的变量的前面。（真正的数据）

• 对齐填充部分仅仅起到占位符的作用

---

 对象访问定位方式

• 当我们在堆上创建一个对象实例后，就要通过虚拟机栈中的reference类型数据来操作堆上的对象。现在主流的访问方式有两种（HotSpot虚拟机采用的是第二种）：

  1. 使用句柄访问对象。即reference中存储的是对象句柄的地址，而句柄中包含了对象实例数据与类型数据的具体地址信息，相当于二级指针。
  2. 直接指针访问对象。即reference中存储的就是对象地址，相当于一级指针。

• 对比

  • 垃圾回收分析：方式1️当垃圾回收移动对象时，reference中存储的地址是稳定的地址，不需要修改，仅需要修改对象句柄的地址（只需要更新句柄池中的数据）；方式2️垃圾回收时需要修改reference中存储的地址（查看实例数据是否存在等）。

• 访问效率分析，方式二优于方式一，因为方式二只进行了一次指针定位，节省了时间开销，而这也是HotSpot采用的实现方式。

---

GC垃圾回收

 

• 战略意义 能做出一个需求的同时也要懂得其对应的战略意义

• 为什么要垃圾回收？

  • Java语言中一个显著的特点就是引入了垃圾回收机制，使c++程序员最头疼的内存管理的问题迎刃而解。由于有个垃圾回收机制，Java中的对象不再有“作用域”的概念，只有对象的引用才有“作用域”。垃圾回收可以有效的防止内存泄露，有效的使用空闲的内存

• 垃圾回收的过程是怎样的？

• 如果让你考虑垃圾回收算法你会怎么设计

  • 完成哪些对象回收哪些对象不回收的功能需求

• 对象是否存活判断

  • 堆中每个对象实例都有一个引用计数。当一个对象被创建时，且将该对象实例分配给一个变量，该变量计数设置为1。当任何其它变量被赋值为这个对象的引用时，计数加1（a = b,则b引用的对象实例的计数器+1），但当一个对象实例的某个引用超过了生命周期或者被设置为一个新值时，对象实例的引用计数器减1。任何引用计数器为0的对象实例可以被当作垃圾收集。当一个对象实例被垃圾收集时，它引用的任何对象实例的引用计数器减1

引用计数法

---

 

• 引用计数法存在的特点分析

• 优缺点

  • 引用计数收集器可以很快的执行，交织在程序运行中。对程序需要不被长时间打断的实时环境比较有利。（堆不用计算）
  • 无法检测出循环引用。如父对象有一个对子对象的引用，子对象反过来引用父对象。这样，他们的引用计数永远不可能为0.

• 代码分析JVM是否用引用计数法

• run configurations—vm options—加配置项（就能打印GC日志的详情）

-verbose:gc  -XX:+PrintGCDetails

---

可达性分析

• 可达性分析算法的概念(又叫跟搜索法)

  • 根搜索算法是从离散数学中的图论引入的，程序把所有的引用关系看作一张图，从一个节点GC ROOT开始，寻找对应的引用节点，找到这个节点以后，继续寻找这个节点的引用节点，当所有的引用节点寻找完毕之后，剩余的节点则被认为是没有被引用到的节点，即无用的节点

• java中可作为GC Root的对象有

  • 虚拟机栈中引用的对象（本地变量表）

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

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

  • 方法区中常量引用的对象

 

---

常见算法

 

标记清除算法

• 大厂的标准就是原理

• 最基础的收集算法是“标记-清除”（Mark-Sweep）算法，如同它的名字一样，算法分为“标记”和“清除”两个阶段：

  • 首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象，它的标记过程其实在前- -节讲述对象标记判定时已经介绍过了。

  • 它的主要不足有两个：

    • 一个是效率问题，标记和清除两个过程的效率都不高；
    • 另一个是空间问题，标记清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作

标记复制算法

• 为甚么出现复制算法？

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

• 现在的商业虚拟机都采用这种收集算法来回收新生代，研究表明，新生代中的对象 98%是“朝生夕死”的，所以并不需要按照 1:1 的比例来划分内存空间，而是将内存分为一块较大的 Eden 空间和两块较小的 Survivor 空间，每次使用 Eden 和其中一块 Survivor。 Survivor from 和Survivor to ，内存比例 8：1：1

• 当回收时，将 Eden 和 Survivor 中还存活着的对象一次性地复制到另外一块 Survivor 空间上，最后清理掉 Eden 和刚才用过的 Survivor 空间。HotSpot 虚拟机默认 Eden 和 Survivor 的大小比例是 8:1, 也就是每次新生代中可用内存空间为整个新生代容量的 90% (80%+10%），只有 10% 的内存会被“浪费”。当然，98%的对象可回收只是一般场景下的数据，我们没有办法保证每次回收都只有不多于 10%的对象存活，当 Survivor 空间不够用时，需要依赖其他内存（这里指老年代）进行分配担保（Handle Promotion）。

标记整理算法以及分代收集算法

• 标记整理算法解决了什么问题

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

• 标记-整理

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

• 分代收集

  • 一般把 Java 堆分为新生代和老年代，这样就可以根据各个年代的特点采用最适当的收集算法
  • 在新生代中，每次垃圾收集时都发现有大批对象死去，只有少量存活，那就选用复制算法，只需要付出少量存活对象的复制成本就可以完成收集。而老年代中因为对象存活率高、没有额外空间对它进行分配担保，就必须使用“标记-清理”或者“标记一整理”算法来进行回收