Суть атомного общего указателя ⇐ C++

[Anonymous]

Я искал несколько примеров и вариантов использования атомарных общих указателей и наткнулся на реализацию стека без блокировки. Эта реализация использует общий указатель для хранения адреса следующего узла в объявлении узла, а также заголовок хранится как атомарный общий указатель. Пожалуйста, взгляните на пример кода ниже

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

template 
struct Stack {
struct Node {
T t;
shared_ptr next;
};

atomic head;

void push_front(T t) {
auto p = make_shared(std ::move(t), head.load());
while (!head.compare_exchange_weak(p->next, p)) {}
}

optional pop_front() {
auto p = head.load();
while (p != nullptr && !head.compare_exchange_weak(p, p->next)) {}
if (p != nullptr)
return {std ::move(p->t)};
else
return {};
}
};

Я проверил код несколько раз и попытался вникнуть в детали, но так и не смог найти преимущества использования атомарной общей точки вместо атомарного необработанного указателя. См. также мою версию ниже. Я не мог разобраться в плюсах и минусах.

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

template 
struct Stack {
struct Node {
T t;
Node* next;
};

std::atomic head;

void push_front(T t) {
auto p = new Node(std::move(t), head.load());
while (!head.compare_exchange_weak(p->next, p)) {}
}

std::optional pop_front() {
auto p = head.load();
while (p != nullptr && !head.compare_exchange_weak(p, p->next)) {}
if (p != nullptr)
return { std::move(p->t) };
else
return {};
}

};

Может ли кто-нибудь объяснить мне, в чем преимущество атомарного общего указателя?

Подробнее здесь: https://stackoverflow.com/questions/793 ... ed-pointer