Rust Atomics and Locks: Low-Level Concurrency in Practice

Book Description

The Rust programming language is extremely well-suited for concurrency, and its ecosystem has many libraries that include lots of concurrent data structures, locks, and more. But implementing those structures correctly can be very difficult. Even in the most well-used libraries, memory ordering bugs are not uncommon.

In this practical book, Mara Bos, leader of the Rust library team, helps Rust programmers of all levels gain a clear understanding of low-level concurrency. You’ll learn everything about atomics and memory ordering and how they’re combined with basic operating system APIs to build common primitives like mutexes and condition variables. Once you’re done, you’ll have a firm grasp of how Rust’s memory model, the processor, and the roles of the operating system all fit together.

With this guide, you’ll learn:

• How Rust’s type system works exceptionally well for programming concurrency correctly
• All about mutexes, condition variables, atomics, and memory ordering
• What happens in practice with atomic operations on Intel and ARM processors
• How locks are implemented with support from the operating system
• How to write correct code that includes concurrency, atomics, and locks
• How to build your own locking and synchronization primitives correctly

中文：

书名：Rust原子和锁: 实践中的低级并发

Rust编程语言非常适合并发，其生态系统具有许多库，其中包括许多并发数据结构，锁等。但是正确实施这些结构可能非常困难。即使在最常用的库中，内存排序错误也不罕见。

在这本实用的书中，Rust库团队的负责人Mara Bos帮助Rust各个级别的程序员对低级并发有一个清晰的了解。您将了解有关原子和内存排序的所有信息，以及它们如何与基本操作系统api结合以构建常见的原语，例如互斥体和条件变量。完成后，您将牢牢掌握Rust的内存模型，处理器和操作系统的角色如何组合在一起。

通过本指南，您将了解到:

• Rust的类型系统如何非常好编程并发正确
• 所有关于互斥、条件变量、原子和内存排序
• 在实践中发生了什么原子操作在英特尔和ARM处理器
• 如何在操作系统的支持下实现锁
• 如何编写包含并发、原子和锁的正确代码
• 如何正确构建自己的锁定和同步原语