操作系统陷阱：寻址错误的触发条件及产生原因解析

各位好，咱们先把内存保护的基本逻辑掰扯清楚，再聊聊那些常见的内存地址越界场景和背后的原因。

当系统给某个进程分配好专属的逻辑内存空间后，会靠**base register（基址寄存器）和limit register（限长寄存器）**给这块空间加上“防护锁”，防止进程乱碰不属于自己的内存区域。CPU硬件会自动把每个内存访问请求的地址和这两个寄存器的值做比对，只要满足下面任一条件，立刻触发操作系统陷阱：

• 目标地址小于基址寄存器的数值
• 目标地址大于或等于限长寄存器的数值

这个防护逻辑看下面这张示意图就一目了然了：

举个典型的触发场景例子：

用户模式下运行的程序要是尝试访问操作系统的内存区域，或者其他用户进程的内存，马上就会触发操作系统陷阱。

那接下来重点说说，哪些常见情况会导致程序请求的地址超出自己的分配空间？背后的诱因又是什么？

常见越界场景及诱因 #

• 数组越界访问：这绝对是最频繁出现的情况。比如你定义了一个长度为5的数组int arr[5]，结果代码里写了arr[10]去访问第11个元素——数组下标超出了合法范围，直接指向了分配空间外的地址。大多是因为循环边界处理失误，比如用for (int i=0; i<=5; i++)而不是<5，多跑了一次循环。
• 指针操作失误：比如野指针（指向已释放内存或未初始化的指针），或者手动计算指针偏移时算错了数值。比如char* ptr = malloc(10); ptr += 20;，这时候ptr已经指向了malloc分配的10字节空间之外。还有一种情况是把指针强制转换成错误的类型，导致偏移计算逻辑出错。
• 栈溢出：当函数递归调用层数太深，或者在栈上分配了过大的局部变量（比如一个超级大的数组int big_arr[100000];），栈空间就会不够用，溢出到栈之外的内存区域，这时候访问的地址自然超出了进程的合法空间。
• 悬垂指针访问：比如你用free(ptr)释放了一块内存，之后还拿着ptr去读写，这时候ptr指向的空间可能已经被系统回收并分配给了其他地方，再访问就会触发越界。
• 缓冲区溢出：比如使用gets()这种不安全的函数读取输入，输入的内容长度超过了缓冲区的大小，就会把数据写到缓冲区之外的内存区域，直接触发越界。现在虽然很多编译器会加防护机制，但一些老旧代码或者手动处理输入的场景还是会出现这类问题。

内容的提问来源于stack exchange，提问作者8protons