世界上并没有完美的程序,但是我们并不因此而沮丧,因为写程序就是一个不断追求完美的过程。
关于GC Roots,大家应该比较熟悉了,对于GC Roots的枚举对象有哪些,前面已经介绍过了。
有一点需要特别注意的是,在线程一边运行、一边改变引用关系的情况下进行GC Roots枚举肯定是行不通的,这样枚举的结果肯定是不准确的,为了保证GC Roots的准确性,必须在相对静止的条件下枚举,即枚举时,枚举的是某一时刻的快照,所以这就要求在枚举时停止所有用户线程,即Stop The Word。(当然标记整理算法也需要Stop The World)。那么第一步就是Stop The World。因为Hotspot虚拟机是准确式内存管理,所以无需一个对象一个对象的去查找确定枚举对象,这样效率也低消耗也大,类加载以后,在每一段区域都有一个OopMap,记录引用关系,GC Roots只要从OopMap中获取就可以了,但是OopMap也不能太多,所以有了安全点的概念,安全点即保证程序长时间运行的点,一般指常用的方法和循环,用户线程会在这些地方停下来以配合GC Roots枚举,GC Roots枚举时会扫描安全点的OopMap以通过引用关系确定枚举对象。那么如何保证用户线程在安全点停止呢,有两种方式,一种方式是抢先中断,就是垃圾收集之前,提前中断所有线程,然后看有没有还没有到达安全点的线程,如果有则让这个线程继续执行到安全点再中断。这种方式一般不推荐使用。还有一种就是主动中断,设置一个中断标志位,每一个线程都实时轮询这个标志位,如果标志位一旦为真,则线程就找到离他最近的安全点进行中断。当然还有一种情况就是有的线程正在阻塞,这时是不可能短时间内到达安全点的,对于这种情况,把阻塞的位置设置为安全区域,在这个区域内,引用关系不变。这样有了安全点和安全区域,用户线程就可以从容的中断,所有用户线程都停止以后,就可以在Stop The World的基础上进行GC Roots根对象的枚举了。