LWG3030 Who shall meet the requirements of try_lock?

Author: Dawn Perchik

source/threads.tex

@@ -2699,8 +2699,8 @@
 \effects Calls \tcode{try_lock()} for each argument in order beginning with the
 first until all arguments have been processed or a call to \tcode{try_lock()} fails,
 either by returning \tcode{false} or by throwing an exception. If a call to
-\tcode{try_lock()} fails, \tcode{unlock()} shall be called for all prior arguments
-and there shall be no further calls to \tcode{try_lock()}.
+\tcode{try_lock()} fails, \tcode{unlock()} is called for all prior arguments
+with no further calls to \tcode{try_lock()}.
 
 \pnum
 \returns \tcode{-1} if all calls to \tcode{try_lock()} returned \tcode{true},
@@ -2722,11 +2722,11 @@
 
 \pnum
 \effects All arguments are locked via a sequence of calls to \tcode{lock()},
-\tcode{try_lock()}, or \tcode{unlock()} on each argument. The sequence of calls shall
+\tcode{try_lock()}, or \tcode{unlock()} on each argument. The sequence of calls does
 not result in deadlock, but is otherwise unspecified. \begin{note} A deadlock avoidance
 algorithm such as try-and-back-off must be used, but the specific algorithm is not
 specified to avoid over-constraining implementations. \end{note} If a call to
-\tcode{lock()} or \tcode{try_lock()} throws an exception, \tcode{unlock()} shall be
+\tcode{lock()} or \tcode{try_lock()} throws an exception, \tcode{unlock()} is
 called for any argument that had been locked by a call to \tcode{lock()} or
 \tcode{try_lock()}.
 \end{itemdescr}