Каковы правильные заказы на память использовать при вставке узла в начале блокировки, без ссылок, связанного с отделение ⇐ C++

[Anonymous]

У меня есть простой связанный список. Нет никакой опасности проблемы ABA, я доволен категорией блокировки, и мне все равно, если мой список - FIFO, LIFO или рандомизирован. В зависимости от того, как вставка преуспевает, не заставляя других, что не удается. < /P>
Код для этого выглядит примерно так: < /p>

Код: Выделить всё

class Class {
std::atomic m_list;
...
};

void Class::add(Node* node)
{
node->next = m_list.load(std::memory_order_acquire);
while (!m_list.compare_exchange_weak(node->next, node, std::memory_order_acq_rel, std::memory_order_acquire));
}

, где я более или менее случайно заполняется в использованной Memory_order.
Какие правильные порядки памяти здесь использовать? Проект Genmc использует memory_order_acquire /duke memory_order_acq_rel в сопоставимой ситуации, но я не могу заставить Genmc работать на тестовый пример: (. < /p>
redit < /strong> (6 лет спустя) весь список).>

Подробнее здесь: https://stackoverflow.com/questions/570 ... -beginning