抛开这点之外,我觉得其他语言都不如C语言。
所以,虽然自动内存管理比较复杂,但我还是给scf编译器框架加了静态的GC算法。
在编程方面,自动内存管理一般叫GC算法,是英文Garbage Collection的缩写。
栈内存的管理比较简单,是由编译器根据函数调用链而自动管理的。
堆内存的管理,在C语言里是由程序员手动管理的。
因为程序员管理错了堆内存而导致的BUG,是C语言最常见、也最难搞的BUG。
所以,后来的编程语言都对内存管理做了简化,例如C++的智能指针。
C++的智能指针,是一种半自动的内存管理机制:
它把一个堆内存的指针放在一个类的成员变量里,利用局部对象离开作用域时的析构函数,来完成堆内存的释放。
所以C++的效率比其他语言快得多,因为局部对象什么时候离开作用域,是可以在编译时就确定的,不需要在运行时做额外的处理。
也就是说,C++的智能指针是静态的GC算法。
在编译时就处理好的算法,是静态的算法。
在运行时才会处理的算法,是动态的算法。
动态的算法依赖于运行时状态,对程序的速度有较大的影响:
- 因为框架在处理对象内存的回收时,用户程序不得不暂停,
- 否则两边发生竞争条件,那就是跟C语言的野指针一样的BUG。
写过C语言的都知道,多线程的野指针是非常难查的BUG,因为程序跑飞了不知道会core在哪里,而且BUG也不是必现的。
为什么程序员怕有主控软件的交通工具?
因为程序员知道多线程+竞争条件+野指针 == 随机crash + 事后找不到第一现场
动态的GC算法,为了避免出现第2种情况,那就只能使用第1种情况。
1、GC算法有必要是动态的吗?
实际上没必要,否则C语言怎么手动管理内存的。
C语言的free()代码肯定是在编译之前就写好了的!
只要写对了free()位置,C语言既不会出BUG,也不会内存泄漏。
所以,编译器只要代替程序员添加free(),就可以自动管理内存了。
free()的添加位置,当然是在变量离开作用域时。
如上图:
有4个对象变量m0, m1, m2, m3,
main()函数返回时也是它们离开作用域的时候,所以在main函数的结尾自动添加释放代码,程序员就不用手动释放内存了。
2、怎么检测变量什么时候离开作用域?
在编译器的后端:
1)代码的每个基本块都是流程图上的一个节点,
2)基本块之间通过跳转联系起来,
3)基本块内部的代码是顺序运行的。
所以,释放内存的代码需要加在两个基本块之间。
上图是前面的main()函数的流程图。
创建一个对象分两步:第一步调用malloc()申请内存,第二步调用构造函数__init()初始化内存。
(为了简化代码,我没有做返回值为NULL的检查)
在第8个基本块 m3 = m0 + m1 + m2 之后,m0, m1, m2 就不再使用了,也就是它们3个离开作用域了。
即使在源代码层面这时m0, m1, m2依然处于main()函数的作用域内,但对后端来说它们已经离开作用域了,因为之后的基本块都不再使用它们了。
所以,对m0, m1, m2的释放代码,应该加在第8和第9号基本块之间。
第9号基本块会把指针 m3->data 赋值给dd,这会让(m3->data)内存的引用计数+1。
对m3的释放代码可以放在第9和第10之间,之后不会再使用m3了:这会让m3->data的引用计数-1。
这时,内存数据有且只有1个引用计数(一开始自带1个),同时有且只有指针dd指向它。
指针dd的释放在for循环之后,即第10和11之间:这里的释放会让引用计数减少到0。
在引用计数为0时,要调用free()函数,把内存还给系统。
GC算法的要点有3个:
1)什么时间调用的malloc(),
2)什么时间有指针的赋值,要把引用计数+1,
3)什么时间离开作用域,也就是后续不再使用对象变量,要把引用计数-1,如果减少之后为0,就调用free().
3、跨函数的指针分析,
有时候,申请的内存并不会在当前函数内释放,而是返回给更上层的主调函数。
这时的GC算法,就需要跨越函数的调用链,进行指针分析。
前面的mat对象的成员指针 m3->data,就是需要跨函数分析的指针。
它是在构造函数里申请的内存,因为是成员变量,所以要在析构函数里释放。
如果是局部变量,就在当前函数内释放:因为局部变量的作用域就是当前函数。
成员变量的有效时间,是伴随着当前对象的。
局部变量的有效时间,是伴随着当前函数的。
成员变量在构造函数返回时依然有效,所以要把它是malloc()申请的这个信息,传递到更上层的函数。
这样:
1)在main()里才知道它是malloc()申请的,
2)在 dd = m3->data 时才知道给它指向的内存引用计数+1,
3)在释放m3时,析构函数把引用计数-1之后,引用计数才不为0:内存依然是有效的,这时指针dd依然指向它。
否则,dd就是野指针了!
函数调用链,在语义分析时是很容易确定的。
抽象语法树AST上的每一个函数调用,必然有一个主调函数、有一个被调函数。
主调和被调,构成了整个程序的函数调用图:
最顶层的是main()函数,最底层的是malloc()函数。
以malloc为起点、main为终点,做图的宽度优先搜索,就可以获取整个调用链。
然后从离malloc最近的函数开始,一层层的分析就行了。
一定是用图的宽度优先搜索(BFS)!
不能用深度优先搜索(DFS),因为一个上层函数可能调用多个下层函数,而这多个下层函数里都malloc了内存。
如上图:
如果是DFS,分析顺序是A->D,这样D调用B而申请的内存就会被漏过去了。
如果是BFS,分析顺序是A->B->C->D->E,这样任何函数申请的内存如果传递给上层,(在分析上层函数时)都不会被漏过去。
4、递归调用的指针分析
上图的C()和E()之间的互相调用构成递归,表现为函数调用图上的回路。
这种情况下,两个函数里申请的内存会互相传递,属于最复杂的一种情况!
在编译器里的处理方法是:
用do while循环检查内存的传递情况,记录传递的变量和计数,直到不再发生变化为止。
最后,就是在合适的位置添加free()代码了:
最后的总是最简单的,the last is the simplest.