以下内容转载自 https://blog.csdn.net/yuanlin2008/article/details/8772190
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
————————————————
版权声明:本文为CSDN博主「yuanlin2008」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/yuanlin2008/article/details/8772190