Re: [Boost-bugs] [Boost C++ Libraries] #7669: thread_group::join_all() should catch resource_deadlock_would_occur

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #7669: thread_group::join_all() should catch resource_deadlock_would_occur
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2012-11-09 11:38:19

#7669: thread_group::join_all() should catch resource_deadlock_would_occur
------------------------------------+---------------------------------------
  Reporter:  boost.lists@…          |       Owner:  anthonyw           
      Type:  Bugs                   |      Status:  new                
 Milestone:  To Be Determined       |   Component:  thread             
   Version:  Boost 1.52.0           |    Severity:  Problem            
Resolution:                         |    Keywords:  thread;thread_group
------------------------------------+---------------------------------------

Comment (by viboes):

 I think that we should change the pre-conditions of thread_group::join_all
 as the join() precondition should not be forcedly checked.


 {{{
 Requires: for each thread th in the thread group satisfy
 this_thread::get_id()!=th.get_id().
 }}}

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/7669#comment:1>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.