projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ab73aff) | patch
threads: move circular wait check into Threads::is_waiting_on
authorBrian Norris <banorris@uci.edu>
Wed, 27 Mar 2013 20:03:43 +0000 (13:03 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 27 Mar 2013 20:03:43 +0000 (13:03 -0700)
commita11b6cce3a692a041cbfb772282a68be7949eb02
treef9e6de4922e106273c9a8382aa216514303d40c1tree | snapshot
parentab73aff1ea7d1b5b8140b361824580449a6b4398commit | diff
threads: move circular wait check into Threads::is_waiting_on

A Threads::is_waiting_on(Thread *) interface  provides a more generic
interface, which can be useful for tasks other than just circular wait
deadlock detection.
model.cc diff | blob | history
model.h diff | blob | history
threads-model.h diff | blob | history
threads.cc diff | blob | history
C++11 memory model checker