使用原子引用计数时是否需要保护删除资源？

Question

在许多情况下，一个资源可以由多个线程共享。资源处理程序可以使用原子引用计数来处理这些资源。

假设您在线程 A 中有一个资源处理程序，例如 std::string a。假设这个 std::string 在内部使用原子引用计数机制。现在假设您制作了一个卷影副本，例如 std::string b=a，其中 b 在线程 B 中使用。

我刚刚阅读了这个问题：reference counted class and multithreading，那里有两个答案。 first answer表示下面的代码sn-p就够了；注意 cleanup 在没有任何互斥保护的情况下被调用：

if(InterlockedDecrement(&mRefCount)==0)
    cleanup();

但是second answer 用互斥体包装了cleanup 函数：

void decRef() {
    lock(_mutex);
    if(InterlockedDecrement(&mRefCount)==0) {
        cleanup(); //mainly delete some resource
    }
}

我的问题是，“第一个答案正确吗？”这种情况怎么样，当实例a在线程A中被销毁时：

if(InterlockedDecrement(&mRefCount)==0)
    // here, OS switch to another thread, and mRefCount is changed there
    cleanup();

...mRefCount 可能在线程 B 中同时更改（由 b。）在线程 B 中进行此类更改后，在线程 A 中调用 cleanup() 是否仍然安全？

Answer 1

我没有尝试详细查看该答案，但我怀疑您通常更关心这个问题，而不仅仅是那个特定问题。

在典型的 COW 字符串¹ 中，当引用计数降至 0 时，您不再需要使用互斥体（或类似的东西）来保护清理。

原因很简单：至少在通常情况下，您只能通过复制一些现有的字符串引用来创建对字符串的新引用。当引用计数降至零时， 不再有任何现有引用，因此没有创建此类副本的来源。

如果您使用的是其他而不是 COW 字符串，您必须查看用法以确定引用计数是否可以从起始值 0 开始递增. 例如，您可以有某种缓存保存最近使用的值，它使用引用计数，因此只要引用了一个对象，它就会保留在缓存中。如果没有对它的进一步引用，它将有资格从缓存中删除。下次您需要向缓存中添加内容时，您会找到引用计数为 0 的最旧项目，并将其替换为新项目（如果没有引用计数为 0 的项目，您将扩展缓存或拒绝缓存新项目，具体取决于缓存策略）。

在这种情况下，可能找到引用计数为 0 的任何项目，然后使用上下文切换添加对该项目的引用，然后切换回并且（如果您没有使用互斥锁保护清理）删除该项目，即使它现在具有非零引用计数。

---

1. 虽然这里不是特别相关，但 std::string 的写时复制实现现在被标准明确禁止。