0. 前言

在C++编程中，我们经常会发现段错误这类问题，而这类问题经常是指访问的内存超出了系统所给这个程序的内存空间。一般是随意使用野指针或者数组、数组越界等原因造成的。段错误是指访问的内存超出了系统给这个程序所设定的内存空间，例如访问了不存在的内存地址、访问了系统保护的内存地址、访问了只读的内存地址等等情况。此前我们也在博客中讲述了通过GDB对ROS的调试，而段错误也会通过这样类似的形式运行并获得。

1. 什么是core dumped？

core dumped即段错误，当然它也有更官方的说法，称之为核心转储。当某一个进程在异常退出时，内核有可能把该程序当前内存映射到core文件里，即以文件的方式存储于硬盘上，方便后续的gdb调试。

2. 段错误种类

2.1. 使用非法的内存地址（指针），包括使用未经初始化及已经释放的指针、不存在的地址、受系统保护的地址，只读的地址等，这一类也是最常见和最好解决的段错误问题，使用GDB print一下即可知道原因。

// 访问不存在的内存地址
#include<stdio.h>
#include<stdlib.h>
void main()
{int *ptr = NULL;
*ptr = 0;
}// 访问系统保护的内存地址
#include<stdio.h>
#include<stdlib.h>
void main()
{int *ptr = (int *)0;
*ptr = 100;
}// 栈溢出
#include<stdio.h>
#include<stdlib.h>
void main()
{main();
}

2.2. 内存读/写越界。包括数组访问越界，或在使用一些写内存的函数时，长度指定不正确或者这些函数本身不能指定长度，典型的函数有**strcpy(strncpy)，sprintf(snprint)**等等。

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
void main()
{char *ptr = "test";
strcpy(ptr, "TEST");
}

2.3. 对于C++对象，应该通过相应类的接口来去内存进行操作，禁止通过其返回的指针对内存进行写操作，典型的如string类的c_str()接口，如果你强制往其返回的指针进行写操作肯定会段错误的，因为其返回的地址是只读的。

这类问题是强调返回的指针可以把数据拿出来，但是别对不定长的指针接口去使用改变内存的方式来实现，可以转成string这类后再次操作。

2.4. 函数不要返回其中局部对象的引用或地址，当函数返回时，函数栈弹出，局部对象的地址将失效，改写或读这些地址都会造成未知的后果。

这类问题举个例子：由于某函数声明了返回值（应该返回一个shared_ptr），但是函数实现忘记return导致的，虽然使用这个函数时没有用到它的返回值，但是依然报错！段错误如果找不到原因可以看看函数是否忘记写返回值了，平时也要留意编译器的warning。

2.5. 避免在栈中定义过大的数组，否则可能导致进程的栈空间不足，此时也会出现段错误，同样的，在创建进程/线程时如果不知道此线程/进程最大需要多少栈空间时最好不要在代码中指定栈大小，应该使用系统默认的，这样问题比较好查，ulimit一下即可知道。这类问题也是为什么我的程序在其他平台跑得好好的，为什么一移植到这个平台就段错误了。

ulimit -s10240

可以看到linux配置的线程栈的大小为10M。

如果BUFF_SZ设置过大，则当执行到printf调用函数就会出段错误，这说明找不到函数地址。数组大小BUFF_SZ是自己定义的全局常量，这个常量由于业务需求被定的较大(50MB左右)。这就是问题症结所在！这样的数组定义占用的是线程栈内存，可是linux线程所占栈内存上限一般为8MB。这样buffer实际上刷满了整个线程栈内存，才会导致执行时线程内找不到函数入口。

void* thread_func(void* rank) {long my_rank = (long) rank;printf("thread %ld is working...\n", my_rank);//...char buffer[BUFF_SZ];//...
}

2.6. 操作系统的相关限制，如：进程可以分配的最大内存，进程可以打开的最大文件描述符个数等，在Linux下这些需要通过ulimit、setrlimit、sysctl等来解除相关的限制，这类段错误问题在系统移植中也经常发现，以前我们移植Linux的程序到VxWorks下时经常遇到（VxWorks要改内核配置来解决）。

struct GPU_task_head head;//局部栈空间上的变量
cout<<"sizeof(GPU_task_head):"<<sizeof(GPU_task_head)<<endl;
memset(&head,0,sizeof(GPU_task_head));//运行时出错

此时我们可以看到在该进程里面memset前面Struct大小已经超过进程大小，属于越界了。

2.7. 多线程的程序，涉及到多个线程同时操作一块内存时必须进行互斥，否则内存中的内容将不可预料。

