projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd1f275) | patch
execution: bugfix - resolved promises should propagate synchronization
authorBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:09:52 +0000 (10:09 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:09:52 +0000 (10:09 -0700)
commit741d3d1160343d8545a783a2d05d3d0562b1c737
tree713974f2977e876c9c4ebda1257e77501e379911tree | snapshot
parentdd1f275d3e8042282bad49cf85fddfc2a5735166commit | diff
execution: bugfix - resolved promises should propagate synchronization

A new write ModelAction may resolve a Promise, completing a release
sequence and updating the read's clock vector. This update should be
propagated to any ModelAction later in the execution order which had
previously "happened after" the read.
execution.cc diff | blob | history
execution.h diff | blob | history
C++11 memory model checker