projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8521b24) | patch
model: release sequences: check last action in each thread
authorBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 17:47:31 +0000 (10:47 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 21:10:01 +0000 (14:10 -0700)
commit663a0dcbf36fd68a8d5783fcf7b218d17e2f9aad
tree14635163c7b1d8f53127c94e35c5c559d0020b9dtree | snapshot
parent8521b24fa3f8bc2c903c9b82350c61828bf67520commit | diff
model: release sequences: check last action in each thread

Previously, release_seq_head would only examine actions on a particular, given
object to determine a release sequence. However, we can get information
regarding the possibility of future disruptive writes by checking the clock
vector of the last action of each thread, regardless of object.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.