一个c++图形数据结构的并发垃圾收集

我有一个有向图数据结构用于音频信号处理(见http://audulus.com如果你好奇)。

我希望图边是强引用，所以在没有环的情况下，std::shared_ptr可以做到这一点。唉，图中可能存在循环。

mutator线程将事件发送给收集器线程。收集器线程维护自己的图表示，不遍历mutator线程的图。收集器线程只是定期使用标记-清除。

事件如下(以函数调用的形式):

• AddRoot(Node*)
• RemoveRoot(Node*)
• AddEdge(Node*, Node*)
• RemoveEdge(Node*, Node*)

这个方案正确吗?收集器线程有一个较旧版本的mutator线程所看到的内容。我的直觉是，由于先前不可访问的节点在稍后的时间仍然不可访问，因此收集器线程可能会在发现不可访问的对象时立即删除它。

另外，如果它对一个mutator线程是正确的，它会对多个mutator线程工作吗?

我在这里发布了代码:https://github.com/audulus/collector。代码实际上是相当通用的。使用RootPtr<T>自动跟踪根节点。节点间的链接使用EdgePtr<T>进行管理。

收集器似乎适用于多个mutator线程(在我的应用程序和单元测试中)，但我觉得需要证明正确性。

请注意(作为对@ aaronggolden下面评论的回应，从下面的评论判断，人们没有读这个): mutator线程负责以正确的顺序调用收集器函数。例如，如果mutator线程在将b赋值给RootPtr之前调用了RemoveEdge(a,b)，那么收集器可能会介入并收集b。

更新2 :

我已经将代码更新到我的最新版本，并更新了上面的链接。我现在已经在我的应用程序中使用了一年多的代码，并且没有将任何错误归因于它。