lua内存泄漏检测工具原理及设计是怎么的
这篇文章将为大家详细讲解有关lua内存泄漏检测工具原理及设计是怎么的,文章内容质量较高,因此小编分享给大家做个参考,希望大家阅读完这篇文章后对相关知识有一定的了解。
创新互联专注于镇坪企业网站建设,成都响应式网站建设公司,商城系统网站开发。镇坪网站建设公司,为镇坪等地区提供建站服务。全流程按需定制,专业设计,全程项目跟踪,创新互联专业和态度为您提供的服务
Google一下“lua内存泄漏检测”,基本都是直接或间接指向云风多年前写的《一个 Lua 内存泄露检查工具》,其思路是给虚拟机做个快照,记录下所有gc对象地址及引用关系,然后通过对比两次快照来分析内存泄漏情况。文章似乎把内存泄漏等同于某个gc对象的新增了。
然而,新增gc对象就代表内存泄漏?看下这段代码:
local no_leak = {}function innocent() no_leak.a = {x = 1} no_leak.b = {y = 1}end
innocent函数每次执行都会新增两个table并持有它们,但这明显不是内存泄漏,而且这是很常见的写法。
不新增gc对象就代表没内存泄漏?也不是:
local local_leak = {}function make_leak() table.insert(local_leak, 1)end
这种泄漏文章提供的工具貌似就无能为力。它只记录gc对象及gc对象间的引用关系。但数字不是gc对象。
带GC语言的内存泄漏
C/C++这类语言的内存泄漏,是分配了内存忘了释放,但GC会帮我们自动释放这类内存。而在带GC的语言的内存泄漏,则是往一个容器里头塞东西忘了删掉。
往一个容器里头塞东西忘了删掉会导致什么现象?
当然是导致这容器变大,所以疑似内存泄漏检测就变成了容器大小(是否递增)检测。
这在lua里头又特别简单,因为。。lua只有一种容器--table。
lua内存泄漏检查
核心代码十分简单,只有十来行C代码:
typedef void (*TableSizeReport) (const void *p, int size);LUA_API void xlua_report_table_size(lua_State *L, TableSizeReport cb, int fast){GCObject *p = G(L)->allgc;while (p != NULL){if (p->tt == LUA_TTABLE){Table *h = gco2t(p);cb(h, table_size(h, fast));}p = p->next;}}
遍历所有对象,如果是table,则把指针和size报告给调用者。
这个C代码将由C#调用,并记录下table的size信息,也灰常简单:
static Data getSizeReport(LuaEnv env){ Data data = new Data(); data.Memroy = env.Memroy; LuaDLL.Lua.xlua_report_table_size(env.L, (IntPtr p, int size) => { data.TableSizes.Add(p, size); }, 0); return data;}
好了,接下来对比前后size信息,就可以找出可能存在内存泄漏的table的指针了,这里就不贴代码了,文章中所有代码都可以在xLua开源项目中找到。
table详细信息
光拿table的指针是没啥用的,我们要得到更多信息才定位。
一般而言,table顺其引用链往上找,都能归结到三个地方:
1、upvalue,比如你在lua脚本定义的local xx = {};
2、全局变量;
3、c侧共用的一个特殊table:registry;
当然,栈也可能引用table,但我们是在C#调用C代码,当时没跑lua,栈应该是空的,而且仅仅栈指向的对象,我们可以先不管,这对象要么是临时的,要么后面还是被上面三个地方引用。
table详细信息思路
1、获取对象引用关系,生成反向索引表;
2、从反向索引表查找到疑似泄漏table,然后根据反向索引往上找,一直找到上述的三个根,生成路径
一个典型泄漏信息报告是这样的:
total memroy: 87 potential leak(180) in {leak2.lua:local anthor_leak.a[1].b,_R.ref_anthor_leak.a[1].b}potential leak(181) in {_G.global_leak}potential leak(180) in {leak1.lua:local local_leak}
第一个行表示有个大小为180的疑似泄漏table,它被两个地方引用了
一个是leak2.lua文件的局部变量anthor_leak,位于这个局部变量的a[1].b子节点
一个是registry表(上面的第三个地方),ref_anthor_leak.a[1].b子节点
快泄漏和慢泄漏
如果程序中存在一个泄漏很快以及一个泄漏很慢的地方,我们两次对比table size信息,很可慢的因为没涨而被无视。
这也没关系,当你找到泄漏快的地方,解决了快的,慢的就能被检查出来了。
测试例子也展示这这种情况。
关于lua内存泄漏检测工具原理及设计是怎么的就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。
分享文章:lua内存泄漏检测工具原理及设计是怎么的
地址分享:http://pwwzsj.com/article/pdppji.html