c++ - 如何使 boost upgrade_to_unique_lock + condition_variable 一起工作？

Question

我使用 std::list 来保存一些字符串，一个线程写入列表，其他一些线程从中读取（获取第一个并从列表中删除）。这是代码：

std::list<string> list_;

boost::condition_variable cond;
boost::shared_mutex mtx;

int get_size() {
    boost::shared_lock<boost::shared_mutex> lock(mtx);
    return list_.size();
}

// add a string to the list
// invoked by only one thread
void add_one(const string& p) {
    {
        boost::upgrade_lock<boost::shared_mutex> lock(mtx);
        boost::upgrade_to_unique_lock<boost::shared_mutex> uniquelock(lock);

        list_.push_back(p);
    }
    cond.notify_one();
}

// get the first string and remove it from the list
// invoked by many threads
string pick_one() {
    string ret;
    {
        boost::upgrade_lock<boost::shared_mutex> lock(mtx);
        boost::upgrade_to_unique_lock<boost::shared_mutex> uniquelock(lock);

        if(!list_.size()) { // if empty, wait for notify
            cond.wait(uniquelock, [&]{ return list_.size() > 0; }); // compile error
        } 
        ret = list_.front();
        list_.pop_front();
    }
    return ret;
}

行有编译错误cond.wait(uniquelock, ...

使用带有条件变量的读/写锁的正确方法是什么？

Answer 1

您不能这样做 -upgrade_to_unique_lock是一个 RAII 助手，可以在其生命周期内获得对锁的独占访问权限。请参阅此处的文档。

boost::upgrade_to_unique_lock 允许将 boost::upgrade_lock 临时升级为独占所有权。当使用 boost::upgrade_lock 实例的引用构造时，如果该实例对某个 Lockable 对象具有升级所有权，则该所有权将升级为独占所有权。当 boost::upgrade_to_unique_lock 实例被销毁时，Lockable 的所有权被降级回升级所有权。

如果您希望shared_mutex与 Boost 条件变量一起使用，您必须boost::condition_variable_any按照此处所述使用。这里介绍了两个条件变量之间的区别（尽管是参考std，而不是参考Boost）。