C++26 закрывает одну из самых больных тем lock-free кода - безопасное удаление памяти.Проблема не в atomics.
Проблема в том, что один поток уже убрал узел из структуры, а другой всё ещё может его читать.
Удалишь слишком рано, получишь use-after-free.
Поэтому в C++26 стандартизируют Hazard Pointers.
Идея простая:
поток заранее помечает объект как “я сейчас его читаю”.
Пока хотя бы один reader держит такой hazard pointer, объект нельзя удалять.
Удаление откладывается до момента, когда все читатели закончат работу.
Это делает lock-free структуры вроде стеков, очередей и списков намного безопаснее.
Lock-free программирование становится не магией, а чуть более нормальным инженерным инструментом.
