Std::condition_variable::wait в С++

Я немного запутался в мьютексе, блокировке и ожидании.

Вот мой код:

void producer(std::mutex* m, std::condition_variable* cv,bool* signal) {

    std::this_thread::sleep_for(std::chrono::seconds(1));

    m->lock();
    *signal = true;
    m->unlock();

    std::this_thread::sleep_for(std::chrono::seconds(3));

    cv->notify_one();

    printf("notify one\n");
    std::this_thread::sleep_for(std::chrono::seconds(10000));
}

void consumer(std::mutex*m, std::condition_variable* cv, bool* signal, int index) {

    if (index == 2) std::this_thread::sleep_for(std::chrono::seconds(2));
    std::unique_lock<std::mutex> lk(*m);

    cv->wait(lk, [&] { return (*signal); });

    printf("consumer %d passes this point!\n", index);
    std::this_thread::sleep_for(std::chrono::seconds(10000));
}

int main() {
    
    bool signal = false;
    std::mutex m;
    std::condition_variable cv;
    std::thread th1(producer, &m, &cv, &signal);
    std::thread th2(consumer, &m, &cv, &signal, 1);
    std::thread th3(consumer, &m, &cv, &signal, 2);

    th1.join();
    th2.join();
    th3.join();

    return 0;
}

std::this_thread::sleep_for добавлен, чтобы объяснить мой вопрос. Есть производитель, потребитель1 и потребитель 2. Я думаю, что этот код должен работать следующим образом:

1. Consumer1 встречает std::unique_lock<std::mutex> lk(*m);, поэтому он блокируется.
2. потребитель1 встречает cv->wait. Поскольку начальное значение signal равно false, потребитель1 заблокирован, а блокировка снята.
3. продюсер встречает m->lock();, *signal = true;, m->unlock(); и sleep_for. Следовательно, signal становится true.
4. потребитель2 встречает std::unique_lock<std::mutex> lk(*m); и cv->wait(lk, [&] { return (*signal); });. Поскольку signal есть true, эта ветка просто пропускает его. Итак, printf("consumer %d passes this point!\n", index); выполняется.
5. продюсер встречает cv->notify_one();. потребитель 1 разблокирован и проверьте состояние. Поскольку signal — это ture, потребитель1 может пройти эту точку. Следовательно, потребитель1 соответствует printf.

Следовательно, мой ожидаемый результат

consumer 2 passes this point!
notify one
consumer 1 passes this point!

Однако реальный результат

consumer 2 passes this point!
notify one

Получается, что Consumer1 не может передать cv->wait(lk, [&] { return (*signal); });, хотя notify_one() вызывается и условие выполняется. Что-то не так в моем понимании?