标签：
windows中，每个线程都关联一个stack，stack的默认大小是1M，用于存放临时变量，函数参数，返回地址等。
但是当一个线程开始运行的时候不是其相关stack的内存就真正被提交，因为如果一个进程有10个线程，那么如果这10个线程的stack的内存都被提交，那么虚拟内存就占用了10M，就需要想对应的页表项等开销，而且这10M到底是否被真的使用还是个未知数，所以系统的策略是只提交几个页面，然后通过一个guard page来实现按需提交。
先看一下GUARD_PAGE:
TEB at 7ffdf000 ExceptionList: 0013fd0c StackBase: 00140000 StackLimit: 0013e000 0: kd> dt _TEB 7ffdf000 ntdll!_TEB ...... +0xe0c DeallocationStack : 0x00040000 // 1M stack 范围 StackBase ~ DeallocationStack
0: kd> .formats(0x140000-0x40000)/0n1024 Evaluate expression: Hex: 00000400 Decimal: 1024 Octal: 00000002000 Binary: 00000000 00000000 00000100 00000000 Chars: .... Time: Thu Jan 01 08:17:04 1970 Float: low 1.43493e-042 high 0 Double: 5.05923e-321 // stack 大小 1024KB --- 1M
StackBase ~ StackLimit: 0013e000 这个是 COMMIT 的页面
StackLimit 下个页面是 MEM_COMMIT | PAGE_READWRITE | PAGE_GUARD
StackLimit 再下一个页面是 MEM_RESERVE
也就是说TEB，确切说是TIB记录着线程的guard page。
当一个函数的局部变量过大，例如：char szBuffer[0x10000] = { 0 }，那么线程被系统预先提交的页不满足使用了，那么编译器会在该函数的开头插入_chkstk，用以给该函数提交足够大的stack的页面用以装载很大的局部变量。
_chkstk的核心一个是使ESP减少，另一个就是提交页面，提交页面是个很有趣的过程：
public _alloca_probe _chkstk proc _alloca_probe = _chkstk push ecx ; Calculate new TOS. lea ecx, [esp] + 8 - 4 ; TOS before entering function + size for ret value sub ecx, eax ; new TOS ; Handle allocation size that results in wraparound. ; Wraparound will result in StackOverflow exception. sbb eax, eax ; 0 if CF==0, ~0 if CF==1 not eax ; ~0 if TOS did not wrapped around, 0 otherwise and ecx, eax ; set to 0 if wraparound mov eax, esp ; current TOS and eax, not ( _PAGESIZE_ - 1) ; Round down to current page boundary cs10: cmp ecx, eax ; Is new TOS jb short cs20 ; in probed page? mov eax, ecx ; yes. pop ecx xchg esp, eax ; update esp mov eax, dword ptr [eax] ; get return address mov dword ptr [esp], eax ; and put it at new TOS ret ; Find next lower page and probe cs20: sub eax, _PAGESIZE_ ; decrease by PAGESIZE test dword ptr [eax],eax ; probe page. jmp short cs10 _chkstk endp end
其中，test dword ptr [eax],eax; 可是这行代码仅仅是读了一下eax指向的内存，这里的读操作将触发一个STATUS_GUARD_PAGE异常， 内核通过捕获这个异常，从而知道你的线程已经越过了栈中已提交内存区域的边界， 这时应该增加新的页了。
操作系统规定栈中的 commit 页时，必须逐页提交，具体的实现是：对已提交的内存区域的最后一个页设置 PAGE_GUARD属性，当这个页发生 STATUS_GUARD_PAGE异常时(这个异常会自动清除其 PAGE_GUARD属性)， 再commit下一个页，同时设置其 PAGE_GUARD属 性。
typedef struct _NT_TIB { struct _EXCEPTION_REGISTRATION_RECORD *ExceptionList; PVOID StackBase; // 栈的最高地址 , 栈底 PVOID StackLimit; // 已经commit的栈的内存的最低地址, 栈顶, ..... } NT_TIB;
栈的内存如此排布：
StackBase ----> |..............| <----- 高 - |______________| | |..............| | |______________| | |..............| Protect 00000004 PAGE_READWRITE |______________| State 00001000 MEM_COMMIT |..............| |______________| | |..............| | |______________| | |..............| | StackLimit ---> |______________| <___________||..............| Protect 00000104 PAGE_READWRITE | PAGE_GUARD |______________| <___State 00001000 MEM_COMMIT |..............| | |______________| | |..............| | |______________| State 00002000 MEM_RESERVE (没有Commit的页谈不上Protect) |..............| | |______________| | |..............| <----------/
当一个线程被创建的时候，操作系统会给它的栈reserve一块区域，通常大小为1M，然后立刻在栈顶commit n个pages。
前 n-1 个Page是供线程立刻可以使用，第二个page是守护页面(guard page)， 当线程用完第一个页面的时候，需要更多栈内存会访问到守护页面，操作系统会得到通知。系统会再commit一个页面,把下一个页面作为新的守护页面。
标签：
原文地址：http://www.cnblogs.com/happylong/p/4501485.html
