projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad52dcd) | patch
model: bugfix - only allow promise satisfaction for "compatible" threads
authorBrian Norris <banorris@uci.edu>
Tue, 26 Feb 2013 00:11:54 +0000 (16:11 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 26 Feb 2013 00:15:27 +0000 (16:15 -0800)
commit8799a4707e5cb3fe4418a963beef330089511d03
treee05602e8b83efe7bd9bbb9aea297d9a1480780c0tree | snapshot
parentad52dcdb3a75a69242a392165934e942cb76513bcommit | diff
model: bugfix - only allow promise satisfaction for "compatible" threads

I overlooked updating the 'compute_promises()' function when modifying
promises such that they are only resolved by a limited set of threads.
This allows compute_promises() to properly prune out those promises
which are not satisfiable by the current thread.

At the same time, move the act->is_read() check to be an ASSERT(), since
we should never see a promise generated by a non-read ModelAction.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.