【crossbeam系列】2 crossbeam-epoch：基于epoch的无锁“垃圾收集”

上次我们试图实现一个无锁的并发栈，但是发现由于Rust没有GC，简单的实现会导致内存泄漏。于是crossbeam提供了一个基于epoch的“垃圾收集”(epoch based reclamation)库。首先来简单的说一下这一垃圾回收的原理。

基于epoch的“垃圾回收”

这一算法主要在Keir Fraser的博士论文中有涉及。我们从之前无锁并发栈的简单实现中看到，并发环境中的数据结构的容器（比如包含了出栈元素的那个节点），会在一个线程中完成它的使命然后准备被释放。但是这个时候可能还有其他线程还持有其快照（主要是为了进行CAS）。不过不会再有新的线程还会继续取得其快照了。那么只要等到所有对该容器取得快照的线程都完成操作，就可以安心的释放这个容器了。

这一算法需要：

1. 一个全局的epoch计数器

2. 每个线程有一个本地的epoch计数器

3. 一个全局列表记录每个epoch产生的垃圾

4. 标示线程是否活跃的标示符

算法大概是这样的：当一个线程需要对某个数据结构操作时，它先将自己的标识符设置为活跃，然后将本地epoch计数器更新为全局epoch计数器。而如果线程需要从数据结构中删除一个节点，它会把该节点加入当前epoch的垃圾列表。当线程完成对数据结构的操作时，线程将自己标记为不活跃。然后当需要收集垃圾的时候，一个线程会