atomic

裁剪与依赖

启用 XRT_FEATURE_ATOMIC 即可使用本模块，只依赖 core。未启用时不声明原子类型和函数，也不会编译平台原子实现。

类型与初始化

xatomic64 声明为至少 8 字节对齐，xatomicptr 按指针宽度对齐。对象发布给其他执行流后，只能通过 Atomic API 访问 Value；不能混用普通读写、memcpy 或直接赋值。

TinyCC x86 不会把成员类型的 8 字节对齐要求传播到栈上外层结构。XRT 对正常对齐对象仍使用无锁指令；对该编译器产生的 4 字节对齐 xatomic64 使用内部 64 槽分片锁，并提供不弱于请求的内存顺序。其他编译器仍拒绝未按类型自然对齐的 64 位对象。

自动和动态对象在发布前使用 xrtAtomic32Init()、xrtAtomic64Init()、xrtAtomicPtrInit()。静态对象使用 XRT_ATOMIC32_INIT()、XRT_ATOMIC64_INIT()、XRT_ATOMICPTR_INIT()：

初始化不是并发操作。对象仍被其他线程访问时，不得重新初始化、移动或销毁。

内存顺序

• RELAXED 只保证该值原子更新，适合独立统计计数。
• ACQUIRE 用于读取已经发布的数据。
• RELEASE 用于发布此前写入的数据。
• ACQ_REL 用于同时读取并发布的读改写操作。
• SEQ_CST 提供最直观的全局顺序，适合控制路径和尚未证明可放宽的代码。

加载只接受 RELAXED、ACQUIRE、SEQ_CST；存储只接受 RELAXED、RELEASE、SEQ_CST。比较交换失败顺序不能包含 Release，并且不能强于成功顺序。非法组合设置 XERR_ARGUMENT，对象保持不变。

GCC 和 Clang 直接使用对应的内存顺序。只提供全栅栏原语的平台会采用更强顺序，绝不会弱化公开合同。

32 位与 64 位整数

32 位和 64 位类型都提供 Load、Store、Exchange、CompareExchange、FetchAdd、FetchSub、FetchAnd、FetchOr、FetchXor。Fetch* 返回修改前的值，无符号加减按模宽度回绕。

强比较交换不产生伪失败。成功时写入 Desired；失败时对象不变，并把当前实际值写回 Expected，因此调用方可直接继续 CAS 循环。Expected 必须指向调用方独占的普通标量，不得与原子对象重叠；它本身的并发保护由调用方负责。

原生后端直接使用平台的加法和按位读改写指令。必须走 CAS 的退化路径会复用失败操作返回的实际值，不会在每次竞争失败后额外执行一次原子加载。

原子指针

空指针是合法值。CompareExchange 通过布尔结果区分成功与失败，不依赖返回指针是否为空。Atomic 只管理指针槽，不负责目标对象的引用计数、生命周期或内存回收；无锁链表仍必须单独解决 ABA 和安全回收问题。