projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2985e8) | patch
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)
commit7823790c1d16dc687bf4bb3d6e3c6de5eb9f6366
tree84bdeeea81490943b81da6f9f4e1d82fef0431b9tree | snapshot
parentd2985e8129a69c7fb28c080272988485830c2bd9commit | diff
promise: bugfix - a disabled thread should not be eliminated

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.
promise.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.