菜鸟问下关于C++ Concurrency in Action的问题

[新人新学]

我读到7.2.2 停止内存泄露：使用无锁数据结构管理内存那章有个疑惑。

 

 

上图是代码和书中给出可能出现错误的情况。虽然B线程读取了Y节点，而A又把Y节点给删除了，但线程B不是执行了compare_exchange_strong(代码里不是compare_exchange_weak吗？这个先不管)，这样就判断old_head还等不等于现在的head，如果不等于就会用现在的head更新old_head，所以不是应该最后old_head会读取现在的head也就是节点Z吗？那这样的话怎么还会出现未定义行为？