change total orde to strict total order

Author: xmh0511

source/threads.tex

@@ -1572,7 +1572,7 @@
 \begin{itemdescr}
 \pnum
 Let $P(\tcode{x}, \tcode{y})$ be
-an unspecified total ordering over \tcode{thread::id}
+an unspecified strict total ordering over \tcode{thread::id}
 as described in \ref{alg.sorting}.
 
 \pnum
@@ -2858,7 +2858,7 @@
 \end{itemize}
 
 \pnum
-There is a single total order $S$
+There is a single strict total order $S$
 on all \tcode{memory_order::seq_cst} operations, including fences,
 that satisfies the following constraints.
 First, if $A$ and $B$ are
@@ -6550,7 +6550,7 @@
 The implementation provides lock and unlock operations, as described below.
 For purposes of determining the existence of a data race, these behave as
 atomic operations\iref{intro.multithread}. The lock and unlock operations on
-a single mutex appears to occur in a single total order.
+a single mutex appears to occur in a single strict total order.
 \begin{note}
 This
 can be viewed as the modification order\iref{intro.multithread} of the
@@ -8645,9 +8645,9 @@
 
 \pnum
 \sync
-For any given \tcode{once_flag}: all active executions occur in a total
+For any given \tcode{once_flag}: all active executions occur in a strict total
 order; completion of an active execution synchronizes with\iref{intro.multithread}
-the start of the next one in this total order; and the returning execution
+the start of the next one in this strict total order; and the returning execution
 synchronizes with the return from all passive executions.
 
 \pnum
@@ -8718,7 +8718,7 @@
 \pnum
 The implementation behaves as if all executions of \tcode{notify_one}, \tcode{notify_all}, and each
 part of the \tcode{wait}, \tcode{wait_for}, and \tcode{wait_until} executions are
-executed in a single unspecified total order consistent with the ``happens before'' order.
+executed in a single unspecified strict total order consistent with the ``happens before'' order.
 
 \pnum
 Condition variable construction and destruction need not be synchronized.