类型转换是否为原子操作？线程安全相关技术疑问

示例C代码 #

int x;
float y;
y = (float) x;

对应反汇编代码 #

main:
        push    rbp
        mov     rbp, rsp
        pxor    xmm0, xmm0
        cvtsi2ss        xmm0, DWORD PTR [rbp-4]
        movss   DWORD PTR [rbp-8], xmm0
        nop
        pop     rbp
        ret

问题解答 #

1. 类型转换操作本身是否为原子操作？ #

不是。从反汇编可见，整个类型转换流程包含三个核心步骤：读取内存中x的整数值、通过cvtsi2ss指令完成整数到单精度浮点的转换、将转换结果写入y的内存。原子操作要求整个操作全程不可分割，而这里的转换是多步骤的组合动作——哪怕单条32位内存读取指令在x86架构下是原子的，整个类型转换操作也不符合原子操作的定义。

2. 该操作能否被抢占？ #

能。在抢占式操作系统的调度机制下，当前线程随时可能被暂停：比如时间片耗尽、更高优先级线程触发调度时，CPU会中断当前指令流。无论是在cvtsi2ss读取x之后、movss写入y之前，还是线程执行到任意指令间隙，都可能发生抢占。抢占后其他线程可以自由修改x或y，当前线程恢复执行时会基于之前读取的x值完成转换，与x的最新状态无关。

3. 若转换过程中其他进程/线程修改了x的部分字节，是否会产生未定义行为？ #

会产生未定义行为。根据C标准，当一个线程对对象执行写操作，同时另一个线程对同一对象执行读操作（无同步机制保障），属于数据竞争，会直接导致未定义行为。这里x是32位int，若其他线程仅修改它的部分字节，属于对该对象的非原子写操作，当前线程读取x时可能拿到一个不完整、无效的整数值，最终转换出错误的浮点数，甚至可能引发不可预料的硬件或软件异常，这类场景完全符合C标准中未定义行为的范畴。

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