Блокировка свободного счетчика для двух атомных целых чисел ⇐ C++

[Anonymous]

Я хочу реализовать структуру без блокировок, которая возвращает значения строго в порядке возрастания. У меня есть 2 атомарных целых числа, и я хочу сделать из них длинные, поэтому идея состоит в том, чтобы сначала увеличить первый фрагмент памяти, а затем, как только он достигнет максимального значения для целого числа, увеличить второй на единицу и установить сначала значение 0.
Мне удалось написать этот код, но он не работает из-за того, что когда-то возникла проблема, подобная ABA (память сначала устанавливается в 0 каким-то потоком, а другие начинают ее читать и получают неправильную информацию) значение, без увеличения второй памяти)
unsigned int second = secondmem -> load(), first = first = firstmem->load();
while (true) {
unsigned int nfirst = first + 1, nsecond = second;
if (first == UINT32_MAX) {
nfirst = 0;
nsecond = second + 1;
}
if (!secondmem->compare_exchange_strong(second, nsecond)) {
continue;
}
if (!firstmem->compare_exchange_strong(first, nfirst)) {
continue;
}
if (secondmem->compare_exchange_strong(second, second)) {
return convertInts(nsecond, nfirst);
}
}


Подробнее здесь: https://stackoverflow.com/questions/791 ... tomic-ints