Windows堆栈限制检查回顾，后续

<p><a href="https://aarongiles.com/"> Aaron Giles</a> 参与了将Windows移植到ARM32和AArch64的工作，他<a href="https://bsky.app/profile/did:plc:rozrlqzq7umwvv5etd7slmxz/post/3mhk2isogwc2q?ref_src=embed">指出</a>我之前的<a title="Windows stack limit checking retrospective: arm64, also known as AArch64" href="https://devblogs.microsoft.com/oldnewthing/20260320-00/?p=112154">ARM64堆栈限制检查回顾</a>中遗漏了一个细节：</p> <blockquote class="bluesky-embed" data-bluesky-uri="at://did:plc:rozrlqzq7umwvv5etd7slmxz/app.bsky.feed.post/3mhk2isogwc2q" data-bluesky-cid="bafyreihi4tton7infgddx7csbqjm5xljewdwpfeoi27narlqdbfghlsp2a" data-bluesky-embed-color-mode="system"> <p lang="en">每隔一段时间，Raymond Chen就会发表一系列架构对比文章，我就能看到（经过转述的）自己很久以前写的代码。他关于我们为何传递stack size/16的解释是正确的，但让我惊讶的是他没有提到非常规的x15使用。</p> <p>— Aaron Giles (<a href="https://bsky.app/profile/did:plc:rozrlqzq7umwvv5etd7slmxz?ref_src=embed">@aarongiles.com</a>) <a href="https://bsky.app/profile/did:plc:rozrlqzq7umwvv5etd7slmxz/post/3mhk2isogwc2q?ref_src=embed"> 2026年3月20日 晚上8:08</a></p></blockquote> <p><script async src="https://embed.bsky.app/static/embed.js" charset="utf-8"></script></p> <p>我猜“非常规的x15使用”指的是：“为什么参数是通过<code>x15</code>寄存器传递的？AArch64调用约定将第一个参数放在<code>x0</code>寄存器中，那么这个参数不应该是<code>x0</code>寄存器吗？”</p> <p>我觉得这太明显了，所以认为不值得提及。</p> <p>需要执行堆栈探测的函数陷入了一个两难境地：它有自己的入站参数，其中一些可能通过寄存器传递。如果堆栈大小参数像普通参数一样传递给堆栈探测函数，那么调用函数必须将原始的入站参数保存到某处。但它不能将它们保存到堆栈上，因为在使用堆栈之前必须先进行堆栈探测。</p> <p>解决方案是为堆栈探测函数提供自定义调用约定，将其限制在未用于接收入站参数的临时寄存器。</p> <table style="border-collapse: collapse;" border="1" cellspacing="0" cellpadding="3"> <tbody> <tr> <th>架构</th> <th>用于参数</th> <th>分配大小</th> <th>同时修改</th> </tr> <tr> <td>8086</td> <td>&nbsp;</td> <td><tt>ax</tt></td> <td><tt>bx</tt>, <tt>dx</tt></td> </tr> <tr> <td>x86-32</td> <td><tt>ecx</tt></td> <td><tt>eax</tt></td> <td>&nbsp;</td> </tr> <tr> <td>MIPS</td> <td><tt>a0</tt>…<tt>a3</tt></td> <td><tt>t8</tt></td> <td>&nbsp;</td> </tr> <tr> <td>PowerPC</td> <td><tt>r3</tt>…<tt>r10</tt></td> <td><tt>r12</tt></td> <td><tt>r0</tt>, <tt>r11</tt></td> </tr> <tr> <td>Alpha AXP</td> <td><tt>a0</tt>…<tt>a5</tt></td> <td><tt>t12</tt></td> <td><tt>t8</tt>, <tt>t9</tt>, <tt>t10</tt></td> </tr> <tr> <td>x86-64</td> <td><tt>rcx</tt>, <tt>rdx</tt>, <tt>r8</tt>, <tt>r9</tt></td> <td><tt>rax</tt></td> <td><tt>r10</tt>, <tt>r11</tt></td> </tr> <tr> <td>AArch64</td> <td><tt>x0</tt>…<tt>x7</tt></td> <td><tt>x15</tt></td> <td><tt>x16</tt>, <tt>x17</tt></td> </tr> </tbody> </table> <p>处理器架构的调用约定会将某些寄存器指定为“超易失”，通常是那些保留给汇编临时变量或用于模块间函数调用的寄存器。这些寄存器非常适合堆栈探测函数使用，因为它们绝对不可能用于普通参数传递。</p> <p>例如，PowerPC使用<tt>r11</tt>，AArch64使用<tt>r16</tt>和<tt>r17</tt>，它们都可用于函数胶水桩。其他机会则被忽略了：MIPS和Alpha AXP本可以使用<tt>at</tt>，不过我能理解他们可能想避免使用它，因为汇编器在汇编伪指令时可能会隐式地使用它们。</p> <p>本文章<a href="https://devblogs.microsoft.com/oldnewthing/20260617-00/?p=112436">Windows堆栈限制检查回顾，后续</a>首发于<a href="https://devblogs.microsoft.com/oldnewthing">The Old New Thing</a>。</p>