Lock-free
Código concorrente que não usa mutexes/locks — construído sobre operações atômicas (CAS).
Garantia: pelo menos uma thread está sempre progredindo (diferente de wait-free, onde todas progridem). Mais difícil de escrever corretamente do que código baseado em locks, mas evita deadlocks e inversão de prioridade. Java ConcurrentHashMap, Rust crossbeam.