Является ли notifiy_one () / notify_all () семантически операцией выпуска, и если да, то где это определяется?

Question

Рассмотрим следующий пример из cppreference :

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();
}

Говорят, что уведомление может и даже должно быть сделано после снятия блокировки. Однако я не понимаю, как это по-прежнему обеспечивает достаточную безопасность в отношении порядка памяти. уведомление?

Я не могу найти ничего, что говорило бы, что notify_one () сам по себе является операцией выпуска с точки зрения семантики получения-выпуска. Таким образом, кажется, что мы не можем быть уверены в том, что изменение флага действительно происходит - до получения уведомления, и поэтому компилятор может даже решить переупорядочить уведомление в предыдущий блок, защищенный мьютексом (переупорядочивая инструкцию из следующего разблокировка до блокировки (!) обычно не должна «разрывать контракт»), так что уведомление будет получено до того, как будет обнаружен обновленный флаг, и другой поток может ждать вечно.

Другими словами: Где в стандарте говорится, что notify_one "синхронизируется с" получением уведомления?

EDIT: Связанный вопрос Как std :: atomi c :: notify_all упорядочен? отличается тем, что речь идет о функциях notify_ () C ++ 20 atomi c, а стандартные отрывки, цитируемые в нем, не применяются к условным переменным и поэтому не могут считаться ответом на мой вопрос, который конкретно касается стандартные формулировки, относящиеся к резюме и их порядку / срокам. Фактический ответ, вероятно, дает этот параграф стандарта:

http://eel.is/c++draft/thread.condition#4