Concurrency
This part begins with ownership and invariants, then introduces locks, atomics, coherence, bounded communication, lock-free rings, contention, reclamation, and execution models.
Correctness comes first. Predictability and throughput follow from measuring the coordination the correct design requires.