Atomarität und Sperren in Rust

Einleitung

Das Buch „Rust Atomics and Locks“ von Mara Bos ist nicht nur eine weitere Anleitung zur Multithreading-Programmierung. Es ist eine tiefgehende, technisch anspruchsvolle Untersuchung darüber, wie atomare Operationen, Locks und Memory Barriers auf Prozessor- und Betriebssystemebene tatsächlich funktionieren und wie diese Mechanismen in der Sprache Rust repräsentiert werden. Das 2023 erschienene Buch wurde sofort zum Must-Read für alle, die hochlastige, sichere und effiziente konkurrente Programme in Rust schreiben.

Worum es in diesem Buch geht

Das Buch ist als schrittweiser Einstieg vom Einfachen zum Komplexen aufgebaut. Es beginnt mit den Grundlagen: Was ist Atomarität, welche Arten von atomaren Operationen gibt es (load, store, CAS, fetch_add usw.) und wie werden sie auf Prozessorbefehle abgebildet. Dann geht die Autorin zum Rust-Speichermodell über und erklärt, wie Compiler und Prozessor Anweisungen umordnen können und wie sich dies auf die Korrektheit von Multithreading-Code auswirkt. Besonderes Augenmerk liegt auf Memory Barriers (memory ordering) – Acquire, Release, AcqRel, SeqCst – und ihrer praktischen Anwendung. Anschließend werden klassische Synchronisationsprimitive behandelt: Mutexe, Condition Variables, Semaphore, Barriers. Jedes Primitiv wird nicht nur beschrieben, sondern von Grund auf mit atomaren Operationen implementiert. Dies ermöglicht dem Leser, die interne Struktur von Locks zu verstehen und ihre Kosten abzuschätzen. Das Buch endet mit einer Diskussion von lock-free Strukturen.