为什么在 std::condition_variable 中，notify_all 比 notify_one 工作得更快（在随机请求上）？

Question

我编写了std::shared_mutex 的实现，但在我的测试中它工作了几分钟，用notify_all替换了notify_one ，它开始工作了 20 毫秒。 这是因为唤醒一个条件变量的开销，为什么它比notify_all工作得更慢。

class RWLock {
public:
    template <class Func>
    void Read(Func func) {
        std::unique_lock<std::mutex> lock(mutex_);
        no_writer_.wait(lock, [this] { return !write_; });
        ++read_cnt_;
        lock.unlock();

        try {
            func();
        } catch (...) {
            End();
            throw;
        }
        End();
    }

    template <class Func>
    void Write(Func func) {
        std::unique_lock<std::mutex> lock(mutex_);
        no_readers_.wait(lock, [this] { return read_cnt_ == 0; });

        write_ = true;
        try {
            func();
        } catch (...) {
            write_ = false;
            throw;
        }

        write_ = false;

        no_writer_.notify_all();
    }

private:
    std::mutex mutex_;
    std::condition_variable no_writer_;
    std::condition_variable no_readers_;
    int read_cnt_ = 0;
    bool write_ = false;

    void End() {
        mutex_.lock();
        --read_cnt_;
        no_readers_.notify_all();
        mutex_.unlock();
    }
};

Answer 1

您在互斥锁锁定时发出条件信号。

您可能想尝试一个常见的优化：在调用notify_one / notify_all之前释放互斥锁。