https://before80.github.io/prgms/Rust/rustonomicon/concurrency/Recent content in 第8章 并发 on 编程那些事儿Hugozh-cnTue, 11 Aug 2026 23:57:44 +0800https://before80.github.io/prgms/Rust/rustonomicon/concurrency/01-races/Thu, 06 Aug 2026 17:08:00 +0800https://before80.github.io/prgms/Rust/rustonomicon/concurrency/01-races/<blockquote> <p>译文 · 基于 <a href="https://doc.rust-lang.org/nomicon/">The Rustonomicon</a></p> </blockquote> <h1 id="竞态">竞态</h1> <blockquote> <p>原文链接: <a href="https://doc.rust-lang.org/nomicon/races.html">https://doc.rust-lang.org/nomicon/races.html</a></p> </blockquote> <p>　　Safe Rust 保证不存在数据竞争（data race），其定义为：</p> <ul> <li>两个或多个线程并发访问同一内存位置</li> <li>其中至少一个是写</li> <li>其中至少一个是未同步的</li> </ul> <p>　　数据竞争具有未定义行为，因此在 Safe Rust 中不可能发生。数据竞争<em>主要</em>通过 Rust 的所有权系统 alone 来防止：不可能别名可变引用，因此不可能发生数据竞争。内部可变性（interior mutability）使情况更复杂，这也是我们有 <code>Send</code> 和 <code>Sync</code> trait 的重要原因（下一节详述）。</p>https://before80.github.io/prgms/Rust/rustonomicon/concurrency/02-send-and-sync/Thu, 06 Aug 2026 17:08:00 +0800https://before80.github.io/prgms/Rust/rustonomicon/concurrency/02-send-and-sync/<blockquote> <p>译文 · 基于 <a href="https://doc.rust-lang.org/nomicon/">The Rustonomicon</a></p> </blockquote> <h1 id="send-与-sync">Send 与 Sync</h1> <blockquote> <p>原文链接: <a href="https://doc.rust-lang.org/nomicon/send-and-sync.html">https://doc.rust-lang.org/nomicon/send-and-sync.html</a></p> </blockquote> <p>　　并非一切都服从 inherited mutability。有些类型允许在 mutate 内存位置的同时拥有多个别名。除非这些类型用同步管理访问，它们绝对不安全。Rust 通过 <code>Send</code> 和 <code>Sync</code> trait 捕获这一点。</p>https://before80.github.io/prgms/Rust/rustonomicon/concurrency/03-atomics/Thu, 06 Aug 2026 17:08:00 +0800https://before80.github.io/prgms/Rust/rustonomicon/concurrency/03-atomics/<blockquote> <p>译文 · 基于 <a href="https://doc.rust-lang.org/nomicon/">The Rustonomicon</a></p> </blockquote> <h1 id="原子操作">原子操作</h1> <blockquote> <p>原文链接: <a href="https://doc.rust-lang.org/nomicon/atomics.html">https://doc.rust-lang.org/nomicon/atomics.html</a></p> </blockquote> <p>　　Rust 相当直白地从 C++20 继承 atomics 的内存模型。并非因为该模型特别优秀或易懂——事实上它相当复杂，且已知有<a href="http://plv.mpi-sws.org/c11comp/popl15.pdf">若干缺陷</a>。而是出于务实考虑，承认<em>每个人</em>在 atomics 建模上都不太行。至少我们可以受益于围绕 C/C++ 内存模型的现有工具与研究。（你常看到该模型被称为「C/C++11」或「C11」。C 只是复制 C++ 内存模型；C++11 是该模型首版，此后有过一些 bugfix。）</p>