linux Segmentation faults 段错误详解
什么是段错误
下面是来自 Answers.com 的定义:
A segmentation fault (often shortened to segfault) is a particular error condition that can occur during the operation of computer software. In short, a segmentation fault occurs when a program attempts to access a memory location that it is not allowed to access, or attempts to access a memory location in a way that is not allowed (e.g., attempts to write to a read-only location, or to overwrite part of the operating system). Systems based on processors like the Motorola 68000 tend to refer to these events as Address or Bus errors.
Segmentation is one approach to memory management and protection in the operating system. It has been superseded by paging for most purposes, but much of the terminology of segmentation is still used, “segmentation fault” being an example. Some operating systems still have segmentation at some logical level although paging is used as the main memory management policy.
On Unix-like operating systems, a process that accesses invalid memory receives the SIGSEGV signal. On Microsoft Windows, a process that accesses invalid memory receives the STATUS_ACCESS_VIOLATION exception.
另外,网上还有个基本上对照的中文解释:
所谓的段错误就是指访问的内存超出了系统所给这个程序的内存空间,通常这个值是由 gdtr 来保存的,他是一个 48 位的寄存器,其中的 32 位是保存由它指向的 gdt 表,后 13 位保存相应于 gdt 的下标,最后 3 位包括了程序是否在内存中以及程序的在 cpu 中的运行级别,指向的 gdt 是由以 64 位为一个单位的表,在这张表中就保存着程序运行的代码段以及数据段的起始地址以及与此相应的段限和页面交换还有程序运行级别还有内存粒度等等的信息。一旦一个程序发生了越界访问,cpu 就会产生相应的异常保护,于是 segmentation fault 就出现了
通过上面的解释,段错误应该就是访问了不可访问的内存,这个内存区要么是不存在的,要么是受到系统保护的。
常见段错误举例
这里列举一下常见的段错误例子。
1 scanf 参数:把 &i 写为 i
int i;scanf("%d", i);
分析:i 被定义后,数值是不确定的,而 scanf 把 i 的值当作参数传入 scanf,而 scanf 则会把 i 当成了地址,把用户输入的内容存入该处。而该地址因为随机,可能根本就不存在或者不合法。
2 sprintf/printf 参数:%d/%c 写成 %s
int i = 10;printf("%s", i);
分析:打印字串时,实际上是打印某个地址开始的所有字符,而这里把整数作为参数传递过去,这个整数被当成了一个地址,然后 printf 从这个地址开始打印字符,直到某个位置上的值为 \0。如果这个整数代表的地址不存在或者不可访问,自然也是访问了不该访问的内存 —— segmentation fault。
3 数组访问越界
char test[1];printf("%c", test[1000000000]);
注:也可能报告为 Bus Error,可能存在对未对齐的地址读或写。
4 写只读内存
char *ptr = "test";strcpy(ptr, "TEST");
分析:ptr 被定义成了 “test”,是一个只读的内存段,不能直接写入,要写入需要用 malloc 从堆中分配或者定义成一个字符串数组。
5 堆栈溢出
void main(){main();}
分析:上面实际上是一个死循环的递归调用,会造成堆栈溢出。
6 pthread_create() 失败后 pthread_join()
#define THREAD_MAX_NUMpthread_t thread[THREAD_MAX_NUM];
分析:用 pthread_create() 创建了各个线程,然后用 pthread_join() 来等待线程的结束。刚开始直接等待,在创建线程都成功时,pthread_join() 能顺利等到各个线程结束,但是一旦创建线程失败,用 pthread_join() 来等待那个本不存在的线程时自然会存在未知内存的情况,从而导致段错误的发生。解决办法是:在创建线程之前,先初始化线程数组,在等待线程结束时,判断线程是否为初始值,如果是的话,说明线程并没有创建成功,所以就不能等拉。
7 小结
综上所有例子,
- 定义了指针后记得初始化,在使用时记得判断是否为 NULL
- 在使用数组时记得初始化,使用时要检查数组下标是否越界,数组元素是否存在等
- 在变量处理时变量的格式控制是否合理等
其他的就需要根据经验不断积累,更多例子会不断追加到上述列表中。
另外,也务必掌握一些基本的分析和调试手段,即使在遇到新的这类问题时也知道如何应对。
5 分析和调试手段
分析方法除了最简便的 catchsegv 外,还有诸多办法,它们的应用场景各异。
5.1 catchsegv 原理
该工具就是用来扑获段错误的,它通过动态加载器(ld-linux.so)的预加载机制(PRELOAD)把一个事先写好的库(/lib/libSegFault.so)加载上,用于捕捉段错误的出错信息。
5.2 gdb 调试
gdb ./segfault-scanf...Reading symbols from ./segfault-scanf...done.(gdb) rStarting program: segfault-scanf100Program received signal SIGSEGV, Segmentation fault.0x00007ffff7a6b61a in _IO_vfscanf_internal (s=<optimized out>,format=<optimized out>, argptr=argptr@entry=0x7fffffffddc8,errp=errp@entry=0x0) at vfscanf.c:18571857 vfscanf.c: No such file or directory.(gdb) bt#0 0x00007ffff7a6b61a in _IO_vfscanf_internal (s=<optimized out>,format=<optimized out>, argptr=argptr@entry=0x7fffffffddc8,errp=errp@entry=0x0) at vfscanf.c:1857#1 0x00007ffff7a72399 in __isoc99_scanf (format=<optimized out>)at isoc99_scanf.c:37#2 0x0000000000400580 in main ()
5.3 coredump 分析
$ ulimit -c 1024$ gdb segfault-scanf ./coreReading symbols from segfault-scanf...done.[New LWP 16913]Core was generated by `./segfault-scanf'.Program terminated with signal SIGSEGV, Segmentation fault.#0 0x00007fd2d24ec61a in _IO_vfscanf_internal (s=<optimized out>,format=<optimized out>, argptr=argptr@entry=0x7fff14dfa668,errp=errp@entry=0x0) at vfscanf.c:18571857 vfscanf.c: No such file or directory.
5.4 程序内捕获 SIGSEGV 信号并启动 gdb
#include <stdio.h>#include <stdlib.h>#include <signal.h>#include <string.h>void dump(int signo){char buf[1024];char cmd[1024];FILE *fh;snprintf(buf, sizeof(buf), "/proc/%d/cmdline", getpid());if(!(fh = fopen(buf, "r")))exit(0);if(!fgets(buf, sizeof(buf), fh))exit(0);fclose(fh);if(buf[strlen(buf) - 1] == '\n')buf[strlen(buf) - 1] = '\0';snprintf(cmd, sizeof(cmd), "gdb %s %d", buf, getpid());system(cmd);exit(0);}int main(int argc, char *argv[]){int i;signal(SIGSEGV, &dump);scanf("%d\n", i);return 0;}
用法如下:
$ gcc -g -rdynamic -o segfault-scanf segfault-scanf.c$ sudo ./segfault-scanf100(gdb) bt#0 0x00007fb743e065cc in __libc_waitpid (pid=16988,stat_loc=stat_loc@entry=0x7fffb51d8fe0, options=options@entry=0)at ../sysdeps/unix/sysv/linux/waitpid.c:31#1 0x00007fb743d8b1d2 in do_system (line=<optimized out>)at ../sysdeps/posix/system.c:148#2 0x0000000000400ba1 in dump (signo=11) at segfault-scanf.c:21#3 <signal handler called>#4 0x00007fb743d9c61a in _IO_vfscanf_internal (s=<optimized out>,format=<optimized out>, argptr=argptr@entry=0x7fffb51da318,errp=errp@entry=0x0) at vfscanf.c:1857#5 0x00007fb743da3399 in __isoc99_scanf (format=<optimized out>)at isoc99_scanf.c:37#6 0x0000000000400bdd in main (argc=1, argv=0x7fffb51da508)at segfault-scanf.c:31
5.5 程序内捕获 SIGSEGV 信号并调用 backtrace 获取回调
#include <stdio.h>#include <stdlib.h>#include <signal.h>#include <string.h>#include <execinfo.h>void dump(int signo){void *array[10];size_t size;char **strings;size_t i;size = backtrace (array, 10);strings = backtrace_symbols (array, size);printf ("Obtained %zd stack frames.\n", size);for (i = 0; i < size; i++)printf ("%s\n", strings[i]);free (strings);exit(0);}int main(int argc, char *argv[]){int i;signal(SIGSEGV, &dump);scanf("%d\n", i);return 0;}
用法如下:
$ gcc -rdynamic -o ./segfault-scanf segfault-scanf.c$ ./segfault-scanf100Obtained 7 stack frames../segfault-scanf() [0x40077e]/lib/x86_64-linux-gnu/libc.so.6(+0x36c30) [0x7f249fa43c30]/lib/x86_64-linux-gnu/libc.so.6(_IO_vfscanf+0x303a) [0x7f249fa6461a]/lib/x86_64-linux-gnu/libc.so.6(__isoc99_scanf+0x109) [0x7f249fa6b399]./segfault-scanf-call-backtrace() [0x400837]/lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf5) [0x7f249fa2eec5]./segfault-scanf-call-backtrace() [0x400699]
除此之外,还可以通过 dmesg 查看内核信息并通过 objdump 或者 addr2line 把 IP 地址转化为代码行,不过用法没有 catchsegv 来得简单。dmesg 获取的内核信息由 arch/x86/mm/fault.c: show_signal_msg() 打印。
参考:
Linux 段错误详解 - 泰晓科技 (tinylab.org)
Linux环境下段错误的产生原因及调试方法小结_yuzeze的专栏-CSDN博客_catchsegv
linux Segmentation faults 段错误详解的更多相关文章
- Linux下的段错误(Segmentation fault)
Linux开发中常见段错误问题原因分析 1 使用非法的内存地址(指针),包括使用未经初始化及已经释放的指针.不存在的地址.受系统保护的地址,只读的地址等,这一类也是最常见和最好解决的段错误问题,使用G ...
- Linux下的段错误(Segmentation fault)
Linux下的段错误(Segmentation fault) 段错误是指:访问了系统分配给程序的内存空间之外起的内存空间,比如: 访问不存在的地址 访问受系统保护的地址 访问了只读内存地址 内存访问越 ...
- Linux内存管理之mmap详解
转发之:http://blog.chinaunix.net/uid-26669729-id-3077015.html Linux内存管理之mmap详解 一. mmap系统调用 1. mmap系统调用 ...
- Linux驱动开发必看详解神秘内核(完全转载)
Linux驱动开发必看详解神秘内核 完全转载-链接:http://blog.chinaunix.net/uid-21356596-id-1827434.html IT168 技术文档]在开始步入L ...
- linux下getsockopt和setsockopt详解及测试
linux下getsockopt和setsockopt详解及测试 NAME 名字 getsockopt, setsockopt - get and set options on sockets 获取或 ...
- linux route命令的使用详解 添加永久静态路由 tracert traceroute
linux route命令的使用详解 添加永久静态路由 tracert traceroute route -n Linuxroute print Windows traceroute ...
- 【Python】Linux crontab定时任务配置方法(详解)
CRONTAB概念/介绍 crontab命令用于设置周期性被执行的指令.该命令从标准输入设备读取指令,并将其存放于“crontab”文件中,以供之后读取和执行. cron 系统调度进程. 可以使用它在 ...
- (转)linux 中特殊符号用法详解
linux 中特殊符号用法详解 原文:https://www.cnblogs.com/lidabo/p/4323979.html # 井号 (comments)#管理员 $普通用户 脚本中 #!/b ...
- Linux上的free命令详解、swap机制
Linux上的free命令详解 解释一下Linux上free命令的输出. 下面是free的运行结果,一共有4行.为了方便说明,我加上了列号.这样可以把free的输出看成一个二维数组FO(Free ...
随机推荐
- linux关于profile 、bashrc 、.bash_profile、.bashrc的区别
linux关于profile .bashrc ..bash_profile..bashrc的区别 - /etc/profile /etc/bashrc ~/.bash_profile ~/.bashr ...
- PHP设计模式之状态模式
状态模式从字面上其实并不是很好理解.这里的状态是什么意思呢?保存状态?那不就是备忘录模式了.其实,这里的状态是类的状态,通过改变类的某个状态,让这个类感觉像是换了一个类一样.说起来有点拗口吧,先学习概 ...
- 为Python安装Redis库
为Python安装Redis库,登陆https://github.com/andymccurdy/redis-py 后点击Download ZIP下载安装包. 解压并安装: git clone htt ...
- django class类即视图类添加装饰器的几种方法
根据别人发布整理,个人爱好收集(原文:https://blog.csdn.net/mydistance/article/details/83958655 ) 第一种:定义函数装饰器,在函数,类中使用函 ...
- 【译】.NET Core 3.0 发布小尺寸 self-contained 单体可执行程序
.NET Core 提供的发布应用程序选项 self-contained 是共享应用程序的好方法,因为应用程序的发布目录包含所有组件.运行时和框架.您只需要告诉使用者应用程序的入口 exe 文件,就可 ...
- P5110-块速递推【特征方程,分块】
正题 题目链接:https://www.luogu.com.cn/problem/P5110 题目大意 数列\(a\)满足 \[a_n=233a_{n-1}+666a_{n-2},a_0=0,a_1= ...
- Linux系统自我学习的一些笔记1
远程连接: 1.查看IP地址 ip addr 2.远程登陆linux系统 ssh 主机名@IP地址 文件操作: 新建文件touch 例如:touch test.txt (创建单个文件) 例如:to ...
- 10-Java中共享内存可见性以及synchronized和volatile关键字
Java中共享变量的内存可见性 我们首先来看一下在多线程下处理共享变量时Java的内存模型,如图所示 Java内存模型规定,将所有的变量都存放在主存中,当线程使用变量的时候,会把主内存里面的变量赋值到 ...
- 使用Golang搭建gRPC服务提供给.NetCore客户端调用
目录 gRPC概述 RPC gRPC又是什么呢 安装 Golang IDE(Goland) Protocol Buffer 下载Protocal Buffer 配置Protocal Buffer编译器 ...
- Bert文本分类实践(一):实现一个简单的分类模型
写在前面 文本分类是nlp中一个非常重要的任务,也是非常适合入坑nlp的第一个完整项目.虽然文本分类看似简单,但里面的门道好多好多,作者水平有限,只能将平时用到的方法和trick在此做个记录和分享,希 ...