本文详细介绍了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&#x
最低0.47元/天 解锁文章
扫一扫
826
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
