fun issues...
authorBrian Demsky <bdemsky@uci.edu>
Wed, 12 Sep 2012 09:52:34 +0000 (02:52 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 12 Sep 2012 09:52:34 +0000 (02:52 -0700)
commit0c61161a061c85189d4d1531a9ad00caf2f2588d
treed3b08388e9d071c3392366e8878fea76bb6d3213
parent2cd14a2ba5f68a5bd35c1094c9d5a83891b483f8
fun issues...
(1) need to compute promises for rmw nodes...they could satisfy them
(2) don't call rmwedge if you don't know where you are reading from yet
(3) miscopied commit from big merge (already_added -> !already_added)
(4) avoid adding rmw edges back to itself
(5) probably worth adding a check that the execution isfeasible before sending future values
(6) resolve promises should add rmwedges when appropriate
(7) fix seq_cst to mask earlier writes..
model.cc