#include <iostream>
#include <chrono>
#include <thread>
#include <mutex>using namespace std;
int g_num = 0; // 为 g_num_mutex 所保护
mutex g_num_mutex;void slow_increment(int id){for (int i = 0; i < 3; ++i){// g_num_mutex.lock();++g_num;cout << id << " => " << g_num << endl;// g_num_mutex.unlock();this_thread::sleep_for(chrono::seconds(1));}
}int main(){thread t1(slow_increment, 0);thread t2(slow_increment, 1);t1.join();t2.join();
}

2.8. 在多线程环境下使用非线程安全的函数调用，例如 strerror 函数等。这个一般是c语言中的，在c++中也需要注意。

例如：exit调用会终止整个进程，在_exit的基础上执行一系列用户空间操作比如刷新缓冲区。_exit是直接交给内核，exit先执行清除操作再交给内核。exit或_exit时，系统无条件的停止剩下所有操作。
https://pubs.opengroup.org/onlinepubs/9699919799/functions/V2_chap02.html#tag_15_09

#include<iostream>
#include<stdlib.h>
#include<pthread.h>
#include<unistd.h>
using namespace std;
void fun(){exit(1);//###1### 刷新流，析构全局对象,1表示异常返回给调用者,调用者可以根据该值进行相应处理//_exit(0);//###2### 不会刷新流等，不会析构全局对象
}
class test{public:test(){pthread_mutex_init(&mutex,NULL);}void doit(){pthread_mutex_lock(&mutex);fun();pthread_mutex_unlock(&mutex);}~test(){cout<<"~test"<<endl;pthread_mutex_lock(&mutex);//可能引起死锁pthread_mutex_unlock(&mutex);}private:pthread_mutex_t mutex;
};
test one;//###3###exit会析构全局对象造成死锁，_exit不会析构全局对象
int main(){//test one;//###4###局部对象不会被exit/_exit终止析构one.doit();
}

2.9. 在有信号的环境中，使用不可重入函数调用，而这些函数内部会读或写某片内存区，当信号中断时，内存写操作将被打断，而下次进入时将无法避免地出错。

例如：样例代码中调用了printf函数，但是这个函数是一个不可重入函数，所以在信号处理函数里调用的话可能会引起问题。具体的是，在信号处理函数里调用printf函数的瞬间，引起程序死锁的可能性还是有的。但是，这个问题跟具体的时机有关系，所以再现起来很困难，也就成了一个很难解决的bug了。

int gSignaled;
void sig_handler(int signo) {std::printf("signal %d received!\n", signo);gSignaled = 1;
}
int main(void) {struct sigaction sa;// (省略)sigaction(SIGINT, &sa, 0);while(!gSignaled) {//std::printf("waiting\n");struct timespec t = { 1, 0 }; nanosleep(&t, 0);}

2.10. 跨进程传递某个地址，传递的都是经过映射的虚拟地址，对另外一个进程是不通用的。

每个进程各自有不同的用户地址空间,任何一个进程的全局变量在另一个进程中都看不到，所以进程之间要交换数据必须通过内核,在内核中开辟一块缓冲区,进程1把数据从用户空间拷到内核缓冲区,进程2再从内核缓冲区把数据读走,内核提供的这种机制称为进程间通信机制。
这里可以参考之前写的Python多进程通信的博客、以及C++博客
1.管道(Pipe)：管道可用于具有亲缘关系进程间的通信，允许一个进程和另一个与它有共同祖先的进程之间进行通信。
2.命名管道(named pipe/FIFO)：命名管道克服了管道没有名字的限制，因此，除具有管道所具有的功能外，它还允许无亲缘关系进程间的通信。命名管道在文件系统中有对应的文件名。命名管道通过命令mkfifo或系统调用mkfifo来创建。
3.共享内存：使得多个进程可以访问同一块内存空间，是最快的可用IPC形式。是针对其他通信机制运行效率较低而设计的。往往与其它通信机制，如信号量结合使用，来达到进程间的同步及互斥。
4.信号(Signal)：信号是比较复杂的通信方式，用于通知接受进程有某种事件发生，除了用于进程间通信外，进程还可以发送信号给进程本身;Linux除了支持Unix早期信号语义函数sigal外，还支持语义符合Posix.1标准的信号函数sigaction(实际上，该函数是基于BSD的，BSD为了实现可靠信号机制，又能够统一对外接口，用sigaction函数重新实现了signal函数)。
5.内存映射(mmap)：mmap是一种内存映射文件的方法，即将一个文件或者其它对象映射到进程的地址空间，实现文件磁盘地址和进程虚拟地址空间中一段虚拟地址的一一对映关系。实现这样的映射关系后，进程就可以采用指针的方式读写操作这一段内存，而系统会自动回写脏页面到对应的文件磁盘上，即完成了对文件的操作而不必再调用read,write等系统调用函数。相反，内核空间对这段区域的修改也直接反映用户空间，从而可以实现不同进程间的文件共享。
6.消息(Message)队列：消息队列是消息链式队列，消息被读完就删除，可以供多个进程间通信。有足够权限的进程可以向队列中添加消息，被赋予读权限的进程则可以读走队列中的消息。消息队列克服了信号承载信息量少，管道只能承载无格式字节流以及缓冲区大小受限等缺点。

3. ROS段错误调试

3.1. dmesg命令

‘dmesg’命令显示linux内核的环形缓冲区信息，我们可以从中获得诸如系统架构、cpu、挂载的硬件，RAM等多个运行级别的大量的系统信息。

当计算机启动时，系统内核（操作系统的核心部分）将会被加载到内存中。在加载的过程中会显示很多的信息，在这些信息中我们可以看到内核检测硬件设备。

3.2. GDB调试

在ROS中我们除了通过launch启动外还可以通过添加GDB调试指令（cmd）启动，这种方式和传统的程序运行基本一致。所以其段错误内容也可以类似的获取。

下面看一个简短的程序（非法赋值）：

#include <stdio.h>
int main()
{char* str = "hello world";str[1] = 'H';return 0;}

运行结果：

…详情请参照古月居

ROS/c++常见段错误以及排查相关推荐

  1. C/C++段错误问题排查和解决方法

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

  2. Linux 段错误详解

    1 背景 笔者早年写过一篇:<可恶的"Segmentation faults"之初级总结篇>,网络转载甚多.多年下来,关于段错误的讨论依旧很热烈,该问题也还是很常见.所 ...

  3. 共享内存中出现段错误

    Linux系统编程---共享内存中出现段错误 简述 1.共享内存相关使用 2. 使用上错误示例 3.正确示例 4.思考 简述 关于共享内存中,另一个程序访问时出现段错误的问题,后来在一篇博文中找到了问 ...

  4. ros中启动rviz显示段错误，核心以转储问题

    ros中启动rviz显示段错误,核心以转储问题 运行命令 $ rosrun rviz rviz -d rospack find turtle_tf/rviz/turtle_rviz.rviz 显示 解 ...

  5. pta c语言段错误,PTA常见错误

    1.最常犯的错误:格式错误. 在PTA程序检测中,输入输出要严格按照题目要求.输出的格式要完全按照题目要求来,该空格地方空格,该换行要换行.否则,就算你运行结果是对的,PTA还是提示你格式错误 格式错 ...

  6. 段错误排查方法与防御性措施～

    什么是段错误 首先我们需要知道什么是段错误,才能对症下药. 段错误是一种在程序运行时发生的错误,通常是由于程序试图访问不在其地址空间范围内的内存引起的. 例如,当一个程序访问空指针或者已经被释放的内存 ...

  7. 嵌入式常见的段错误死机原因之一strlen函数

    在做嵌入式产品常见死机原因有很多种,其中之一就是strlen函数引起的.这个函数大家不会陌生,学c语言最基本的函数了,但在实际使用中偶尔不小心还是可能会引起段错误造成死机的.为什么呢?    函数原型 ...

  8. 出现段错误的常见原因与解决方案（一步解决）

    目录 常见原因 解决方案 方法1 方法2 常见原因 段错误最常出现在指针运用不当,其具体原因有但不限于:指针指向了不存在的地方(非法的内存访问),给野指针赋值,遍历指针超过本身节点等 解决方案 方法1 ...

  9. 常见的内存错误（段错误）及其对策

    常见的内存错误及其对策 发生内存错误,编译器不能发现这些错误,在程序运行时才能捕捉到.而且时有时无. 内存分配未成功,确使用了它 产生原因: 内存不足. 解决办法:在使用内存之前检查指针是否为null ...

最新文章

  1. Qtum 量子链首例太空节点交易完成
  2. HBase Filter及对应Shell--转
  3. 自监督学习和对比学习
  4. 关于C/C++中函数参数传递的规则
  5. 每日一题（6）—— sizeof用法
  6. MSDN上的异步socket 服务端例子
  7. TableView数据源方法的执行顺序
  8. 将html导出到excel或word
  9. 【测试】嵌入式软件测试VS一般软件测试
  10. Python小项目（一）-----------计算体脂率
  11. 《数学分析八讲》(1)-连续统理论
  12. 国内首个“新基建”安全大赛启动了！
  13. 网络安全行业与就业-网络安全事件分类
  14. 软件工程McCabe环路复杂度计算，自环情况详解。
  15. 解决win10卡顿现象
  16. 程序一点点地写,日子一天天地过。
  17. models.__dict__[args.model]()
  18. vlan与vxlan
  19. Java中一维数组的内存解析（浅显易懂，新手必看）
  20. Camera光学、成像和 3A 算法

热门文章

  1. 使用DCGAN生成动漫人物头像
  2. Unity Material Instance
  3. 软件设计实验（一）C#火车售票系统-基于UML的软件分析与设计模型建模实验（用例图、类图、时序图）
  4. vscode使用指南:进入全屏退出全屏模式
  5. matlab构建高斯混合模型,使用matlab创建高斯混合模型及绘图
  6. 将mnist数据集转换为对应的数字图片
  7. 使用EXCEL快速实现二参数威布尔分布拟合
  8. OpenAI 直播大秀语音指挥 AI 自动编程
  9. 上海交通大学python教材答案-上海交通大学-SPOC官方网站
  10. 脉冲神经网络SNN流片验证类脑芯片