Folly 如何用 Asymmetric Fences 优化并发？

C++ Details of Asymmetric Fences

在探索 Folly 的并发原语时，我被 Asymmetric Thread Fence 这个概念深深吸引。它巧妙地利用 C++ P1202R0 提案，将并发算法中的高频路径（common path）优化为轻量级的编译器屏障，而将沉重的同步成本转移到低频路径（uncommon path）。在 Linux 上，这通过 membarrier() 系统调用实现，用一次昂贵的系统调用换取高频路径的极致性能。这种不对称的权衡策略，正是高性能并发库背后的核心秘密。

"在某些并发算法中，我们愿意牺牲非高频路径的性能来优化高频路径。"