Sans verrou Lock-free
Du code concurrent qui n'utilise ni mutex ni verrous, bâti sur des opérations atomiques (CAS).
La garantie : au moins un thread progresse toujours (à distinguer du wait-free, où tous les threads progressent). Plus difficile à écrire correctement que du code à verrous, mais il évite les interblocages et les inversions de priorité. On le trouve dans ConcurrentHashMap en Java et dans crossbeam en Rust.