Ownership, memory & concurrency

# Rust's core model in depth — the borrow checker, memory without a GC, and compile-time data-race freedom.

❯ cat documents/

Ownership, memory & concurrency — the model Concept 2026-08-09
The map of Rust's core model — how one compile-time mechanism, ownership, answers both the memory-management question and the memory-model question, and how the group's notes fit together.
Fearless concurrency — Send, Sync, threads, channels & atomics Concept 2026-08-09
How ownership crosses thread boundaries — the Send/Sync auto traits, spawn vs scoped threads, channels, Arc<Mutex<T>> and poisoning, atomics and memory orderings, rayon, and what fearless does not mean.
Lifetimes — elision, 'static, variance & the craft Concept 2026-08-09
What lifetime annotations actually are, the elision rules that hide them, structs holding references, the two meanings of 'static, variance and HRTBs, and when to restructure instead of annotate.
Memory without GC — layout, smart pointers & interior mutability Concept 2026-08-09
Rust's memory anatomy — stack vs heap in the types, layout and niche optimization, the Box/Rc/Arc/Cow smart-pointer ladder, interior mutability from Cell to Mutex, leaks, and allocators.
Ownership & borrowing — the rules and the fights Concept 2026-08-09
The core rules in depth — moves and Copy, Drop and RAII, the borrow rules, NLL and Polonius — plus the recurring borrow-checker fights and their idiomatic resolutions.

Books/ 2 items
The canonical books behind the ownership, memory & concurrency group.