栈回溯技术及uClibc的堆实现原理.doc

栈回溯技术及uClibc的堆实现原理 【摘要】 本文描述栈的作用、uClibc上堆的实现，利用栈回溯技术查找编程中经常发生的段错误问题，理解栈、堆的作用，通过几个例子分析越界访问导致的错误。 【关键词】 堆 栈 回溯 堆实现 栈作用 一、问题的提出 段错误、非法地址访问等问题导致程序崩溃的现象屡屡发生，如果能找到发生错误的函数，往往一眼就能看出BUG所在——对于这类比较简单的问题，比如使用空指针进行读写等，利用栈回溯技术可以很快定位。但是对于数组溢出、内存泄漏等问题导致的程序错误，往往隐藏很深，它们并不当场发作，即使我们一步一步跟踪到发生错误的语句时，也经常会让人觉得“这个地方根本不可能出错啊”——错误在很早以前就隐藏下来了，只不过是这个“不可能出错的语句”触发了它。了解栈的作用、堆的实现，可以让我们脑中对程序的运行、函数的调用、变量的操作有个感官的了解，对解决这类问题会有所帮助。 二、解决思路 了解了栈，就可以通过栈回溯技术分析程序的调用关系，从而得出程序出错的流程；了解了堆，就可以对各类动态分配、释放内存导致的错误有个指导思想。 (1)、栈的作用 一个程序包含代码段、数据段、BSS段、堆、栈；其中数据段用来中存储初始值不为0的全局数据，BSS段用来存储初始值为0的全局数据，堆用于动态内存分配，栈用于实现函数调用、存储局部变量。比如对于如下程序： 程序1 section.c