Aarch64 原子操作真的这么敏感吗？（答：不是）
原文英文，约200词，阅读约需1分钟。
📝
内容提要
Guile 3.0.9的aarch64原子处理存在问题，作者尝试了两种解决方案，其中一种奇怪的解决方案竟然有效。问题与C语言的atomic_exchange等价物有关。第一个补丁需要ARM v8.1设备，第二个补丁只改变了cbnz的目标，问题消失了。作者感到困惑。
🔎
延伸解读
问题代码的潜在缺陷
文章指出，Guile 3.0.9 的 JIT 为 atomic_exchange 生成的代码使用 ldaxr/stlxr 循环，但偶尔会丢失写入。这种丢失写入的现象在理论上不应发生，因为 ldaxr/stlxr 循环是标准的原子交换实现。作者未明确解释原因，但暗示可能与指令序列或内存序有关。
两种补丁的对比
第一个补丁用 swpal 指令替换整个循环，但需要 ARM v8.1 的 Large System Extensions 支持。第二个补丁仅调整 cbnz 的目标，不改变指令本身，却意外解决了问题。后者兼容性更广，但作者对其有效性感到困惑，认为这不应有影响。
对开发者的启示
该案例表明，底层原子操作的实现可能因微小的代码布局变化而产生不同行为，尤其是在不同 ARM 架构上。开发者若遇到类似丢失写入问题，可尝试调整分支目标作为临时方案，但需注意这并非根本修复，且可能掩盖更深层的硬件或编译器问题。
❓
Q&A
Guile 3.0.9的aarch64原子处理存在哪些问题？
Guile 3.0.9的aarch64原子处理存在偶尔丢失写入的问题。
作者提出了哪些解决方案？
作者提出了两种解决方案，其中一种是用swpal替换原有代码，另一种是改变cbnz的目标。
第一个补丁需要什么设备？
第一个补丁需要ARM v8.1设备。
第二个补丁是如何解决问题的？
第二个补丁通过改变cbnz的目标，生成的新代码使问题消失。
作者对解决方案的反应是什么？
作者对此感到困惑，因为第二个补丁的效果出乎意料。
问题与C语言的哪个功能有关？
问题与C语言的atomic_exchange等价物有关。
🏷️
