c++ - 通过检查条件并重新检查来获取锁

Question

这样的东西是否有效:

std::vector<std::vector<int>> data;
std::shared_mutex m;
...

void Resize() {
    // AreAllVectorsEmpty: std::all_of(data.begin(), data.end(), [](auto& v) { return v.empty(); }
    if (!AreAllVectorsEmpty()) {
        m.lock();
        if (!AreAllVectorsEmpty()) {
            data.resize(new_size);
        }
        m.unlock();
    }
}

我正在检查 AreAllVectosEmpty()，然后如果条件成功，则获取锁定，然后再次检查相同的条件是否执行调整大小。

这会是线程安全的吗？ Resize 仅被一个线程调用，但其他线程操作 data 的元素。

是否要求 AreAllVectorsEmpty 具有内存栅栏或获取语义？

编辑:当 resize 获取 m.lock 时，其他线程当然会阻塞。

编辑:我们还假设 new_size 足够大以发生重新分配。

编辑:更新 shared_mutex 的代码。

编辑:AreAllVectorsEmtpy 正在迭代数据 vector 。没有其他人修改数据 vector ，但 data[0]、data[1] 等被其他线程修改。我的假设是因为 data[0] 的大小变量在 vector 内部并且是一个简单的整数，所以访问 data[0].size()、data[1].size() 等是安全的... 调整大小 线程。 AreAllVectorsEmpty 正在遍历 data 并检查 vector.empty()。

Answer 1

我会使用 shared_mutex 并使用:

• 所有读取 vector 的线程中的共享锁(在读取 vector 时)
• 调整 vector 大小时在该线程中的唯一锁

我认为首先检查大小，然后调整大小是安全的，前提是这是修改 vector 内容的唯一线程。

锁自动意味着内存屏障，否则锁就没有多大意义。