Template:cpp/thread/condition variable/single total order note

The effects of / and each of the three atomic parts of // (unlock+wait, wakeup, and lock) take place in a single total order that can be viewed as modification order of an atomic variable: the order is specific to this individual condition variable. This makes it impossible for to, for example, be delayed and unblock a thread that started waiting just after the call to  was made.