11

ミューテックスを条件変数で使用するとどうなるかを理解しようとしています。

次の例では、cppreferenceから取得

int main()
{
    std::queue<int> produced_nums;
    std::mutex m;
    std::condition_variable cond_var;
    bool done = false;
    bool notified = false;

    std::thread producer([&]() {
        for (int i = 0; i < 5; ++i) {
            std::this_thread::sleep_for(std::chrono::seconds(1));
            std::unique_lock<std::mutex> lock(m);
            std::cout << "producing " << i << '\n';
            produced_nums.push(i);
            notified = true;
            cond_var.notify_one();
        }   

        done = true;
        cond_var.notify_one();
    }); 

    std::thread consumer([&]() {
        std::unique_lock<std::mutex> lock(m);
        while (!done) {
            while (!notified) {  // loop to avoid spurious wakeups
                cond_var.wait(lock);
            }   
            while (!produced_nums.empty()) {
                std::cout << "consuming " << produced_nums.front() << '\n';
                produced_nums.pop();
            }   
            notified = false;
        }   
    }); 

    producer.join();
    consumer.join();
}

cond_var.notify_one()ミューテックスのロックが解除される前に、プロデューサースレッドが呼び出します。通知が呼び出されたときにミューテックスのロックが解除されますかm、それともミューテックスのロックが解除されたときにのみ通知が発生しますか？

4

3 に答える 3

11

通知してもミューテックスのロックは解除されません。待機中にミューテックスを解放するnotify_one()方法にロックを渡さないため、（間接的に）わかります。wait()

一方、通知されたスレッドは「すぐに」通知されます。しかし、必ずしもwait()すぐに戻るとは限りません。彼らがそこから戻る前に、wait()彼らは最初にミューテックスを再取得しなければならないので、通知スレッドがそれを解放するまで彼らはそこでブロックします。

于 2012-10-22T20:38:23.793 に答える
3

ロックはコンストラクタで取得され、のデストラクタで解放されstd::unique_lockます。notify_one()この情報から、呼び出しが完了した後にプロデューサーがロックを解放したと推測できます。

于 2012-10-24T20:14:26.350 に答える
0

パフォーマンス上の理由から、他のスレッドに通知する前にミューテックスのロックを解除することをお勧めします。

于 2017-01-03T16:42:03.193 に答える