Rust: атомарности и блокировки

Книга посвящена низкоуровневым аспектам многопоточности и как с ними обходятся в Rust. Лично мне было очень интересно узнать, что вещи, которые много лет были очевидными, сейчас уже не соответствуют действительности. То, что вы написали в программе некую последовательность команд, не означает, что они будут выполняться в том же порядке. Современные оптимизирующие компиляторы вполне могут поменять их местами, если логика от этого не изменится, а производительность вырастет. Более того, даже если отключить оптимизацию в компиляторе, ситуация останется прежней, поскольку современные процессоры тоже могут менять порядок операций или выполнять их параллельно. Пока программы были однопоточными, это прокатывало без проблем. Но если в любой момент сюда может вклиниться другой поток, рассчитывающий на один порядок операций, тогда как в реальности они выполняются в другом порядке, последствия могут быть непредсказуемыми. Так что же с этим делать? И тут в дело идут примитивы синхронизации (мьютексы, критические секции и т.д.) а также атомарные операции, которые гарантировано не могут быть прерваны другим потоком. Книга именно об этом: как в Rust на низком уровне реализованы все эти вещи. Если вы хотите узнать, как с помощью атомарных операций сделать собственный мьютекс — вам сюда.