跨缓存行边界变量的原子存储为何编译为普通MOV指令？

触发代码 #

#include <stdint.h>
#pragma pack (push,1)
typedef struct test_s
{
    uint64_t a1;
    uint64_t a2;
    uint64_t a3;
    uint64_t a4;
    uint64_t a5;
    uint64_t a6;
    uint64_t a7;
    uint8_t b1;
    uint64_t a8;
}test;

int main()
{
    test t;
    __atomic_store_n(&(t.a8), 1, __ATOMIC_RELAXED);
}

由于启用了紧凑结构体，a8的偏移量为57字节，既不满足64位自然对齐要求，又刚好跨越64字节缓存行边界（57+8=65，超出单缓存行范围）。

GCC 12.2生成的汇编 #

main:
        push    rbp
        mov     rbp, rsp
        mov     eax, 1
        mov     QWORD PTR [rbp-23], rax
        mov     eax, 0
        pop     rbp
        ret

Clang 16生成的汇编 #

main:                                   # @main
        push    rbp
        mov     rbp, rsp
        sub     rsp, 80
        lea     rdi, [rbp - 72]
        add     rdi, 57
        mov     qword ptr [rbp - 80], 1
        mov     rsi, qword ptr [rbp - 80]
        xor     edx, edx
        call    __atomic_store_8@PLT
        xor     eax, eax
        add     rsp, 80
        pop     rbp
        ret

问题解答 #

1. 为何GCC将原子存储编译为MOV指令？

GCC做了单线程场景下的优化：它判断t是栈上的局部变量，默认不会被其他线程访问，原子操作的语义在单线程环境中与普通存储完全等价，因此直接替换为MOV指令以避免原子操作的额外开销。这种优化符合C标准的语义要求。

2. 该场景下MOV指令是否具备原子性？

如果这个变量被传递给其他线程、变成多线程共享资源，那么MOV指令不具备原子性：因为a8跨越了缓存行，CPU会把64位存储拆分为两个独立的内存操作（分别操作两个缓存行的部分字节），其他线程可能看到只更新了一半的"撕裂值"，完全违反原子操作的语义。

3. Clang为何调用原子函数？

Clang对__atomic内置函数的处理更保守，它不会假设局部变量一定不会被多线程访问，因此严格遵循原子操作的语义要求，调用通用原子操作函数。这类函数会通过锁或平台特定机制，保证即使是非对齐且跨缓存行的操作也能满足原子性。

内容的提问来源于stack exchange，提问作者Moshe Levy