</nav><p>针对异步硬件生成的异常和同步软件生成的异常，ARM64 上的 Windows 将使用相同的结构化异常处理机制。 将通过使用语言帮助器函数，基于 Windows 结构化异常处理来生成特定于语言的异常处理程序。 本文档介绍 ARM64 上 Windows 中的异常处理。 本文档阐述了由 Microsoft ARM 汇编程序和 MSVC 编译器生成的代码所使用的语言帮助程序。</p> 讯享网
异常展开数据约定和此描述旨在：
提供足够的描述以允许在所有情况下都可进行展开而无需代码探测。
分析代码需要对代码进行分页。 它可在某些十分有用的情况下（跟踪、采样、调试）阻止展开。
分析代码非常复杂；编译器必须小心，仅生成展开器可以解码的指令。
如果无法使用展开代码来完整描述展开，则在某些情况下，必须回退到指令解码。 指令解码会增加整体复杂性，理想情况下应避免。
支持在 prolog 中间和 epilog 中间展开。
展开在 Windows 中不仅用于异常处理。 至关重要的是，即使是在 prolog 或 epilog 代码序列中间，代码也可以准确地展开。
占用最少量的空间。
展开代码不得进行聚合以显著增加二进制文件大小。
由于展开代码可能会在内存中锁定，因此，较小的内存占用可确保每个加载的二进制文件的开销最小。
在异常处理描述中进行了以下假设：
Prolog 和 epilog 往往互为镜像。 利用这种常见特性，描述展开所需的元数据大小可以大幅降低。 在函数主体中，无论是撤销 prolog 操作，还是以前进的方式执行 epilog 操作都不重要。 这两种操作应产生完全相同的结果。
总体上，函数往往相对较小。 多个空间优化依赖于此事实来实现最高效的数据打包。
epilog 中没有条件代码。
专用帧指针寄存器：如果 保存在 prolog 中的另一个寄存器 () 中，则该寄存器在整个函数中保持不变。 这意味着原始的 可以随时恢复。
除非 保存在另一个寄存器中，否则堆栈指针的所有操作都必须严格在 prolog 和 epilog 内执行。
堆栈帧布局按下一部分所述方式进行组织。
讯享网
对于帧链接函数， 和 对可以保存在局部变量区域中的任意位置保存，具体取决于优化注意事项。 目标是最大程度地提高单个指令基于帧指针 () 或堆栈指针 () 可以访问的局部变量数。 但是，对于 函数，它必须进行链接，并且 必须指向堆栈底部。 为了实现更好的寄存器对寻址模式覆盖范围，非易失性寄存器保存区位于本地区域堆栈顶部。 以下示例演示几个最高效的 prolog 序列。 为清楚起见和实现更好的缓存区域，在所有规范 prolog 中存储被调用方保存的寄存器的顺序都是“递增”顺序。 下面的 表示整个堆栈的大小（不包括 区域）。 和 分别表示本地区域大小（包括 对的保存区域）和传出参数大小。
链式，#localsz <= 512 讯享网
链式，#localsz > 512
非链式，叶函数（ 未保存） 讯享网 所有局部变量都基于 进行访问。 指向前一帧。 对于帧大小 <= 512，如果寄存器保存的区域移动到堆栈底部，则可以优化掉 。 缺点是它与上面的其他布局不一致， 并且保存的寄存器会占用对寄存器以及索引前和索引后偏移寻址模式的范围。
非链式，非叶函数（ 保存在 Int 保存区域中） 或者，对于偶数个已保存 Int 寄存器，
讯享网 仅保存 ：
* 寄存器保存区域分配不会折叠到 中，因为索引前寄存器 lr 无法使用展开代码进行表示。
所有局部变量都基于 进行访问。 指向前一帧。
链式，#framesz <= 512，#outsz = 0 讯享网 与上面的第一个 prolog 示例相比，此示例有一个优点：所有寄存器保存指令都在仅一个堆栈分配指令之后即可执行。 这意味着对 不会有阻止指令级并行的任何反依赖关系。
链式，帧大小 > 512（对于不带 的函数是可选的） 出于优化目的， 可以置于本地区域中的任意位置，以便为“寄存器对”和索引前/索引后偏移寻址模式提供更好的覆盖范围。 帧指针下的局部变量可以基于 进行访问。
链式，帧大小 > 4K，带有或没有 alloca()， 讯享网
记录是由固定长度项组成的有序数组，这些项描述了 PE 二进制文件中每个堆栈操作函数。 短语“堆栈操作”非常重要：无需任何本地存储、无需保存/还原非易失性寄存器、无需 记录的叶函数。 应显式省略这些记录以节省空间。 从这些函数之一进行展开可能会直接从 获取返回地址，以向上移动到调用方。
ARM64 的每个 记录的长度是 8 个字节。 每个记录的一般格式是将函数起始位置的 32 位 RVA 放置在第一个字中，后跟第二个字，该字包含指向长度可变的 块的指针，或包含描述规范函数展开序列的已打包字。
字段如下所示：
函数起始 RVA
标志是指示如何解释第二个 字的剩余 30 位的一个 2 位字段
异常信息 RVA 是 部分中存储的长度可变的异常信息结构的地址
已打包的展开数据
当已打包的展开格式不足以描述函数的展开时，必须创建长度可变的 记录。 该记录的地址存储在 记录的第二个字中。 的格式是已打包的长度可变的字集：
此数据分为四个部分：
1 个字或 2 个字的标头，描述结构的总大小并提供密钥函数数据。 第二个字仅在 Epilog 计数
a. 函数长度
b. Vers
c. X
d. E
e. Epilog 计数
如果 E
如果 E
f. 代码字
g. 扩展 Epilog 计数
如果 epilog 的计数不为零，则有关 epilog 范围的信息列表（将一个单词打包为一个单词）将出现在标头和可选的扩展标头之后。 它们按增加起始偏移的顺序存储。 每个范围都包含以下位： a. Epilog 起始偏移
b. Res
c. Epilog 起始索引
epilog 范围列表之后是包含展开代码的字节数组（在后面部分中进行了详细介绍）。 在最接近的全字边界的末尾处填充此数组。 展开代码会写入此数组。 它们从最接近函数主体的一个开始，然后向前移动到函数的边缘。 每个展开代码的字节都以 big-endian 顺序存储，因此首先提取最高有效字节，该字节标识代码的操作和其余代码的长度。
最后，如果标头中的 X
记录的设计目的是为了能够提取前 8 个字节并使用它们计算该记录的完整大小，减去它后面的大小可变的异常数据的长度。 以下代码段将计算记录大小：
虽然 prolog 和每个 epilog 都具有自己的指向展开代码的索引，但此表对它们而言是通用的。 它们共享相同代码是完全可能的（而且并不罕见）。 （有关示例，请参阅示例部分中的示例 2。）特别是编译器编写器应针对此情况进行优化。 因为可指定的最大索引为 255，这限制了特定函数的展开代码的总数。
展开代码的数组是准确描述如何撤消 prolog 效果的序列的池， 这些序列按照需要撤消操作的相同顺序进行存储。 展开代码可以视为编码为字节字符串的小型指令集。 执行完成后，调用函数的返回地址处于 寄存器中。 并且非易失性寄存器将还原为调用函数时它们的值。
如果可保证异常仅出现在函数主体内部，并且始终不会出现在 prolog 或任何 epilog 内部，则仅需要一个序列。 但是，Windows 展开模式需要可以从部分执行的 prolog 或 epilog 中进行展开。 为了满足此需求，已谨慎地将展开代码设计为对 prolog 和 epilog 中的每个相关操作码进行明确的 1:1 映射。 此设计具有几方面的含义：
可通过计算展开代码的数量来计算 prolog 和 epilog 的长度。
通过计算超出某个 epilog 范围起始位置的指令数，可以跳过相等数量的展开代码。 可以执行序列的其余部分以完成由 epilog 进行的部分执行展开。
通过计算 prolog 结尾之前的指令数，可以跳过相等数量的展开代码。 可以执行序列的其余部分，以仅撤消 prolog 中已完成执行的那些部分。
展开代码按下表进行编码。 所有展开代码都是单字节/双字节，除了分配大型堆栈 () 的代码。 总共有 22 个展开代码。 每个展开代码只映射 prolog/epilog 中的一个指令，以便可以对部分执行的 prolog 和 epilog 进行展开。
展开代码 位和解释 000xxxxx：分配小型堆栈，大小为 < 512 (2^5 * 16)。 001zzzzz：将 对保存在 ，索引前偏移 >= -248 01zzzzzz：将 对保存在 ，偏移 <= 504。 10zzzzzz：将 对保存在 ，索引前偏移 >= -512 11000xxx'xxxxxxxx：分配大型堆栈，大小为 < 32k (2^11 * 16)。 xx'xxzzzzzz：将 对保存在 ，偏移 <= 504 xx'xxzzzzzz：将 对保存在 ，索引前偏移 >= -512 xx'xxzzzzzz：将寄存器 保存在 ，偏移 <= 504 x'xxxzzzzz：将寄存器 保存在 ，预索引偏移 >= -256 x'xxzzzzzz：将 对保存在 ，偏移 <= 504 x'xxzzzzzz：将 对保存在 ，偏移 <= 504 x'xxzzzzzz：将 对保存在 ，预索引偏移 >= -512 x'xxzzzzzz: 将寄存器 保存在 ，偏移 <= 504 'xxxzzzzz：将寄存器 保存在 ，预索引偏移 >= -256 'xxxxxxxx'xxxxxxxx'xxxxxxxx：分配大型堆栈，大小为 < 256M (2^24 * 16) ：使用 设置 'xxxxxxxx：使用 设置 ：不需要任何展开操作。 ：展开代码结尾。 在 epilog 中隐含 。 ：当前链式范围中的展开代码结尾。 ：保存下一个非易失性 Int 或 FP 寄存器对。 ：已预留 11101xxx：为以下自定义堆栈情况保留，仅为 asm 例程生成 ： 的自定义堆栈 ： 的自定义堆栈 ： 的自定义堆栈 ： 的自定义堆栈 ： 的自定义堆栈 ：已预留 ：已预留 ：已预留 11110xxx：已预留 'yyyyyyyy：已预留 'yyyyyyyy'yyyyyyyy：已预留 'yyyyyyyy'yyyyyyyy'yyyyyyyy：已预留 'yyyyyyyy'yyyyyyyy'yyyyyyyy'yyyyyyyy：已预留 ：使用 对 中的寄件人地址进行签名 ：已预留 ：已预留 ：已预留
在具有涵盖多个字节的较大值的指令中，将首先存储最高有效位。 此设计使你可以通过只查找代码的第一个字节来获得展开代码的总大小（以字节为单位）。 由于每个展开代码都精确映射到 prolog 或 epilog 中的一个指令，因此可以计算 prolog 或 epilog 的大小。 可以从序列的开头审核到结尾，然后使用查找表或类似设备来确定相应操作码的长度。
prolog 中不允许使用索引后偏移寻址。 所有偏移范围 (#Z) 都匹配 / 寻址的编码， 除外，在这种情况下，248 足以用于所有保存区域（10 个 Int 寄存器 + 8 个 FP 寄存器 + 8 个输入寄存器）。
必须遵循 Int 或 FP 易失性寄存器对的保存：、、、、 或其他 。 它会按“递增”顺序将下一个寄存器对保存在下一个 16 字节槽。 当 跟在 表示最后一个 Int 寄存器对的 后时，指第一个 FP 寄存器对。
由于常规返回和跳转指令的大小相同，因此不需要对尾调用方案使用分隔的 展开代码。
旨在处理非连续函数片段，以实现优化。 一个 ，指示当前范围中的展开代码结尾必须后跟以真实 结尾的另一个展开代码序列。 和 之间的展开代码表示父区域中的 prolog 操作（“虚拟”prolog）。 下面一节介绍了更多详细信息和示例。
对于 prolog 和 epilog 遵循如下所述的规范格式的函数，可以使用已打包的展开数据。 这类数据完全无需 记录，并且可以显著减少提供展开数据所需的成本。 规范的 canonical prolog 和 epilog 旨在满足简单函数的常见要求，该函数不需要异常处理程序并且会按照标准顺序执行其安装和停止操作。
具有已打包展开数据的 记录的格式如下所示：
字段如下所示：
函数起始 RVA
标志
00 = 未使用的已打包展开数据；剩余的位指向 记录
01 = 已打包展开数据在范围开头和结尾与单个 prolog 和 epilog 一起使用
10 = 已打包展开数据用于没有任何 prolog 和 epilog 的代码。 用于描述分隔函数段
11 = 保留。
函数长度
帧大小
CR
00 = 非链式函数， 对不保存在堆栈中
01 = 非链式函数， 保存在堆栈中
10 = 带有 签名返回地址的链式函数
11 = 链式函数，在 prolog/epilog 中使用存储/加载对指令
H
RegI
RegF
属于上一部分中的类别 1、2（无传出参数区域）、3 和 4 的规范 prolog 可以使用已打包展开格式进行表示。 规范函数的 epilog 遵循类似形式，但 H
步骤 0：预先计算每个区域的大小。
步骤 1：对寄件人地址签名。
步骤 2：保存被调用方保存的 Int 寄存器。
步骤 3：此步骤特定于前面部分中的类型 4。 保存在 Int 区域结尾。
步骤 4：保存 FP 被调用方保存的寄存器。
步骤 5：在寻址参数区域保存输入参数。
步骤 6：分配剩余堆栈，包括本地区域、 对和传出参数区域。 6a 对应于规范类型 1。 6b 和 6c 适用于规范类型 2。 6d 和 6e 适用于类型 3 和类型 4。
步骤编号 标志值 指令数 操作码 展开代码 0
CR == 10 1 2 0 <RegI<= 10
CR == 10 ||
CR == 11) &&
CR == 10 ||
CR == 11) &&
CR == 10 ||
CR == 11) &&
CR == 00 ||
CR == 01) &&
CR == 00 ||
CR == 01) &&
* 如果 CR == 01 且 RegI 是奇数，则步骤 3 和步骤 2 中的最后 一个合并为一个 。
如果 RegI == CR == 0，且 RegF != 0，则浮点的第一个 会执行前递减
* epilog 中不存在与 对应的指令。 如果函数需要从 还原 ，则无法使用已打包展开数据。
在最常见的展开情况下，异常或调用在函数主体中出现，远离 prolog 和所有 epilog。 在这些情况下，展开非常简单：展开器只需执行展开数组中的代码。 它从索引 0 开始，一直持续到检测到 操作码为止。
如果在执行 prolog 或 epilog 时发生异常或中断，则更难以正确展开。 在这些情况下，堆栈帧只会进行部分构造。 问题在于精确确定已执行的操作，以正确撤消。
例如，采用以下 prolog 和 epilog 序列：
讯享网
每个操作码旁是相应的展开代码，用于描述此操作。 可以看到，prolog 展开代码序列如何是 epilog 展开代码的精确镜像（不计入 epilog 的最终指令）。 这是一种常见情况：这就是我们始终将 prolog 的展开代码假设为以与 prolog 执行顺序相反的顺序进行存储的原因。
因此，对于 prolog 和 epilog，我们剩下一组通用的展开代码：
、、、、
epilog 情况非常简单，因为它按正常顺序进行。 从 epilog 中的偏移 0 开始（这会从函数中的偏移 0x100 开始），我们希望执行完整展开序列，因为尚未进行任何清理。 如果我们自己在其中找到一个指令（epilog 中的偏移 2 处），则可以通过跳过第一个展开代码来成功展开。 我们可以一般化这种情况，并假设操作码与展开代码之间存在 1:1 映射。 然后，若要从 epilog 中的指令 n
事实证明，类似逻辑适用于 prolog，不过顺序相反。 如果要从 prolog 中的偏移 0 开始展开，则无需执行任何操作。 如果从偏移 2（一个指令在其中）展开，则我们要从结尾开始执行展开序列的一个展开代码。 （请记住，代码按相反顺序存储。）在这里也可以进行一般化：如果从 prolog 中的指令 n 开始展开，则应从代码列表结尾开始执行 n 个展开代码。
Prolog 和 epilog 代码并不总是完全匹配，这就是展开数组可能需要包含多个代码序列的原因。 若要确定开始处理代码的偏移，请使用以下逻辑：
如果从函数主体内部展开，请在索引 0 处开始执行展开代码，并且继续该操作，直到命中 操作码。
如果从 epilog 内部展开，请使用由 epilog 范围提供的特定于 epilog 的起始索引作为起始点。 计算相关电脑从 epilog 开始位置读取的字节数。 然后在展开代码中快进，跳过展开代码，直到处理完所有已执行的指令。 然后从该点开始执行。
如果从 prolog 内部展开，请使用索引 0 作为起始点。 计算序列中的 prolog 代码的长度，然后计算相关电脑从 prolog 结束位置读取的字节数。 然后在展开代码中快进，跳过展开代码，直到处理完所有未执行的指令。 然后从该点开始执行。
这些规则意味着 prolog 的展开代码必须始终位于数组的最前面。 而且在从主体内部展开的一般情况下，prolog 的展开代码也是用于展开的代码。 特定于 epilog 的任何代码序列应紧随其后。
出于代码优化目的和其他原因，最好将函数拆分为分隔片段（也称为区域 ）。 拆分时，生成的每个函数片段都需要各自单独的 （并且可能需要 ）记录。
对于具有自己的 prolog 的每个分隔辅助片段，其 prolog 中不应进行任何堆栈调整。 辅助区域所需的所有堆栈空间都必须由其父区域（或称为主机区域）预先分配。 此预分配操作会将堆栈指针操作严格保留在函数原始 prolog 中。
函数片段的典型情况是“代码分隔”，其中，编译器可能会将代码区域移出其主机函数。 有三种异常情况可能会导致代码分离。
示例
（区域 1：开头）
（区域 1：结尾）
（区域 3：开头） 讯享网
（区域 3：结尾）
（区域 2：开头）
（区域 2：结尾）
仅 Prolog（区域 1：所有 epilog 都在分隔区域中）： 仅仅必须描述 prolog。 此 prolog 不能以紧凑 格式进行表示。 对于完整 ，它可以通过设置 Epilog 计数 = 0 来表示。 请参阅上面示例中的区域 1。
展开代码：、、、。
仅 Epilog（区域 2：prolog 在主机区域中） 假设到控制跳转到此区域中时，已执行了所有 prolog 代码。 部分展开可以按照与正常函数中相同的方式在 epilog 中进行。 此类型的区域不能由紧凑 进行表示。 在完整 记录中，它可以使用“虚拟”prolog 进行编码，由 和 展开代码对括起来。 前导 指示 prolog 的大小为零。 单个 epilog 的 epilog 起始索引指向 。
区域 2 的展开代码：、、、、。
没有 prolog 或 epilog（区域3：prolog 和所有 epilog 都在其他片段中）： 可以通过设置标志 = 10 来应用紧凑 格式。 对于完整 记录，Epilog 计数 = 1。 展开代码与上面区域 2 的代码相同，但是 Epilog 起始索引也指向 。 部分展开从不会发生在此代码区域中进行。
函数片段的另一种更复杂的情况是“收缩包装”。编译器可能会选择延迟保存某些被调用方保存的寄存器，直到位于函数入口 prolog 之外。
（区域 1：开头） 讯享网
（区域 2：开头）
（区域 2：结尾） 讯享网
（区域 1：结尾）
在区域 1 的 prolog 中，预先分配了堆栈空间。 可以看到，区域 2 将具有相同的展开代码，即使它已移出其主机函数。
区域 1：、、、。 Epilog 起始索引与平常一样指向 。
区域2：、、、、、。 Epilog 起始索引指向第一个展开代码 。
片段可用于描述大小超过 标头中位字段设定的 1M 限制的函数。 若要描述类似于这样的极大的函数，需要将它分解为小于 1M 的片段。 应当调整每个片段，以便它不会将 epilog 拆分为多个部分。
仅函数的第一个片段包含 prolog；所有其他片段都被标记为不包含 prolog。 根据 epilog 的数目，每个片段可能包含零个或多个 epilog。 请记住，片段中的每个 epilog 范围指定相对于该片段开头处（而非函数的开始位置）的起始偏移。
如果片段没有 prolog 和 epilog，则它仍然需要自己的 （并且可能需要 ）记录，以描述如何从函数主体内部展开。
讯享网
Epilog 起始索引 [0] 指向相同的 Prolog 展开代码序列。
Epilog 起始索引 [4] 指向 Prolog 展开代码的中间（部分重用展开数组）。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/188941.html