32 Concurrency support library [thread]

32.7 Condition variables [thread.condition]

32.7.3 Non-member functions [thread.condition.nonmember]

void notify_all_at_thread_exit(condition_variable& cond, unique_lock<mutex> lk);

Preconditions: lk is locked by the calling thread and either

(1.1)
no other thread is waiting on cond, or
(1.2)
lk.mutex() returns the same value for each of the lock arguments supplied by all concurrently waiting (via wait, wait_for, or wait_until) threads.

Effects: Transfers ownership of the lock associated with lk into internal storage and schedules cond to be notified when the current thread exits.

This notification is sequenced after all objects with thread storage duration associated with the current thread have been destroyed and is equivalent to: cond.notify_all(); lk.unlock();

Synchronization: The implied lk.unlock() call is sequenced after the destruction of all objects with thread storage duration associated with the current thread.

[Note 1:

The supplied lock is held until the thread exits, which might cause deadlock due to lock ordering issues.

— end note]

[Note 2:

It is the user's responsibility to ensure that waiting threads do not incorrectly assume that the thread has finished if they experience spurious wakeups.

This typically requires that the condition being waited for is satisfied while holding the lock on lk, and that this lock is not released and reacquired prior to calling notify_all_at_thread_exit.

— end note]