projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3eb9872) | patch
model: modify promises on THREAD_{CREATE,FINISH}
authorBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 02:47:53 +0000 (18:47 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 24 Jan 2013 02:47:53 +0000 (18:47 -0800)
commitd2985e8129a69c7fb28c080272988485830c2bd9
treed69dedf99b92b7eaf42011e62717daaffcf11744tree | snapshot
parent3eb987279c382e0000de844728aceef2f360acf6commit | diff
model: modify promises on THREAD_{CREATE,FINISH}

When a thread is created it *must* pass its promise satisfiability to
its children.

When a thread finishes, we should remove it from all promises. This can
help prune a search early, if some read was depending only on the
finishing thread: we can then declare an unresolved promise.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.