多线程共享数据结构的无锁释放

背景

多线程共享一个数据结构。
共享数据结构，可以做到节约内存。
但是多线程共享，可能会有问题，比如同步的问题。

问题

在并发编程中，当我们在操作共享的内存对象时，需要考虑到其他线程是否有可能也正在访问同一对象，如果要释放该内存对象时不考虑这个问题，会引发严重的后果（访问悬空指针）。

• 共享内存对象的回收问题
  lock-free的方法来解决共享内存对象的回收问题。

• ABA问题
  ABA问题和内存回收问题是相关的，都是内存的生命周期管理问题。

内存回收问题解的是共享内存什么时候能安全的回收，而ABA问题解的是共享内存什么时候能被安全的重新使用。

共享结构的无锁释放

对比

ref-cnt

rcu

epoch-based reclam

hazard pointer: 冒险指针

总结起来，当对象正在使用时，就不能回收内存。每一个“正在使用”都需要对应一个标记。引用计数使用的标记是计数数值一，对应的原子操作性能问题就成为它无法摆脱的原罪。而 Hazar