Проблема ABA в многопоточных вычислениях возникает при синхронизации, когда ячейка памяти читается дважды и оба раза читается одинаковое значение. 12 На основе этого делается вывод, что «ничего не менялось». 1

Однако другой поток может выполниться между этими двумя чтениями, поменять значение, сделать что-нибудь ещё и восстановить старое значение. 1 Первый поток, возобновляя работу, считает, что ничего не поменялось, хотя второй поток уже разрушил это предположение. 1

Обычно проблема ABA возникает, когда множество потоков (или процессов) обращается к разделяемой памяти поочерёдно. 12

Один из распространённых случаев проблемы ABA — реализация структур и алгоритмов без блокировок (lock-free). 14 Если из списка удалить элемент, уничтожить его, а затем создать новый элемент и добавить обратно в список, есть вероятность, что новый элемент будет размещён на месте старого. 12 Указатель на новый элемент совпадёт с указателем на старый, что и приведёт к проблеме. 12