c++ - 获取两个互斥量的锁并避免死锁

Question

以下代码包含潜在的死锁，但似乎是必要的:要将数据从一个容器安全地复制到另一个容器，必须锁定两个容器以防止在另一个线程中发生更改。

void foo::copy(const foo & rhs)
{
    pMutex->lock();
    rhs.pMutex->lock();
    // do copy
}

Foo 有一个 STL 容器，“复制”本质上就是使用 std::copy。如何在不引入死锁的情况下锁定两个互斥量？

Answer 1

对 foo 实例施加某种总顺序，并始终以递增或递减顺序获取它们的锁，例如，foo1->lock() 然后是 foo2->lock()。

另一种方法是使用函数语义，而不是编写一个创建新实例而不是破坏现有实例的 foo::clone 方法。

如果您的代码进行大量锁定，您可能需要一个复杂的死锁避免算法，例如 banker's algorithm .