[Boost-commit] svn:boost r40357 - sandbox/committee/LWG

From: bdawes_at_[hidden]
Date: 2007-10-23 09:35:22

Author: bemandawes
Date: 2007-10-23 09:35:22 EDT (Tue, 23 Oct 2007)
New Revision: 40357
URL: http://svn.boost.org/trac/boost/changeset/40357

Log:
Apply Anthony's fix for issue 24, condition_variable::wait precondition
Text files modified: 
   sandbox/committee/LWG/thread_library.html |    19 ++++++++++++++-----                     
   1 files changed, 14 insertions(+), 5 deletions(-)

Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html	(original)
+++ sandbox/committee/LWG/thread_library.html	2007-10-23 09:35:22 EDT (Tue, 23 Oct 2007)
@@ -2133,10 +2133,19 @@
 
 <blockquote>
 <p>
-<i>Precondition:</i> <code>lock</code> is locked by the current thread.  No
-other thread is waiting on this <code>condition_variable</code> object unless <code>lock</code>
-refers to the same underlying <code>mutex</code> object.
-</p>
+<i>Precondition:</i> <code>lock</code> is locked by the current thread, and 
+either:</p>
+
+<blockquote>
+<p>
+-- No other thread is waiting on this <code>condition_variable</code> object, or<br>
+-- The execution of the <code>mutex</code> member function on the <code>lock</code> 
+objects supplied in the calls to <code>wait</code> or <code>timed_wait</code> in 
+all the threads currently waiting on this <code>condition_variable</code> object 
+would return the same value as <code>lock-&gt;mutex()</code> for this call to <code>
+wait</code>.</p>
+
+</blockquote>
 
 <p>
 <i>Effects:</i> Atomically blocks and releases the lock on
@@ -4071,4 +4080,4 @@
 </p>
 
 </body>
-</html>
+</html>
\ No newline at end of file