See also Rust Atomics and Locks by Mara Bos (that’s for a different language, but also good and relevant)