projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28a8923) | patch
model: unify JOIN- and LOCK-related sleep/wake code
authorBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 00:28:02 +0000 (17:28 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 3 Oct 2012 00:33:00 +0000 (17:33 -0700)
commit620ae95ce4fed006d18a41b6ccfd949d7e77f677
treeb3430752aa85684394cd1d96b62f47fcd24e145ftree | snapshot
parent28a8923983a54f838c7a1667795d37c1d801877ccommit | diff
model: unify JOIN- and LOCK-related sleep/wake code

We might as well use similar code paths for JOIN and LOCK operations
that must wait on another thread to re-enable it. The side benefit here
is that the JOIN action is now placed at the correct sequence point in
the execution trace.
model.cc diff | blob | history
C++11 memory model checker