ADX

您需要了解的内容

工作原理

ADCX 使用进位标志，而 ADOX 使用溢出标志，分别作为独立的进位输入和输出。当数据依赖关系允许时，大整数例程可以交错执行两条进位链。必须妥善控制初始标志值、寄存器分配以及与其他写入标志位的指令之间的相互影响。

适用场景

大数乘法内核可以结合独立进位链来合并部分积，有时还会与 BMI2 MULX 配合使用。这是库内部的一种实现选择，而不是让每次整数加法都变快的全处理器模式。

如何检查支持与启用状态

CPUID.07H.00H:EBX 位 19 表示支持 ADX。例程中使用的任何其他指令族均需单独进行调度。除常规数值结果外，还需验证进位传播和边界情况。

应检查具体的指令和操作数形式，而不是从相邻的扩展中推测支持情况。标量整数特性通常使用通用寄存器；与向量相关的编码并不自动意味着存在向量状态要求。

该特性未确立的内容

ADX 并不保证恒定时间的加密实现，也不会加速所有大整数运算。它并不隐含 BMI2，且使用其他会覆盖所需标志位的指令可能会破坏算法。

实践中的兼容性与性能

正确性不仅取决于速度，还取决于边界用例。零输入、溢出、进位标志、操作数宽度、对齐和内存顺序都可能改变语义。建议优先使用记录了这些细节并提供受支持回退方案的编译器或库接口。

实用验证核对清单

1. 记录所涉及的具体处理器或平台型号，以及应用程序、操作系统和运行时的版本。保留实际错误或要求的原始措辞。
2. 查阅该具体型号的制造商参考资料，然后检查程序运行环境中生效的功能与启用状态。
3. 逐项比对所选二进制文件或后端的每项要求。仅凭名称相似的特性、别名或宽泛的技术标签是不够的。
4. 确认应用程序选择了预期的实现。在不满足要求时，使用其文档中记录的诊断工具和受支持的回退方案。
5. 每次只进行一项受支持的更改并重复相同的负载测试。保留原始配置和恢复路径以便随时使用。

若特性已列出但软件无法使用

首先排查出现故障的具体组件。硬件数据库描述的是记录在案的功能；操作系统或虚拟机监控程序可能会呈现不同的生效环境。非法指令错误同样需要调查实际发生故障的指令和二进制构建版本，因为数据损坏或不相关的未受支持指令也可能产生类似症状。

安装适用于该特定平台的受支持应用程序、驱动程序或运行时版本，并在需要时使用厂商文档记录的基线或回退构建版本。软件更新无法凭空创造处理器缺失的指令。固件和安全策略的更改应遵循系统制造商的规程和恢复计划，而非通用的优化方案。

相关特性与实用区别

BMI2 · CMPXCHG16B · AES-NI

本说明的来源与适用范围

Intel 64 和 IA-32 架构软件开发人员手册

这些参考资料确立了架构行为和软件要求。它们并不独立验证关联硬件型号页面上的每个特性值。如需了解型号支持情况，请使用该页面的制造商证据并检查实际生效的系统配置。本文不提供基准测试、认证或独立审查日期。

相关内容

这些实体与本文相关联。每个链接上均显示类型。

来源与验证

编辑归属：Feex。未记录独立审核日期。 我们的研究方式.

• Intel 64 和 IA-32 架构软件开发人员手册 · 第 1 卷和第 2 卷描述了指定名称的指令族和 CPUID；第 3 卷描述了状态、分页、VMX 和保护控制。架构文档并不代表对某一特定型号的支持。