CAS-циклы и гарантии прогресса: wait-free, lock-free, obstruction-free. Стек Трейбера, очередь Майкла-Скотта, MPSC кольцевой буфер. ABA и освобождение памяти: epoch-based reclamation, hazard pointers и чем здесь помогает GC в Go. Бенчмарки, где lock-free проигрывает. Разбор задач с собеседований.