中频的原子性及以下陈述

Question

这是《 A. Williams C ++并发操作手册》，无锁堆栈，带有危险指针主题。 假设我对它有所了解，除了只有两行，它们是（这里的源代码 ）：

// code before
if (old_head) {
res.swap(old_head->data);
// code after

问题是：另一个线程能否在取消引用（old_head-> data）之前删除（修改等）“ old_head”指针？ 逻辑上说威廉姆斯的整个代码是没有错误的，但是我怀疑这是否是一种原子操作。 你怎么看？

Answer 1

如果old_head可用于多个线程，并且引用的代码块不受任何同步机制保护，则可以在检查和解除引用之间修改old_head 。 if语句本身不能保证任何原子性。