探索Lua5.2内部实现:Garbage Collection(3)

GC步骤

global_State中的gcstate记录了当前incremental gc的执行状态。根据执行状态，整个gc过程被分为很多步执行。

GCSpause

GCSpause状态标志着当前没有开始gc。gc一旦开始，第一步要做的就是标识所有的root对象。root对象包括global_State引用的mainthread对象，registry table，全局的metatable和上次gc所产生的还没有进行finalize的垃圾对象。标识工作就是将white对象设置成gray，是通过函数reallymarkobject进行的。reallymarkobject会根据不同的对象作不同的处理。

对于string对象，本身没有对其它对象的引用，就可以立即设置成black，无需等待后面的遍历。对于userdata对象，只会引用到一个metatable和env，所以直接mark后也可以立即设置成black。对于upvalue对象，直接mark引用的对象。所有root对象会被设置成gray状态，等待下一步的propagate。第一步完成后，gc状态会切换成GCSpropagate。

GCSpropagate

这一步主要就是将所有gray对象变成black，并将其引用到的white对象变成gray，直到没有gray对象存在为止。

在GCSpropagate状态下，barrier会起作用。Lua并不监控所有的引用变化，否则会非常影响效率会。一些我们认为经常会发生变化的地方，比如stack的引用变化，就不用barrier。

barrier的位置

• lapi.c moveto luaC_barrier
• lapi.c lua_load luaC_barrier
• lapi.c lua_setupvalue luaC_barrier
• lcode.c addk luaC_barrier
• lvm.c OP_SETUPVAL luaC_barrier
• lapi.c lua_rawset lua_rawseti lua_rawsetp  luaC_barrierback
• ltable.c luaH_newkey  luaC_barrierback
• lvm.c luaV_settable luaC_barrierback
• lvm.c OP_SETLIST luaC_barrierback
  
• lapi.c lua_setmetatable luaC_objbarrier userdate->mt
• lapi.c lua_setuservalue luaC_objbarrier
• lapi.c lua_upvaluejoin luaC_objbarrier
• ldo.c f_parser luaC_objbarrier initialize upvalue
• lparser.c luaC_objbarrier
• lapi.c lua_setmetatable luaC_objbarrierback

何时进行gc