HotSpot JVM基本原理(二)

最近学习了JVM的相关知识，主要是关于HosSpot的，这里大致整理一下。

上次总结了一下JVM的结构和大致算法(地址：http://xlows.blog.51cto.com/5380484/1541823 )

这次接着总结

(1)根元素

由上图可以发现，根元素包括很多：

1.类：被系统加载器加载的类，这些类存放在永久代，不能被垃圾回收器回收，至少jdk6和jdk7回收，但可以被类卸载器卸载;

2.线程：正在执行的线程对象;

3.局部变量中的栈当中的对象;

4.与java本地调用相关的局部和全局对象;

5.管程对象

6.java虚拟机进行垃圾回收阶段时垃圾回收器对象

(2)标记过程

标记过程采用的算法为DFS三色标记算法。

这里大致介绍一下三色标记法：如果节点当中有3个颜色，白色，灰色和黑色，白色代表这个节点从来没有被处理过，灰色代表正在被处理，黑色代表已经被处理。对应标记就是白色代表这个节点还没被标记，灰色代表正在被标记还没标记完，黑色代表已经标记完而且确确实实不能被回收。

下面举个例子：

图代表对象之间的引用关系，假设把1当做根对象，首先把1标记成灰色。

1引用的对象是4，下一步就是把4标记成灰色。

现在有一个问题，4和1,2，5相连，那怎么选择呢？到底选择1,2,还是5呢？很简单，1已经被标记，所以不会选择，而4会在2和5之间随便选一个，2也可以，5也可以。那么现在假设4选择了2，把2标记成灰色。

2和4,5相关联，但4已经被标记，所以只能选择5。

同理5会选择3。

此时3没有与任何节点相连，所以下一步会把3标记成黑色代表3已经处理完成。

而后退出到5，此时可以发现5和3,2,4有关联，代表可以通过5来标记3，也可以通过5来标记2或者4。但现在5和3这条线路已经被处理，5和2正在被处理(红线代表正在被处理)，但5和4还有一个标记，此时5会发现4也正在被处理，所以会退回来把，此时才会把5标记成黑色。

下一步就是处理2。

2和5、4相连，5已经被粗粒，他只能处理4，在处理4之前会把2标记成黑色，2在标记4，4可以和2,5,1关联，2和5已经被处理，此时4会去探测一下，然后把4和5这条路径给断掉，然后把4标记成黑色。

最后在把1标记成黑色。

通过这种三色标记法，就可以通过根对象把与根对象相关联的对象都找到处理。

(3)Shallow &&Retained Size

在内存中申请一个结构体，通过SizeOf算出来的大小就是Shallow Size。

但是如果这个结构体有个指针，指向别的结构体，那么通过这个结构体可以关联到其他对象，这些对象可以是很大的，那么这些结构体大小加起来的大小就是Retained Size。Retained Size代表垃圾回收器实际回收的大小。

如上图，R01的Retained Size就是S01+S02+S03，因为04被根引用，所以不输入01，依次类推，R02=S02+S03,R03=S03，R04=S04。

在看这幅图，因为04没有被根引用到，所以R01=S01+S02+S03+S04,R02=S02+S03+S04,R03=S03,R04=S04。

(4)实现

在介绍实现之前先要介绍几个概念。

1.安全点：回收的时候必须有一个点，安全点。比如说一块内存，正在申请，这个申请的过程应该保证是原子操作，不能在申请一半的时候GC把这个申请内存的动作打断；或者有一个for循环，在循环的时候状态可能在不断改变，必须保证在循环过后才能回收。这些可能造成java虚拟机状态改变的点叫做不安全点。那些可以让java虚拟机状态不在改变的点就叫做安全点。

线程达到安全点的方式有两种，第一种是抢占式，第二种是主动式。

什么叫抢占式呢？现在一个线程或者一个组件申请内存申请不到的时候，主线程去主动的操作子线程，让它跑到安全点，或者强制让它停止下来，也就是强迫你停下来进行垃圾回收。

第二种就是在垃圾回收的时候做一个标记，通过信号量的模式，它或者让一个变量设置成标记量，设置成true或者false，设置为true代表我要进行垃圾回收了，子线程在跑的过程中每隔一个阶段会检查这个标记位，如果这个标记位为真的时候，那么子线程跑到安全点的时候，主线程去执行垃圾回收，这就是主动式。

而垃圾回收的方式有3种，串行并行并发，具体将在下一篇博文中详细介绍。

转载于:https://blog.51cto.com/xlows/1542086