mutex: change 'islocked' to hold Thread pointer
authorBrian Norris <banorris@uci.edu>
Sun, 3 Mar 2013 07:37:05 +0000 (23:37 -0800)
committerBrian Norris <banorris@uci.edu>
Sun, 3 Mar 2013 07:37:05 +0000 (23:37 -0800)
commitd3f4056998c5b286c3102be270a863fa88a1bfd5
treecc67f2eb7ebae2beb446e1d4ca978e4c452e7374
parentdb5cad55a147218984ef544439ee8a936303ddf8
mutex: change 'islocked' to hold Thread pointer

We will need to know which Thread is holding the lock, so just stick it
in the mutex state.
include/mutex
model.cc
mutex.cc