解析Lua GC机制原理

Lua垃圾回收算法原理简述

lua采用了标记清除式（Mark and Sweep）GC算法，算法简述： 标记：每次执行GC时，先以若干根节点开始，逐个把直接或间接和它们相关的节点都做上标记； 清除：当标记完成后，遍历整个对象链表，把被标记为需要删除的节点一一删除即可。

Lua垃圾回收中的三种颜色

lua用白、灰、黑三色来标记一个对象的可回收状态。(白色又分为白1、白2)

白色：可回收状态。详解：如果该对象未被GC标记过则此时白色代表当前对象为待访问状态。举例：新创建的对象的初始状态就应该被设定为白色，因为该对象还没有被GC标记到，所以保持初始状态颜色不变，仍然为白色。如果该对象在GC标记阶段结束后，仍然为白色则此时白色代表当前对象为可回收状态。但其实本质上白色的设定就是为了标识可回收。

灰色：中间状态。详解：当前对象为待标记状态。举例：当前对象已经被GC访问过，但是该对象引用的其他对象还没有被标记。

黑色：不可回收状态。 详解：当前对象为已标记状态。举例：当前对象已经被GC访问过，并且对象引用的其他对象也被标记了。 备注：白色分为白1和白2。原因：在GC标记阶段结束而清除阶段尚未开始时，如果新建一个对象，由于其未被发现引用关系，原则上应该被标记为白色，于是之后的清除阶段就会按照白色被清除的规则将新建的对象清除。这是不合理的。于是lua用两种白色进行标识，如果发生上述情况，lua依然会将新建对象标识为白色，不过是“当前白”(比如白1)。而lua在清扫阶段只会清扫“旧白”(比如白2)，在清扫结束之后，则会更新“当前白”，即将白2作为当前白。下一轮GC将会清扫作为“旧白”的白1标识对象。通过这样的一个技巧解决上述的问题。

二色标记法

lua 5.1之前采用的算法，二色回收法是最简单的标记-清除算法，缺点是gc的时候不能被打断，所以会严重卡住主线程。

三色标记法

lua5.1开始采用了一种三色回收的算法
白色：在gc开始阶段，所有对象颜色都为白色，如果遍历了一遍之后，对象还是白色的将被清除。
灰色：灰色用在分步遍历阶段，如果一直有对象为灰色，则遍历将不会停止。
黑色：确实被引用的对象，将不会被清除，gc完成之后会重置为白色。

luajit使用状态机来执行gc算法，共有6种状态：
1.GCSpause：gc开始阶段，初始化一些属性，将一些跟节点（主线程对象，主线程环境对象，全局对象等）push到灰色链表中。
2.GCSpropagate：分步进行扫描，每次从灰色链表pop一个对象，遍历该对象的子对象，例如如果该对象为table，并且value没有设置为week，则会遍历table所有table可达的value，如果value为gc对象且为白色，则会被push到灰色链表中，这一步将一直持续到灰色链表为空的时候。
3.GCSatomic：原子操作，因为GCSpropagate是分步的，所以分步过程中可能会有新的对象创建，这时候将再进行一次补充遍历，这遍历是不能被打断的，但因为绝大部分工作被GCSpropagate做了，所以过程会很快。新创建的没有被引用的userdata，如果该userdata自定义了gc元方法，则会加入到全局的userdata链表中，该链表会在最后一步GCSfinalize处理。
4.GCSsweepstring：遍历全局字符串hash表，每次遍历一个hash节点，如果hash冲突严重，会在这里影响gc。如果字符串为白色并且没有被设置为固定不释放，则进行释放。
5.GCSsweep：遍历所有全局gc对象，每次遍历40个，如果gc对象为白色，将被释放。
6.GCSfinalize：遍历GCSatomic生成的userdata链表，如果该userdata还存在gc元方法，调用该元方法，每次处理一个。

参考博客：https://zhuanlan.zhihu.com/p/133939450
https://www.cnblogs.com/gangtie/p/12724295.html

如有问题欢迎指出~