diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 18:30:28 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-17 15:57:15 +0200 |
commit | e6c6e15b03639e98df68df35ba0f639bdbc1dc51 (patch) | |
tree | 7a8a3c3d253e8d6e38390f17581e0dd2dcb295dc /ipc/mach_debug.c | |
parent | 347cb29151859a56a6c5f0f355a43033e5e035a5 (diff) |
kern: keep track of the writer when debugging locks
* configfrag.ac (MACH_LDEBUG): Adjust comment, we use it to sanity
check all locks now.
* kern/lock.c (lock_write): Keep track of the writer thread.
(lock_done): Clear writer.
(lock_read_to_write): Keep track of the writer thread.
(lock_write_to_read): Assert that the current thread holds the lock.
Clear writer.
(lock_try_write): Keep track of the writer thread.
(lock_try_read_to_write): Likewise.
(lock_set_recursive): Assert that the current thread holds the lock.
* kern/lock.h (struct lock): New field `writer'.
(have_read_lock, have_write_lock, have_lock): New macros that can be
used to assert that the current thread holds the given lock. If
MACH_LDEBUG is not set, they evaluate to true.
Diffstat (limited to 'ipc/mach_debug.c')
0 files changed, 0 insertions, 0 deletions