c语言 free函数报段错误,linux下C编程free()时出现飘忽诡异的段错误（核心已转储）问题...

港控/mmm° 2022-10-14 10:59 9阅读 0赞

先说一下问题现场。

代码如下

free(volthisframe->Tops);

free(volthisframe->Bots);

printf("what\\n");

free(volthisframe->SCTops);

free(volthisframe->SCBots);

运行时出现段错误，“what”随机出现，也就是说可能是打印前出现段错误，也可能是打印后出现段错误。但最终定位就在这几行free里面。

人格保证，各个指针都有初始化，都有检查，代码这里没有列出来而已。

困扰了我2,3天时间，因为完全无法解释free出现段错误这个问题背后的原因，指针是绝对正常的。后来查阅了大量资料，终于理了个脉络出来，大概知道怎么回事了。进一步的debug还在进行中。。。

提醒：这只是泛泛而谈，因为内存管理的问题跟语言、编译器、操作系统都有关系，windows下和linux就大不相同，本文也没有想精确定位，只是给个思路而已。

下面是具体分析，首先是参考资料

参考资料

这个问题跟C语言和编译器的内存分配，linux的内存管理都有关系，一个一个来。

出现段错误的情况，基本还是栈溢出(使用的内存空间大于系统默认分配的栈空间)\[2\]\[5\]

数组越界\[3\]

访问不存在的地址(指针NULL)\[5\]

访问系统保护的内存地址\[5\]

访问只读的内存地址\[5\]

关于入栈、出栈\[1\]讲了一点，在子函数调用的时候的情况，注意这只是多数情况，具体的系统很可能不一样

栈： 在函数调用时，在大多数的C编译器中，参数是由右往左入栈的，然后是函数中的局部变量。注意静态变量是不入栈的。

当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向函数的返回地址，也就是主函数中的下一条指令的地址，程序由该点继续运行。

\[5\]里面讲了很复杂的调试方法，但用在IDE里面用gdb可以很方便找到位置。关键是linux下，对于段错误的报警存在可能的偏差！

比如\[3\]，在数组越界的时候并未实时报警，而是在free的时候才报警。

实际上我也是这种情况，应该是volthisframe->Tops和Bots都越界了，但是到free的时候才随机选一个报警。甚至是下一个free才报警。定位都很困难，定位到free也不解决任何问题。。。

OK，总结如下，主要是\[7\]\[8\]说的最清楚

![0\_1287978783fY81.gif][0_1287978783fY81.gif]

BSS、数据段、代码段是编译器预分配的，

BSS段即未初始化的全局变量和静态变量的空间，读写。运行时初始化

数据段即已初始化的全局变量和静态变量的空间，读写。已由编译器初始化

代码段，就是代码空间，有的编译器和系统允许修改这一部分。

堆栈都由系统分配。

堆：很多系统都是从虚拟内存里面直接给，大小几乎不限。malloc和free类的内存空间就在这里。

栈，这个是重点

系统指定的空间，每个程序大小是统一的。linux下默认是8M。用ulimit查看修改。

局部变量就放在这里面，如果出现子函数调用的情况，除了子函数的局部变量和子函数的实参(其实也是局部变量)之外，父函数的返回地址也会入栈\[1\]。返回时如有返回值，也会压入栈中。调用时的入栈顺序是：

返回地址、实参、局部变量。

出栈相反。

栈就会带来很多问题。看了\[4\]，我再总结如下：

局部变量的有效区间：本函数的存在时空。本函数返回之后，栈的内容其实还在，但随时可能被其它函数入栈顶替。

局部变量的地址作为实参传入：入栈的是父函数的局部变量的地址，其实是可以的，因为这时候父函数肯定还没结束。栈内空间依然保留，而且可读写。

根据\[7\]，局部变量数组越界其实是在栈里面，而全局变量数组越界是在数据段或者BSS段里面。

而堆里面越界是在系统的虚拟内存里面。

Bingle！

最终原因：

很可能这是造成堆里面越界不能及时反映的原因，等到free的时候系统才发现不对头。因为使用的时候系统也没有随时监视，系统无法得知。

