Lockfree 程序中内存释放的另类方法

C++ 的 Lockfree 程序中的内存释放问题是个很大的难点，甚至有些时候被认为是无法解决的，除非C++改变。这里提出一个比较另类的解决方案，希望能起到抛砖引玉的作用。

一个对象安全删除的难点在于不知道有多少线程正在访问它，因此一个线程很难确定自己正在读的对象没有被其他线程删除，这里我使用逆向思维的办法来解决这个问题。
对于一个 Lockfree 容器，线程访问时，进行注册，将一个Lockfree队列提供给这个容器，这样有几个线程正在读取这个容器，就有几个队列。而一旦某个线程企图删除容器中的一个对象的时候，先将对象的删除计数置为注册的线程数，然后将它和对象指针以共享的方式写入其他线程注册的队列，全部写完以后将这个引用计数-1。其他线程在合适的时候检查自己的队列，如果队列中的对象自己线程没有在使用，那么就将这个引用计数-1。任何-1操作一旦发现引用计数为零，那么就说明这个对象没有任何引用，可以安全删除了。

这里的核心内容就是，一旦企图删除一个对象，那么依次向其他使用这个容器的线程询问，我是否能安全删除它？所有线程对这个对象打上可以安全删除的烙印，那么这个对象就可以安全删除了。

这样做的一大好处就是，读容器是相当高效的，不需要对任何对象做标记，当然可能不适合频繁修改的容器。