LWG3343 Ordering of calls to unlock() and notify_all() in Effects element of notify_all_at_thread_exit() should be reversed

Author: burblebee

source/threads.tex

@@ -9508,11 +9508,14 @@
 \effects
 Transfers ownership of the lock associated with \tcode{lk} into
 internal storage and schedules \tcode{cond} to be notified when the current
-thread exits, after all objects with thread storage duration associated with
-the current thread have been destroyed. This notification is equivalent to:
+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:
 \begin{codeblock}
-lk.unlock();
 cond.notify_all();
+lk.unlock();
 \end{codeblock}
 
 \pnum