std::condition_variable:: wait

wait bewirkt, dass der aktuelle Thread blockiert, bis die Bedingungsvariable benachrichtigt wird oder ein spontanes Aufwachen auftritt. pred kann optional bereitgestellt werden, um spontanes Aufwachen zu erkennen.

Unmittelbar nachdem wait zurückkehrt, ist lock. owns_lock ( ) true , und lock. mutex ( ) wird vom aufrufenden Thread gesperrt. Wenn diese Nachbedingungen nicht erfüllt werden können ^[1] , wird std::terminate aufgerufen.

Wenn eine der folgenden Bedingungen erfüllt ist, ist das Verhalten undefiniert:

• lock. owns_lock ( ) ist false .
• lock. mutex ( ) ist nicht durch den aufrufenden Thread gesperrt.
• Falls andere Threads ebenfalls auf * this warten, lock. mutex ( ) unterscheidet sich vom Mutex, der durch die Wartefunktionen ( wait , wait_for und wait_until ) auf * this durch jene Threads entsperrt wird.

1. ↑ Dies kann passieren, wenn das erneute Sperren des Mutex eine Exception auslöst.

Parameter

Ausnahmen

Hinweise

Die Effekte von notify_one() / notify_all() und jeder der drei atomaren Teile von wait() / wait_for() / wait_until() (Entsperren+Warten, Aufwecken und Sperren) finden in einer einzigen Gesamtreihenfolge statt, die als Modifikationsreihenfolge einer atomaren Variable betrachtet werden kann: Die Reihenfolge ist spezifisch für diese individuelle Bedingungsvariable. Dies macht es unmöglich, dass notify_one() beispielsweise verzögert wird und einen Thread entsperrt, der erst nach dem Aufruf von notify_one() mit dem Warten begonnen hat.

Beispiel

#include <chrono>
#include <condition_variable>
#include <iostream>
#include <thread>
std::condition_variable cv;
std::mutex cv_m; // Dieses Mutex wird für drei Zwecke verwendet:
                 // 1) zum Synchronisieren von Zugriffen auf i
                 // 2) zum Synchronisieren von Zugriffen auf std::cerr
                 // 3) für die Condition Variable cv
int i = 0;
void waits()
{
    std::unique_lock<std::mutex> lk(cv_m);
    std::cerr << "Waiting... \n";
    cv.wait(lk, []{ return i == 1; });
    std::cerr << "...finished waiting. i == 1\n";
}
void signals()
{
    std::this_thread::sleep_for(std::chrono::seconds(1));
    {
        std::lock_guard<std::mutex> lk(cv_m);
        std::cerr << "Notifying...\n";
    }
    cv.notify_all();
    std::this_thread::sleep_for(std::chrono::seconds(1));
    {
        std::lock_guard<std::mutex> lk(cv_m);
        i = 1;
        std::cerr << "Notifying again...\n";
    }
    cv.notify_all();
}
int main()
{
    std::thread t1(waits), t2(waits), t3(waits), t4(signals);
    t1.join(); 
    t2.join(); 
    t3.join();
    t4.join();
}

Waiting...
Waiting...
Waiting...
Notifying...
Notifying again...
...finished waiting. i == 1
...finished waiting. i == 1
...finished waiting. i == 1

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch

Externe Links