TSAN是否会插桩内联汇编？相关数据竞争问题咨询

1. 示例场景的 data race 判定 #

这个场景必然存在数据竞争。T0执行的x++属于读-修改-写的复合操作，T1的MOV x, 2是直接写操作，二者在无任何同步机制的前提下并发访问同一内存地址x，且存在写操作，完全符合数据竞争的定义。

2. TSAN对内联汇编的插桩逻辑 #

TSAN默认不会自动插桩内联汇编中的内存访问操作，不管是MOV这类普通内存指令，还是XADD这类原子指令都不会被自动处理。原因是内联汇编对编译器来说属于无法深度解析的黑盒代码，TSAN没办法自动识别其中的内存访问行为并插入线程安全检查逻辑。

如果需要让TSAN监控内联汇编里的内存操作，必须手动添加TSAN的标注函数：

• 针对读操作，使用__tsan_read1/__tsan_read2/__tsan_read4/__tsan_read8（对应不同宽度的内存访问）
• 针对写操作，使用__tsan_write1/__tsan_write2/__tsan_write4/__tsan_write8
• 针对XADD这类原子操作，可使用__tsan_atomicN_*系列函数标注对应内存语义

举个手动标注的示例：

// 假设x为int类型（4字节）
__asm__ __volatile__ (
    "MOV %0, 2"
    : "=m"(x)
    :
    : "memory"
);
// 手动添加TSAN写操作标注
__tsan_write4(&x);

注意：手动标注必须精准匹配汇编中实际的内存访问宽度与操作类型，否则可能导致TSAN误报或漏报。

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