Współbierzność conditional_variable, mutex - przykłady z Cppreference

Question

Nie do końca rozumiem poniższy kod. W szczególności moje wątpliwości wzbudza założenie, że kod main wykona się szybciej i jako pierwszy przejmie semafor m instrukcją lock_guard. Hipotetycznie zakładając, że utworzony wątek worker jako pierwszy przejmie m przy pomocy unique_lock, a następnie wykona się instrukcja lock_guard w mainie, to program powinien się zawiesić.

#include <iostream>
#include <string>
#include <thread>
#include <mutex>
#include <condition_variable>
 
std::mutex m;
std::condition_variable cv;
std::string data;
bool ready = false;
bool processed = false;
 
void worker_thread()
{
    // Wait until main() sends data
    std::unique_lock<std::mutex> lk(m);
    cv.wait(lk, []{return ready;});
 
    // after the wait, we own the lock.
    std::cout << "Worker thread is processing data\n";
    data += " after processing";
 
    // Send data back to main()
    processed = true;
    std::cout << "Worker thread signals data processing completed\n";
 
    // Manual unlocking is done before notifying, to avoid waking up
    // the waiting thread only to block again (see notify_one for details)
    lk.unlock();
    cv.notify_one();
}
 
int main()
{
    std::thread worker(worker_thread);
 
    data = "Example data";
    // send data to the worker thread
    {
        std::lock_guard<std::mutex> lk(m);
        ready = true;
        std::cout << "main() signals data ready for processing\n";
    }
    cv.notify_one();
 
    // wait for the worker
    {
        std::unique_lock<std::mutex> lk(m);
        cv.wait(lk, []{return processed;});
    }
    std::cout << "Back in main(), data = " << data << '\n';
 
    worker.join();
}

https://en.cppreference.com/w/cpp/thread/condition_variable

Wydaje mi się, że czegoś brakuje w moim rozumowaniu.

Mam również wątpliwości odnośnie kolejnego fragmentu kodu. Wg mnie kolejny wątek tj. t2 nie powinien wyświetlić napisu "Waiting... \n". Zamiast tego powinien oczekiwać na instrukcji unique_lock.

#include <iostream>
#include <condition_variable>
#include <thread>
#include <chrono>
 
std::condition_variable cv;
std::mutex cv_m; // This mutex is used for three purposes:
                 // 1) to synchronize accesses to i
                 // 2) to synchronize accesses to std::cerr
                 // 3) for the 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();
}

https://en.cppreference.com/w/cpp/thread/condition_variable/wait

Comments

Wszystko już jasne. Nie doczytałem na temat funkcji std::condition_variable::wait, która odblokowuje trzymany mutex ...