我想测量一个条件变量通知另一个等待的线程需要多长时间。我写了这个例子来尝试捕捉时间差：

bool ready{false};
mutex m;
condition_variable cv;
decltype(chrono::steady_clock::now()) t1;
decltype(chrono::steady_clock::now()) t2;

void notifying_thread() {
    {
        lock_guard<mutex> lg{m};
        ready = true;
    }
    t1 = chrono::steady_clock::now();
    cv.notify_one();
}

void waiting_thread() {
    unique_lock<mutex> ul{m};
    cv.wait(ul, [] { return ready; });
    t2 = chrono::steady_clock::now();
}

int main() {
    auto f1{async(notifying_thread)};
    auto f2{async(waiting_thread)};
    f1.get();
    f2.get();
    cout << chrono::duration_cast<chrono::microseconds>(t2 - t1).count() << " µs\n";
    return 0;
}

字符串
我做得对吗？我的chrono::steady_clock::now() s是否在正确的位置？平均时间约为25 µs，但有时甚至是负数。它怎么可能是负数？t1不应该总是在t2之前启动吗？async的启动策略是否相关？