projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3b710f) | patch
threads: add THREAD_BLOCKED state
authorBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:41:12 +0000 (13:41 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 6 Sep 2012 20:48:11 +0000 (13:48 -0700)
commit8362b1efa92635ab49bd937edf451e3b2e0981bc
treeceb603e375c465945de8e0651793490196503dd9tree | snapshot
parentd3b710fc183b8b71ab4726c2ae1b75caf13012b7commit | diff
threads: add THREAD_BLOCKED state

To signal that a Thread cannot yet be added back to the Scheduler's ready list.
threads.h diff | blob | history
C++11 memory model checker