diff options
| author | jeff <jeff@FreeBSD.org> | 2002-08-21 06:19:29 +0000 |
|---|---|---|
| committer | jeff <jeff@FreeBSD.org> | 2002-08-21 06:19:29 +0000 |
| commit | 2fc7835d260e2782c1016810b29130ac6cfbf26e (patch) | |
| tree | 9f225f3ee185d5bca6d6ef1adac486148979854b /sys/tools | |
| parent | e149c638d400638932b76cf340bc205023f2e5b7 (diff) | |
| download | FreeBSD-src-2fc7835d260e2782c1016810b29130ac6cfbf26e.zip FreeBSD-src-2fc7835d260e2782c1016810b29130ac6cfbf26e.tar.gz | |
- Add two new debugging macros: ASSERT_VI_LOCKED and ASSERT_VI_UNLOCKED
- Use the new VI asserts in place of the old mtx_assert checks.
- Add the VI asserts to the automated lock checking in the VOP calls. The
interlock should not be held across vops with a few exceptions.
- Add the vop_(un)lock_{pre,post} functions to assert that interlock is held
when LK_INTERLOCK is set.
Diffstat (limited to 'sys/tools')
| -rw-r--r-- | sys/tools/vnode_if.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/tools/vnode_if.awk b/sys/tools/vnode_if.awk index 93a7376..d40bd41 100644 --- a/sys/tools/vnode_if.awk +++ b/sys/tools/vnode_if.awk @@ -66,6 +66,7 @@ function printh(s) {print s > hfile;} function add_debug_code(name, arg, pos) { if (lockdata[name, arg, pos]) { + printh("\tASSERT_VI_UNLOCKED("arg");"); # Add assertions for locking if (lockdata[name, arg, pos] == "L") printh("\tASSERT_VOP_LOCKED("arg", \""uname"\");"); |
