projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c85ff09) | patch
model: re-check release sequences after THREAD_JOIN
authorBrian Norris <banorris@uci.edu>
Tue, 25 Sep 2012 23:56:02 +0000 (16:56 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 26 Sep 2012 00:15:00 +0000 (17:15 -0700)
commit5236350c6c02c09a167a461fce69c581768f9c03
treeb24fc43502bbebee5448a43ed80c63d6f64e05edtree | snapshot
parentc85ff0994ebbff3dc1d5f0eeda3efc780d5d3ce8commit | diff
model: re-check release sequences after THREAD_JOIN

If a THREAD-specific operation (from process_thread_action()) added any
synchronization, we should re-check all release sequences.
model.cc diff | blob | history
C++11 memory model checker