但无法理解系统为啥free这时候会发现不对，free里面可能有检查。猜测有记录使用了那些堆。

所以，我应该是指针在过程中使用的时候出现越界的情况，但在free时系统才报错，而且还不一定在哪儿报，可能是越界的指针本身free时，也可能是被侵犯的指针free时。我这里就是volthisframe->Tops和volthisframe->Bots两个指针都越界了(这两个是同步用的)，但有时会在free(volthisframe->SCTops)时报错！

由于是嵌入式，为节省内存空间，我的指针使用极度繁杂，这下够的我搞！

原文：http://blog.csdn.net/cd\_keanu/article/details/45562449

[0_1287978783fY81.gif]: /images/20221014/12b1d026151f436b961af981cc9ecc96.png

发表评论取消回复

表情：

评论列表（有 0 条评论，9人围观）

还没有评论，来说两句吧...

相关阅读

相关 linux程序段错误原理,Linux 下c 程序段错误分析

0 fopen("/var/spool/cron/tmp","w+"); / ＃i nclude ＃i nclude ＃i nclude ＃i nclude ＃i ncl

落日映苍穹つ/ 2023年01月20日 08:23/ 0 赞/ 12 阅读

相关 c语言free的用法

转自：[http://www.pinlue.com/article/2020/03/3100/4610073901713.html][http_www.pinlue.com_a

野性酷女/ 2022年12月13日 04:56/ 0 赞/ 95 阅读

相关 linux下调试段错误(核心已转储) Segmentation fault (core dumped)

linux下调试段错误(核心已转储) Segmentation fault (core dumped) -------------------- 如需转载请标明出处：[

我就是我/ 2022年11月15日 14:18/ 0 赞/ 991 阅读

相关 c语言 free函数报段错误,linux下C编程free()时出现飘忽诡异的段错误（核心已转储）问题...

先说一下问题现场。代码如下 free(volthisframe->Tops); free(volthisframe->Bots); printf("what\\n")

港控/mmm°/ 2022年10月14日 10:59/ 0 赞/ 10 阅读

相关 Linux下的C语言编程——错误处理函数

errno 查看[错误代码][Link 1]errno是调试程序的一个重要方法。当linux C api函数发生异常时,一般会将errno变量(需include er

「爱情、让人受尽委屈。」/ 2022年07月16日 13:52/ 0 赞/ 160 阅读

相关除虫记之C#调用C函数出现的诡异错误

作者：朱金灿来源：[http://blog.csdn.net/clever101][http_blog.csdn.net_clever101] 同事反映在在

怼烎@/ 2022年07月14日 03:47/ 0 赞/ 111 阅读

相关 C/C++中的段错误（Segmentation fault）

Segment fault 之所以能够流行于世，是与Glibc库中基本所有的函数都默认型参指针为非空有着密切关系的。来自:http://oss.lzu.edu.cn/

比眉伴天荒/ 2022年06月01日 20:19/ 0 赞/ 240 阅读

相关用conda安装Rstudio后启动anaconda-navigator出现：段错误-核心已转储

错误提示： ![这里写图片描述][70] 这个时候只需要用conda更新一下所有的包就可以解决问题 conda update --all 之前有在网上看到说

小鱼儿/ 2022年05月17日 03:18/ 0 赞/ 141 阅读

相关 C语言中的malloc与free函数

C语言中的malloc与free函数 malloc函数的作用是在堆中开辟一块指定大小的空间。如果开辟成功，返回空间首个字节地址，失败则返回NULL。 free函数能够释

素颜马尾好姑娘i/ 2022年05月13日 12:10/ 0 赞/ 274 阅读

相关段错误（核心已转存）问题定位手段积累

最近在跟同事一起联调多线程的软件，联调过程中出现很多段错误的问题，以前很傻很天真以为用打印就可以定位问题了，到实际问题中，还得使用一些专业的工具才能提高定位问题的效率。以下

骑猪看日落/ 2021年06月24日 16:09/ 0 赞/ 304 阅读