为何单线程串行链表实现比带Mutex的单线程链表耗时更长？

这看起来违反直觉，但实际存在几个常见的核心原因：

• -pthread带来的编译层面隐性优化
  gcc的-pthread选项不只是链接线程库，还会定义_REENTRANT宏，触发标准库切换到可重入版本的函数实现。像malloc、printf这类基础函数，线程安全版本在单线程场景下可能采用了更高效的内存分配/缓冲区策略；甚至部分gcc版本会在添加-pthread时隐性提升优化级别（比如从默认的-O0调整到-O2），如果你的A版本未开启对应优化，性能差距会被进一步拉大。

• Mutex的单线程开销可忽略甚至被优化
  现代操作系统的Mutex都设计了用户态快速路径：当没有线程竞争时，加锁解锁操作完全在用户态完成，不需要陷入内核，开销微乎其微。更极端的情况是，gcc通过静态分析如果发现该Mutex只会被单个线程访问，会直接把加解锁的代码优化掉——相当于B版本的实际执行逻辑和A版本几乎一致，但受益于-pthread带来的编译优化。

• 代码实现的隐性差异
  你在适配多线程模型编写B版本时，可能无意间调整了链表操作的核心逻辑：比如优化了指针遍历顺序、减少了冗余内存读写、简化了函数调用结构。这些代码层面的优化带来的性能提升，完全抵消甚至超过了Mutex的理论开销。

• 测试场景的细节偏差
  即便多次执行结果一致，也可以核对两个版本的测试细节：计时的起点和终点是否完全对齐？测试用的操作集（member/insert/delete的数量、比例、数据规模）是否完全相同？比如A版本的计时是否包含了额外的初始化逻辑，而B版本没有？

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