Почему при разработке lock-free структур данных возникает ABA Problem и как её учитывают при проектировании высокопроизводительных многопоточных систем?