含义std::互斥锁解锁与锁同步以重新获取

回答完这个问题后，有一件事再次困扰我，让我发疯：

如果一个线程_1当前正在尝试锁定一个互斥锁，而另一个线程_2解锁了这个互斥锁，那么在线程_2再次尝试锁定它之前，是否可以保证线程_1会获得互斥锁。

为了确保当前试图锁定，我假设std::condition_variable::wait与std::mutex::lock具有等效部分，而不仅仅是while(try_lock())

我认为答案是否定的，因为std::mutex实现的调度不同。但我不确定，尽量不做一个名誉妓女，但是，

1. 这个问题没有当前试图锁定
2. 这个问题澄清了解锁/锁定与部分同步，但没有说明这个一般问题

我只是想确定一下。也许我有点偏执。

演示代码：

#include <thread>
#include <atomic>
#include <mutex>
#include <condition_variable>
#include <cassert>
std::mutex lock; 
std::condition_variable ensure_in_lock;
std::atomic<int> invariant = 1;
void thread_1(){
    while (true){
        std::unique_lock<std::mutex> ul(lock);
        invariant++;
        ensure_in_lock.wait(ul);
        invariant++;
    }
}
void thread_2(){
    while (true){
        lock.lock();
        assert(invariant > 0); //<- This should be, in theory, able to break, shouldn't it?!
        ensure_in_lock.notify_all();
        lock.unlock();
        invariant--;
    }
}
int main(void)
{
    std::thread t1(thread_1);
    /*
    //make sure t1 really had started like with thread_once or pratically with this
    std::this_thread::sleep_for(std::chrono::seconds(1));
    */
    std::thread t2(thread_2);
    while (true);
    return 0;
}