通知线程是否可以在被通知线程等待锁定之前锁定？

Question

来自std::condition_variable::notify_one的示例代码。

我的问题是：
通知线程是否可以在通知线程的wait函数锁定之前锁定，因为notify操作不会阻塞当前线程？

---

代码：（我把原来的cmets删掉了）

#include <iostream>
#include <condition_variable>
#include <thread>
#include <chrono>

std::condition_variable cv;
std::mutex cv_m;
int i = 0;
bool done = false;

void waits()
{
    std::unique_lock<std::mutex> lk(cv_m);
    std::cout << "Waiting... \n";
    cv.wait(lk, []{return i == 1;}); //Waiting 
    std::cout << "...finished waiting. i == 1\n";
    done = true;
}

void signals()
{
    std::this_thread::sleep_for(std::chrono::seconds(1));
    std::cout << "Notifying falsely...\n";
    cv.notify_one(); //Notifying

    std::unique_lock<std::mutex> lk(cv_m);//Is it possible for this line to execute
                                         //before cv.waits() in waits() tries to lock ?
    i = 1;
    while (!done)
    {
        std::cout << "Notifying true change...\n";
        lk.unlock();
        cv.notify_one(); 
        std::this_thread::sleep_for(std::chrono::seconds(1));
        lk.lock();
    }
}

int main()
{
    std::thread t1(waits), t2(signals);
    t1.join();
    t2.join();
}

Answer 1

在回答您的标题问题时，是的。 signals 线程可能在 waits 线程之前锁定。但在回答你真正的问题时，不，这不会导致僵局。

为什么？

因为在示例中，互斥锁由lk.unlock() 释放。在此解锁时，waits 线程将有机会锁定（然后在等待开始时再次解锁）。

这个循环一直持续到wait 线程用done 布尔值表示它已完成。

时间示例：

还有很多其他的，但在所有情况下，相关的对象和条件变量都受到互斥锁的保护。你不能有数据竞争或死锁。这个例子是合理的。