深入探究Lua的GC算法（上）-《Lua设计与实现》.pdfVIP

深⼊探究 Lua的GC算法（上） - 《Lua设计与实现》 对于内存的管理，是程序在应⽤的时候的必需知识点，《Lua设计与实现》中对Lua语⾔的GC原理做了⼀个详细的讲解，云风的blog也对其 进⾏了详尽的讲解 给出作者在github上的lua源码链接： 这⼉就继续做《Lua设计与实现》的阅读笔记，对Lua GC原理及其过程做⼀个详尽的讲解，由于篇幅较⼤，就⼀分为⼆，写上下篇来讲解整 个过程。 ⼀、GC的原理及其算法设计 不同的语⾔，对GC算法的设计不同，常见的GC算法是引⽤计数和Mark-Sweep算法， c#采⽤的是Mark-sweep compact算法， Lua采 的是Mark-sweep算法，分开说⼀下： 引⽤计数算法：在⼀个对象被引⽤的情况下，将其引⽤计数加1，反之则减1，如果计数值为0，则在GC的时候回收，这个算法有个问题就是 循环引⽤。 Mark-sweep算法：每次GC的时候，对所有对象进⾏⼀次扫描，如果该对象不存在引⽤，则被回收，反之则保存。 在Lua5.0及其更早的版本中，Lua的GC是⼀次性不可被打断的过程，使⽤的Mark算法是双⾊标记算法(Two color mark)，这样系统中对象的 ⾮⿊即⽩，要么被引⽤，要么不被引⽤，这会带来⼀个问题：在GC的过程中如果新加⼊对象，这时候新加⼊的对象⽆论怎么设置都会带来 问题，如果设置为⽩⾊，则如果处于回收阶段，则该对象会在没有遍历其关联对象的情况下被回收；如果标记为⿊⾊，那么没有被扫描就被 标记为不可回收，是不正确的。 为了降低⼀次性回收带来的性能问题以及双⾊算法的问题，在Lua5.1后，Lua都采⽤分布回收以及三⾊增量标记清除算法（Tri-color incremental mark and sweep） 其基本的原理伪代码，参考书中原⽂为： 每个新创建的对象颜⾊设置为⽩⾊ // 初始化阶段 遍历root节点中引⽤的对象，从⽩⾊置为灰⾊，并且放⼊到灰⾊节点列表中 // 标记阶段 while(灰⾊链表中还有未扫描的元素) ： 从中取出⼀个对象，将其置为⿊⾊ 遍历这个对象关联的其他所有对象： if 为⽩⾊ 标记为灰⾊，加⼊到灰⾊链表中(insert to the head) // 回收阶段 遍历所有对象： if 为⽩⾊， 没有被引⽤的对象，执⾏回收 else 重新塞⼊到对象链表中，等待下⼀轮GC ⼆、GC的数据结构 分析Lua中对于需要GC的类型数据 #define iscollectable(o) (ttype(o) = LUA_TSTRING) 都会有⼀个基本的定义CommonHeader ，其定义为： next: GCObject链表指针，该指针⽤来将所有的GC对象都链接在⼀个表中； tt: 数据类型：nil, boolean, number, string marked: 标记字段，byte表⽰的字段颜⾊定义为 这⼉特定解释⼀下为什么会有两种⽩⾊，前⾯提到，5.1后的Lua采⽤的是三⾊标记算法，其实质是四⾊标记算法，分为0型⽩⾊和1型⽩⾊， 在GC回收的时候，会设置当前的⽩⾊为其中⼀种，详见globalstate 中的currentwhite，这样在代码回收的时候，如果当前对象的⽩⾊不 currentwhite,则认为其不可回收，这样的对象需要等到下⼀次的GC才能决定是否回收，具体参看后⾯的，会有对应的应⽤。对于 global_state 的设计为： 具体的参数的作⽤，详见注释，就不在⼀⼀解释了 三、GC的流程 1、数据的创建 想要了解GC的过程，⾸先看看数据是怎么在创建的时候被链接到GC链表中的，主要分为三种数据的创建 1) ⼀般数据的创建 luaC_link 简单直接，直接insert to the head 2) upval的创建 luaC_linkupval 3) userdata(udata)的创建 luaS_newdata 、开始GC 整个GC过程分为五个阶段，其定义为 其执⾏GC的函数为singlestep ，来看第⼀步的操作： 进⼀步看看markroot的操作： 其实就是reset⼀遍相关的变量，然后标记mainthread, G表，registry表，然后切换到下⼀个标记阶段。 参看定义： 最后都要执⾏reallymarkobject函数（此处需要展⽰⼀下我的竖屏截图便利了：D）： 基本的注释都解释了各个对象是如何的处理的，udata是不会引⽤其他类型的数据，所以⼀步到⿊⾊，upvalue则根据是否为close来决定是 否标记到⿊⾊，open状态的upvalue变化较为频繁，需要在后⾯的r