1354. The definition of deadlock excludes cases involving a single thread

Section: 3.15 [defns.deadlock] Status: C++11 Submitter: BSI Opened: 2010-08-25 Last modified: 2016-01-28

Priority: Not Prioritized

View all issues with C++11 status.

Discussion:

Addresses GB-52

The definition of deadlock in 17.3.7 excludes cases involving a single thread making it incorrect.

[ Resolution proposed by ballot comment ]

The definition should be corrected.

[ 2010 Batavia Concurrency group provides a Proposed Resolution ]

[ Adopted at 2010-11 Batavia ]

Proposed resolution:

Change 3.15 [defns.deadlock] as indicated:

deadlock

twoone or more threads are unable to continue execution because each is blocked waiting for one or more of the others to satisfy some condition.