Boost C++ Libraries: Ticket #8422: Assertion in win32::WaitForSingleObject()

owner, status changed

viboes — Tue, 09 Apr 2013 16:29:27 GMT

owner changed from Anthony Williams to viboes
status new → assigned

What would be the expected behavior when WaitForSingleObject() returns WAIT_ABANDONED?

viboes — Tue, 21 May 2013 23:07:35 GMT

ping?

robert.stewart@… — Wed, 22 May 2013 11:17:59 GMT

Since that return value means the calling thread owns the mutex by default of the previous owner, it should be treated as equivalent to WAIT_OBJECT0. Thus, the following seems appropriate:

DWORD const retval(win32::WaitForSingleObject(sem, ::boost::detail::win32::infinite));
BOOST_VERIFY(WAIT_OBJECT0 == retval || WAIT_ABANDONED == retval);

You might prefer to repackage WAIT_ABANDONED like WAIT_TIMEOUT is, so the following may be more in keeping with the current code:

DWORD const retval(win32::WaitForSingleObject(sem, ::boost::detail::win32::infinite));
BOOST_VERIFY(0 == retval || ::boost::detail::win32::abandoned == retval);

viboes — Tue, 04 Jun 2013 06:14:49 GMT

Yes, this can be changed. I will do it soon.

milestone changed

viboes — Tue, 04 Jun 2013 06:17:40 GMT

milestone To Be Determined → Boost 1.54.0

viboes — Sun, 09 Jun 2013 08:31:28 GMT

Committed in trunk [84710]

status changed; resolution set

viboes — Wed, 12 Jun 2013 20:58:53 GMT

status assigned → closed
resolution → fixed

viboes — Wed, 12 Jun 2013 21:00:48 GMT

Committed revision [84750].