C＆＃x2B;＆＃x2B; 11两个关键部分可以使用嵌套锁定guard？

Question

如果我有两个关键部分，并且我进行了两个相应的静音以保护它们。（我认为有必要精确控制何时锁定，因为它们在不同的时间和场景中使用，Q1是：真的是吗？） 例如：

bool a;//ignore atomic_bool, because in actual, the data structure is more complex
mutex mut_a;//for threadsafe of a
bool b;
mutex mut_b;//for threadsafe of b

我需要实现这种逻辑：

if (lock_guard<mutex> lck(mut_a);a) { do something...
}
else {
    if (lock_guard<mutex> lck(mut_b);b) { do something...
  }
}

如Seave，使用Lock_Guard（Mutex）嵌套，Q2是否正确且螺纹安全？

Answer 1

我认为这里的一个问题是，

if (bool x = true)
{
    // x is in scope
}
else
{
    // x is STILL in scope!
    x = false;
}

因此mut_a上的第一个锁仍然保存在else块中。这可能是您的意图，但我认为这不是一个最佳的写作方法，如果是这样。

另外，如果在b的关键部分中！

Answer 2

该代码本质上不是不安全的。但是，...

正如另一个答案中已经提到的那样，您需要考虑静音也锁定在其他分支中：

if (lock_guard<mutex> lck(mut_a);a) { do something...
     // mut_a is locked
} else {
    if (lock_guard<mutex> lck(mut_b);b) { do something...
        // mut_a and mut_b are locked
    }
}

也许这是针对的。如果不是，那是错误的。

此外，您需要谨慎一次锁定多个静音。当其他地方以不同的顺序锁定它们时，会有一个死锁：

 {
     lock_guard<mutex> lock_b(mut_b);
     lock_guard<mutex> lock_a(mut_a);
     // do something
 }

您的代码锁mut_a，并且仅在能够在mut_b上获得锁后才会发布。此代码锁定mut_b，并且仅在能够在mut_a上获得锁后才会发布。

为了避免这样的僵局，您可以使用 std :: scoped_lock 使用多个静音并使用一些僵局避免算法。