CMPXCHG16B

您需要了解的内容

工作原理

该指令将 128 位内存操作数与 RDX:RAX 中的预期值进行比较，然后条件存储 RCX:RBX 或将观察到的内存值加载到预期值寄存器中。内存操作数必须满足其 16 字节对齐要求。共享内存原子使用需要适当的 LOCK 语义。

适用场景

运行时可以使用该指令对标记指针或一对机器字执行原子更新。编译器的原子 API 还考虑了内存顺序、类型对齐和回退行为；手写的汇编代码必须满足所有这些规范要求。

如何检查支持与启用状态

CPUID.01H:ECX 第 13 位表示支持 CMPXCHG16B。检查 ABI 和运行时的原子性保证以及硬件位。在确定操作是否免锁 (lock-free) 时，请使用语言支持的原子查询接口。

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

该特性未确立的内容

该指令不是通用的 128 位算术单元，它的存在并不意味着每种语言的 128 位原子类型在每个构建版本中都是免锁的。即使在受支持的 CPU 上，未对齐也会导致错误故障。

实践中的兼容性与性能

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

实用验证核对清单

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

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

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

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

相关特性与实用区别

x86-64-v2 · 64-bit (x86-64) · ADX

本说明的来源与适用范围

Intel 64 和 IA-32 架构软件开发人员手册 · x86-64 psABI：处理器架构和微架构级别

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

相关内容

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

来源与验证

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

• Intel 64 和 IA-32 架构软件开发人员手册 · 第 1 卷和第 2 卷描述了指定名称的指令族和 CPUID；第 3 卷描述了状态、分页、VMX 和保护控制。架构文档并不代表对某一特定型号的支持。
• x86-64 psABI：处理器架构和微架构级别 · 机器接口，处理器架构：基线和累积 v2/v3/v4 特性表、操作系统状态检查以及部署建议。