C++11 原子和侵入式共享指针引用计数

Question

我正在编写侵入式共享指针，并且我正在使用 C++11 <atomic> 工具作为引用计数器。以下是我的代码的相关片段：

//...
mutable std::atomic<unsigned> count;
//...

void
SharedObject::addReference() const
{
    std::atomic_fetch_add_explicit (&count, 1u,
        std::memory_order_consume);
}

void
SharedObject::removeReference() const
{
    bool destroy;

    destroy = std::atomic_fetch_sub_explicit (&count, 1u,
        std::memory_order_consume) == 1;

    if (destroy)
        delete this;
}

我首先从memory_order_acquire 和memory_order_release 开始，但后来我说服自己memory_order_consume 应该足够好。经过进一步考虑，在我看来，即使memory_order_relaxed 也应该可以工作。

现在的问题是我是否可以使用memory_order_consume 进行操作，或者我可以使用较弱的排序 (memory_order_relaxed) 还是应该使用更严格的排序？

Answer 1

void
SharedObject::addReference() const
{
    std::atomic_fetch_add_explicit (&count, 1u, std::memory_order_relaxed);
}

void
SharedObject::removeReference() const
{
    if ( std::atomic_fetch_sub_explicit (&count, 1u, std::memory_order_release) == 1 ) {
         std::atomic_thread_fence(boost::memory_order_acquire);
         delete this;
    }
}

您想使用atomic_thread_fence 使得delete 严格在fetch_sub 之后。 Reference

引用链接文本：

增加引用计数器总是可以用 memory_order_relaxed：只能形成对对象的新引用 从现有的引用，并从一个现有的引用传递 到另一个线程必须已经提供了任何所需的同步。

在一个对象中强制执行任何可能的访问权限是很重要的 线程（通过现有引用）在删除之前发生 对象在不同的​​线程中。这是通过“释放”来实现的 删除引用后的操作（通过 这个引用显然必须发生在之前），以及“获取” 删除对象之前的操作。

可以将 memory_order_acq_rel 用于 fetch_sub 操作，但这会导致不必要的“获取”操作，当 参考计数器尚未达到零，可能会施加性能 罚款。