projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adccaa0) | patch
model: fix release_seq for open-ended synchronization
authorBrian Norris <banorris@uci.edu>
Fri, 7 Sep 2012 17:38:58 +0000 (10:38 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Sep 2012 17:44:44 +0000 (10:44 -0700)
commit86e0aa7f0ea574f58afb0109b1e02a578a429eb1
treeebf9404738f94f3fcaebbaf0b032691b7b615939tree | snapshot
parentadccaa0225ce474d5d7a8e0833c11d0c0fdf944dcommit | diff
model: fix release_seq for open-ended synchronization

This fix handles the case where a thread may not yet have synchronized in a way
that ensures no future writes may break a release sequence. If we encounter
such a thread, we can return false (uncertain) and re-check this potential
release sequence later in the execution.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.