c/c++的堆栈检查

最新推荐文章于 2024-06-08 18:05:00 发布

原创

最新推荐文章于 2024-06-08 18:05:00 发布 · 1.7k 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#存储 #allocation #windows #c

本文详细介绍了Windows线程栈的工作原理，当声明数组时，系统按需分配物理内存。C/C++为了保证安全访问，采用了堆栈检查机制。堆栈检查通过计算所需堆栈大小，遍历新分配的页面，确保所有变量都有物理存储器。如果发生栈回绕，将抛出栈溢出异常。文章解析了堆栈检查的代码实现，确保线程内的每个变量都有对应的物理存储器。

windows线程栈有个特点：分配虚拟内存的时候并不给它指定物理存储器，只有在访问上一个页面的时候，才会给当前页面指定物理存储器。也就是说当你声明一个数组a[10000]时候，系统只会给a[0]~a[999]分配物理存储器，当你访问a[0]~a[999]中任意一个元素的时候，系统才会给a[1000]~a[1999]分配物理存储器，如果直接访问一个没有指定物理存储器的地址，操作系统会直接杀死你的进程，连异常处理的机会都没有。但是在c/c++中，为了让开发人员能够任意的访问,比如说一开始就访问a[1000]，c++会在运行时插入堆栈检查的代码，来保证访问的安全。

以下是堆栈检查的代码：

实际上，堆栈检查做了以下事情：

step1：知道函数需要的堆栈大小hSzie；

step2：根据当前的堆栈指针esp和hSize算出分配虚拟内存之后的堆栈指针espNew；

step3：设esp所在的页面为page0，espNew所在的页面为pagei，对page0和pagei之间的页面都访问一次，这样就保证系统对函数声明的所有变量都分配了物理存储器。