promise: bugfix - a disabled thread should not be eliminated
authorBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 03:00:49 +0000 (19:00 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 03:00:49 +0000 (19:00 -0800)
Because we now only consider a subset of threads for satisfying
promises, we can have a disabled thread that still may satisfy a
promise; it could simply synchronize with another unrelated thread, then
continue to generate a write that can resolve the promise.

As a side effect, this change makes "has_failed()" much simpler.


No differences found