projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2d0d0d) | patch
model: don't call process_read() for 2nd half of RMW/RMWC
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 00:36:24 +0000 (16:36 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 00:36:24 +0000 (16:36 -0800)
commit61d1e3ae29b690f69cf77c5a6f836fb36507a694
treed81f15764315880b337b79904d4f9250e35d3e79tree | snapshot
parentc2d0d0dd1f069749e1ee19e5203af048e0b26f1ccommit | diff
model: don't call process_read() for 2nd half of RMW/RMWC

We don't need to call process_read() for the second half of an RMW or
RMWC ModelAction. Anyway, it does next-to-nothing when
'second_part_of_rmw' is true.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker