std::lock() 等效于 boost::shared_mutex？

Question

我有许多对象，每个对象都与一个 boost::shared_mutex 相关联（我需要共享/唯一锁定功能）。

在代码中的某些情况下，我需要一次获得多个对象的唯一所有权。

for (FileMetaData* entry : smd->fileSet) {
    entry->fileMutex.lock();
}

// some critical work

for (FileMetaData* entry : smd->fileSet) {
    entry->fileMutex.unlock();
}

当不同的线程试图获取不同的锁时，这样做会导致死锁。

我发现 std::lock () 适合我的用例。但是 boost::shared_mutex 有等价的吗？

编辑：

关于有序锁定模式，它并不完全适合我的情况：

T1 lock (C,D,E)
T2 wants to lock (B,D), but can only obtain the lock for B
T1 spawns T3 which works on (B,C), it stuck when obtaining the lock for B

所以问题是当 T1 生成 T3 时需要对 B 进行额外的锁定，这破坏了有序锁定模式。我认为如果 T2 在 D 不可锁定时不为 B 持有锁，则可以解决此问题，本质上是 std::lock 所做的。

Answer 1

您可以使用std::lock（或等效的boost::lock，统称为“锁定功能”）来执行共享所有权锁定以及排他锁定，具体取决于您传递的要锁定的内容 - 任何Lockable 都可以.例如，如果您想在独占模式下锁定两个std::mutex/boost::mutexs A, B 和boost::shared_mutex SM，您只需将三个传递给std::lock：

std::lock(A, B, SM);

如果您想在共享所有权模式下锁定SM，您可以为其创建一个未锁定的boost::shared_lock 并将那个传递给锁定函数：

boost::shared_lock<boost::shared_mutex> bsl{SM, boost::defer_lock};
std::lock(A, B, bsl);

在与您的问题无关的注释 - 样式偏好 - 我更喜欢始终构建 RAII 锁以传递到 std::lock，所以我不能搞砸解锁，所以我实际上会写：

auto alk = boost::make_unique_lock(A, std::defer_lock);
auto blk = boost::make_unique_lock(B, std::defer_lock);
// boost::make_shared_lock(), where are you?!?
boost::shared_lock<boost::shared_mutex> bsl{SM, boost::defer_lock};
std::lock(alk, blk, bsl);