古法编程之 **架构分解：从设计上消除争用**地址：debasishg.github.io/blog/part0-architectural-decomposition-remove-contention-by-design/-------在我参与过的 Rust 项目中，那些追求高吞吐量和低延迟的，几乎都围绕着一套不变的架构原则来构建。这些原则中，许多并非 Rust 独有，在 C++ 或 Zig 这类底层语言中同样适用，只是具体实现上有所差异。

在这个系列博客中，我计划深入挖掘这些设计原则，整理出一套可应用于类似场景的模式。我将这个系列命名为“Rust 底层系统设计”，本文是开篇之作。系列中的大部分文章会聚焦于微观层面——如缓存行、内存排序、内存分配——并以单生产者/单消费者（SPSC）环形缓冲区作为贯穿始终的示例。

但在所有微观优化奏效之前，有一个决策比其他所有都更重要，那就是结构性的决策。本文要探讨的就是这个决策。这些模式并非环形缓冲区所独有：它们适用于任何有多个写入者向一个共享读取者提供数据的系统。

贯穿整个系列的三条基本原则，第一条就是本文的核心：

* **最大的收益来自架构层面，而非微观层面。** 消除一个共享的写入游标，其价值比选择“正确”的 `Ordering` 高出几个数量级。只有在做出消除争用的结构性选择之后，缓存行填充、原子操作调优和内联优化才会真正发挥作用。* **优化硬件实际的行为，而非代码表面的样子。** 现代 CPU 会推测执行分支、重排加载指令，并在争用情况下导致缓存行在内核之间来回跳动。许多 CPU 还具有相邻行或空间预取行为，这会使一个名义上“独立”的缓存行也影响性能。无视这些现实情况的源码级“聪明”技巧毫无意义。* **用测量代替猜测。** 本系列中介绍的每一项技术，都必须在基准测试中证明其价值——而且，要确保基准测试的是你“以为”在测试的代码：Rust 的优化器很乐意删除结果未被使用的计算，因此请使用 `std::hint::black_box`，并在相信任何数字之前先阅读生成的汇编代码。

以下是我计划在本系列中涵盖的内容概览：

1. **架构分解（本文）**——从设计上消除争用。2. **缓存友好的数据布局**——字段分区、伪共享、缓存行及相邻行放置启发式策略。3. **跨核契约**——内存排序与单写入者状态。4. **分摊跨核协调开销**——游标缓存与批处理。5. **热路径上的零拷贝**——预留/提交与快路径/慢路径分离。6. **编译时杠杆**——特化、分支与算术优化、内联。7. **退避与内存供应**——自适应自旋、自定义分配器、NUMA 与巨页。8. **安全即性能**——移动、借用检查器、`debug_assert!` 与冷路径优化。9. **可信赖的性能**——验证、惯用法、反模式，以及知道何时停止。

从这里开始，后续内容都将建立在本篇文章所奠定的基础之上。