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

From: Lawrence_at_[hidden]
Date: 2007-12-09 16:24:48

Author: crowl
Date: 2007-12-09 16:24:48 EST (Sun, 09 Dec 2007)
New Revision: 41939
URL: http://svn.boost.org/trac/boost/changeset/41939

Log:
Add last of thread happens before process death.

Text files modified: 
   sandbox/committee/LWG/thread_library.html |    19 +++++++++++++++++++                     
   1 files changed, 19 insertions(+), 0 deletions(-)

Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html	(original)
+++ sandbox/committee/LWG/thread_library.html	2007-12-09 16:24:48 EST (Sun, 09 Dec 2007)
@@ -799,9 +799,28 @@
 
 <dt>Synchronization:</dt>
 <dd>
+<p>
 The invocation of the constructor
 happens before ([intro.multithread])
 the invocation of <code><var>f</var></code>.
+</p>
+<p>
+Every thread shall ensure that
+all its uses of static-duration variables
+happen before ([intro.multithread ])
+their destruction
+and that all calls to the standard library
+happen before ([intro.multithread])
+completion of destruction of static-duration variables
+and execution of <code>std::atexit</code> registered functions
+([support.start.term]).
+[<i>Note:</i>
+Terminating the thread before
+a call to <code>std::exit</code> or the exit from <code>main</code>
+is sufficient, but not necessary, to satisfy this requirement.
+This requirement permits thread managers as static-duration objects.
+&mdash;<i>end note</i>]
+</p>
 </dd>
 
 <dt>Postconditions:</dt>