Subject: [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 07:16:15
#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
Keywords: thread;thread_group |
-----------------------------------+----------------------------------------
If a thread in thread_group is this_thread, join_all() throws
resource_deadlock_would_occur. This violates the function post-condition:
"Every thread in the group has terminated."
Because of the above, and because it's impossible to enumerate the threads
is a thread_group, it should catch resource_deadlock_would_occur and
proceed with the joining loop. (The exception can be re-thrown when the
loop ends.)
-- Ticket URL: <https://svn.boost.org/trac/boost/ticket/7669> Boost C++ Libraries <http://www.boost.org/> Boost provides free peer-reviewed portable C++ source libraries.
This archive was generated by hypermail 2.1.7 : 2017-02-16 18:50:11 UTC