前些天有位朋友找到我，說他的程序跑著跑著就崩潰了，讓我看下怎么回事，其實(shí)沒怎么回事，抓它的 crash dump 就好，具體怎么抓也是被問到的一個(gè)高頻問題，這里再補(bǔ)一下鏈接： [.NET程序崩潰了怎么抓 Dump ? 我總結(jié)了三種方案]?/huangxincheng/p/?，采用第二種 AEDebug 的形式抓取即可。
(相關(guān)資料圖)
如果dump中塞了異常，用 windbg 打開的時(shí)候會(huì)有一個(gè)提示?This dump file has an exception of interest stored in it，輸出如下：
************* Path validation summary **************Response ? ? ? ? ? ? ? ? ? ? ? ? Time (ms) ? ? LocationDeferred ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? SRV*C:\mysymbols*/download/symbolsSymbol search path is: SRV*C:\mysymbols*/download/symbolsExecutable search path is: Windows 7 Version 7601 (Service Pack 1) MP (4 procs) Free x64Product: Server, suite: Enterprise TerminalServer SingleUserTSDebug session time: Wed Jun 14 13:34: 2023 (UTC + 8:00)System Uptime: 0 days 3:28: Uptime: 0 days 0:00:......................................................................................................................................................................................This dump file has an exception of interest stored in stored exception information can be accessed via .ecxr.(): Stack overflow - code c00000fd (first/second chance not available)For analysis of this file, run !analyze -vclr!SlowAllocateString+0x11:000007fe`f9236451 48c785b0fffffffeffffff mov qword ptr [rbp-50h],0FFFFFFFFFFFFFFFEh ss:00000000`123d5fd0=0000000000000000
從卦中看當(dāng)前有一個(gè)?Stack overflow - code c00000fd異常，說實(shí)話好久都沒看到?棧溢出了，甚是想念，既然說棧溢出了，那就看下異常前是個(gè)啥情況，使用?.excr即可。
0:028> .excr;krax=00000000123d6048 rbx=00000000123d5d70 rcx=0000000000000001rdx=0000000000000001 rsi=0000000000000000 rdi=00000000123d5880rip=000007fef9236451 rsp=00000000123d5fb0 rbp=00000000123d6020 r8=00000000ffffffff ?r9=0000000000000000 r10=00000000123d618er11=0000000000000000 r12=0000000000000000 r13=0000000000000000r14=0000000000000000 r15=0000000000000001iopl=0 ? ? ? ? nv up ei pl nz na pe nccs=0033 ?ss=002b ?ds=002b ?es=002b ?fs=0053 ?gs=002b ? ? ? ? ? ? efl=00010200clr!SlowAllocateString+0x11:000007fe`f9236451 48c785b0fffffffeffffff mov qword ptr [rbp-50h],0FFFFFFFFFFFFFFFEh ss:00000000`123d5fd0=0000000000000000 ?*** Stack trace for last set context - .thread/.cxr resets it # Child-SP ? ? ? ? ?RetAddr ? ? ? ? ? ? ? Call Site00 00000000`123d5fb0 000007fe`f920a5bd ? ? clr!SlowAllocateString+0x1101 00000000`123d6050 000007fe`f920a9c7 ? ? clr!StringObject::NewString+0x2502 00000000`123d6080 000007fe`f920a80d ? ? clr!Int32ToDecStr+0xdf03 00000000`123d6320 000007fe`9ab3bb72 ? ? clr!COMNumber::FormatInt32+0x10d04 00000000`123d65f0 000007fe`9ab33e04 ? ? 0x000007fe`9ab3bb7205 00000000`123d6630 000007fe`9ab3be52 ? ? 0x000007fe`9ab33e0406 00000000`123d6720 000007fe`9ab3bd2a ? ? 0x000007fe`9ab3be5207 00000000`123d6790 000007fe`9ab33e35 ? ? 0x000007fe`9ab3bd2a08 00000000`123d67f0 000007fe`9ab3be52 ? ? 0x000007fe`9ab33e3509 00000000`123d68e0 000007fe`9ab3bd2a ? ? 0x000007fe`9ab3be52...ff 00000000`123df860 000007fe`9ab3bd2a ? ? 0x000007fe`9ab3be52
從卦中看，當(dāng)前默認(rèn)的 255 個(gè)棧幀全部被打滿，看樣子是無(wú)限死循環(huán)了，為了能看到托管部分我們改用?!clrstack命令。
0:028> !clrstackOS Thread Id: 0xbc4 (28) ? ? ? ?Child SP ? ? ? ? ? ? ? IP Call Site00000000123d63b8 000007fef9236451 [HelperMethodFrame_PROTECTOBJ: 00000000123d63b8] (Int32, , )00000000123d65f0 000007fe9ab3bb72 xxx___symbol00(Byte[])00000000123d6630 000007fe9ab33e04 xxx___symbol00(Byte[], Int64, Int64, Boolean)00000000123d6720 000007fe9ab3be52 xxx___symbol00(Int32, Int32)00000000123d6790 000007fe9ab3bd2a xxx___symbol00(Byte[], Boolean)00000000123d67f0 000007fe9ab33e35 xxx___symbol00(Byte[], Int64, Int64, Boolean)00000000123d68e0 000007fe9ab3be52 xxx___symbol00(Int32, Int32)00000000123d6950 000007fe9ab3bd2a xxx___symbol00(Byte[], Boolean)00000000123d69b0 000007fe9ab33e35 xxx___symbol00(Byte[], Int64, Int64, Boolean)00000000123d6aa0 000007fe9ab3be52 xxx___symbol00(Int32, Int32)00000000123d6b10 000007fe9ab3bd2a xxx___symbol00(Byte[], Boolean)00000000123d6b70 000007fe9ab33e35 xxx___symbol00(Byte[], Int64, Int64, Boolean)00000000123d6c60 000007fe9ab3be52 xxx___symbol00(Int32, Int32)00000000123d6cd0 000007fe9ab3bd2a xxx___symbol00(Byte[], Boolean)00000000123d6d30 000007fe9ab33e35 xxx___symbol00(Byte[], Int64, Int64, Boolean)00000000123d6e20 000007fe9ab3be52 xxx___symbol00(Int32, Int32)00000000123d6e90 000007fe9ab3bd2a xxx___symbol00(Byte[], Boolean)....000000001244db60 000007fe9ab31f0e _symbol00(, , Byte[])000000001244dbc0 000007fe9ab318e5 (, Int32, Int32, , Int32)
從卦中信息看，是代碼用?Convertxxxx調(diào)用了一個(gè)第三方庫(kù)，在這個(gè)庫(kù)中出現(xiàn)了死遞歸。
按理說不管外界給了什么參數(shù)下去，都不應(yīng)該用死遞歸的方式來(lái)呈現(xiàn)，所以這類問題可以歸于 SDK 的bug，接下來(lái)我們的研究方向就是看下這個(gè) SDK 是何方神圣？
[assembly: AssemblyCopyright("? 2008 O2 Solutions")][assembly: AssemblyProduct("PDFxxx4NET")][assembly: AssemblyCompany("O2 Solutions (/)")][assembly: AssemblyTrademark("PDFxxx4NET is a trademark of O2 Solutions")][assembly: AllowPartiallyTrustedCallers][assembly: AssemblyTitle("Print and convert PDF files to images.")][assembly: RuntimeCompatibility(WrapNonExceptionThrows = true)][assembly: AssemblyDescription("Component for rendering pdf files on .NET platform")][assembly: AssemblyConfiguration("")][assembly: AssemblyInformationalVersion("")][assembly: AssemblyKeyName("")][assembly: AssemblyDelaySign(false)][assembly: CompilationRelaxations(8)][assembly: AssemblyVersion("")]
從卦中看還是 2008 年寫的?版本，而官網(wǎng)早已出了 2023 年版本，也就是說 15年都沒有更新，也是厲害，截圖如下：
到這里就可以給到朋友答案了，讓他看下能否把?PDFRender4NET升級(jí)到最新版本，按理說應(yīng)該就沒有問題了。
心細(xì)的朋友可能會(huì)有一個(gè)疑問，既然都棧溢出了，按理說異常碼應(yīng)該是?c0000005（訪問違例），怎么會(huì)是?c00000fd呢？
這是一個(gè)非常好的問題，要理解為什么是?c00000fd而不是?c0000005，需要你對(duì)棧的布局有一個(gè)比較清晰的理解，為了方便講述，以當(dāng)前的 w3wp 來(lái)繪制一張圖。
畫完這張圖肯定有朋友會(huì)提幾個(gè)反對(duì)意見：
1） 線程棧不是 1M 嗎？ 怎么會(huì)是 512k 呢？
這里要說的是 1M 并不是什么公理，可以在 PE 頭上隨便設(shè)定的，截圖如下：
2）PAGE_GUARD 不是 1個(gè)內(nèi)存頁(yè)嗎？
很多教科書都是按 1個(gè)內(nèi)存頁(yè) 講述的，但這也不是定死的，也可能是多個(gè)內(nèi)存頁(yè)，比如 2個(gè)，5個(gè)，要想驗(yàn)證很簡(jiǎn)單，用?!address -f:Stack觀察下便知。
0:121> !address -f:Stack ? ? ? ?BaseAddress ? ? ?EndAddress+1 ? ? ? ?RegionSize ? ? Type ? ? ? State ? ? ? ? ? ? ? ? Protect ? ? ? ? ? ? Usage-------------------------------------------------------------------------------------------------------------------------- ? ? ? 0`001f0000 ? ? ? ?0`00266000 ? ? ? ?0`00076000 MEM_PRIVATE MEM_RESERVE ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?Stack ? ? ?[~0; ] ? ? ? 0`00266000 ? ? ? ?0`00268000 ? ? ? ?0`00002000 MEM_PRIVATE MEM_COMMIT ?PAGE_READWRITE | PAGE_GUARD ? ? ? ?Stack ? ? ?[~0; ] ? ? ? 0`00268000 ? ? ? ?0`00270000 ? ? ? ?0`00008000 MEM_PRIVATE MEM_COMMIT ?PAGE_READWRITE ? ? ? ? ? ? ? ? ? ? Stack ? ? ?[~0; ] ? ? ? ... ? ? ? 0`15710000 ? ? ? ?0`15788000 ? ? ? ?0`00078000 MEM_PRIVATE MEM_RESERVE ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?Stack ? ? ?[~139; ] ? ? ? 0`15788000 ? ? ? ?0`1578d000 ? ? ? ?0`00005000 MEM_PRIVATE MEM_COMMIT ?PAGE_READWRITE | PAGE_GUARD ? ? ? ?Stack ? ? ?[~139; ] ? ? ? 0`1578d000 ? ? ? ?0`15790000 ? ? ? ?0`00003000 MEM_PRIVATE MEM_COMMIT ?PAGE_READWRITE ? ? ? ? ? ? ? ? ? ? Stack ? ? ?[~139; ]
接下來(lái)我們聊一下什么是?PAGE_GUARD，從名字上看就是?哨兵頁(yè)，說白一點(diǎn)就是 Windows 做?棧伸展的一種系統(tǒng)機(jī)制，當(dāng) rsp 訪問到這個(gè)區(qū)域時(shí)會(huì)引發(fā)系統(tǒng)的?頁(yè)中斷進(jìn)而 COMMIT 更多內(nèi)存頁(yè)，新的 Commit 頁(yè)會(huì)被?哨兵侵占，同時(shí)也會(huì)讓渡 RSP 所占的內(nèi)存頁(yè)給程序使用，這是一種良性機(jī)制，一旦?哨兵無(wú)法侵占更多新的 COMMIT 頁(yè)時(shí)，也就表示棧空間已經(jīng)到位了，這時(shí)候會(huì)將自身的?PAGE_GUARD標(biāo)簽去掉，表示它的使命已完成，如果此時(shí) RSP 訪問到了這個(gè)彌留的?哨兵區(qū)，就會(huì)拋出?c00000fd異常，這種異常只是表示 RSP 進(jìn)入了?哨兵區(qū)，不代表棧空間真的用完了，所以這就是不拋?c0000005的真正原因，畫個(gè)簡(jiǎn)圖如下：
說了這么說，如何去驗(yàn)證呢？非常簡(jiǎn)單，我們提取出?StackLimit, StackBase, RSP即可。
0:028> r rsprsp=00000000123d5fb00:028> !tebTEB at 000007fffff70000 ? ?ExceptionList: ? ? ? ?0000000000000000 ? ?StackBase: ? ? ? ? ? ?0000000012450000 ? ?StackLimit: ? ? ? ? ? 00000000123d10000:028> !address -f:Stack ? ? ? ?BaseAddress ? ? ?EndAddress+1 ? ? ? ?RegionSize ? ? Type ? ? ? State ? ? ? ? ? ? ? ? Protect ? ? ? ? ? ? Usage-------------------------------------------------------------------------------------------------------------------------- ? ? ? 0`123d0000 ? ? ? ?0`123d1000 ? ? ? ?0`00001000 MEM_PRIVATE MEM_RESERVE ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?Stack ? ? ?[~28; ] ? ? ? 0`123d1000 ? ? ? ?0`12450000 ? ? ? ?0`0007f000 MEM_PRIVATE MEM_COMMIT ?PAGE_READWRITE ? ? ? ? ? ? ? ? ? ? Stack ? ? ?[~28; ]