GCC 10.2中atomic_noexcept/atomic_commit/synchronized汇编一致的疑问

这是个非常好的问题，核心在于GCC 10.2对C++实验性事务内存TS（Technical Specification）的支持仅停留在语法解析层面，并未真正实现不同关键字对应的语义差异，具体拆解如下：

一、先明确cppreference定义的预期行为 #

根据规范，这几个关键字的设计目标完全不同：

• synchronized：仅保证块内操作的全局总序，不提供事务的回滚/提交语义，本质是强化版的临界区
• atomic_noexcept：标记块内操作是原子的，若块内抛出异常，直接调用std::abort()终止程序，不会提交任何修改
• atomic_commit：块内操作作为事务执行，即使抛出异常，也会提交已完成的修改（注意：这和传统事务的"失败回滚"逻辑相反，是该关键字的特殊设计）

二、为什么汇编完全一致？ #

GCC 10.2对事务内存TS的支持属于早期占位实现：

1. 编译器仅能识别这些关键字的语法，不会根据关键字的差异生成不同的底层逻辑
2. 它没有对接硬件事务内存（比如x86的TSX指令集），也没有实现软件事务内存（STM）的回滚/提交机制
3. 所有这些事务块都会被编译器降级为普通的代码块（最多可能加上一些无意义的空指令或统一的临界区包装），自然生成的汇编完全相同

三、额外说明 #

GCC对事务内存TS的支持一直进展缓慢，即使是后续版本（比如GCC 12+），对这些特性的实现也不算完全成熟。如果想要验证不同关键字的预期行为，你需要：

• 使用更新版本的GCC，并确保开启了事务内存相关编译选项（比如-fgnu-tm，不过该选项主要针对GCC自己的事务内存扩展，而非标准TS特性）
• 或者换用对事务内存TS支持更完善的编译器（比如Clang的部分版本）

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