Lock-free structures with atomic compare-and-swap are how crossbeam, tokio's queues, and high-frequency trading systems avoid lock contention. The Treiber stack you build is the canonical first lock-free structure, and hitting the ABA problem yourself explains why crossbeam-epoch's memory reclamation exists.