d/freebsd-nq
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Oops, missed updating a place with with 's/lock1/plock/' when adding

Browse Source 
interlock support to WITNESS.  Specifically, the printf listing the
first location when duplicate locks of the same type are acquired.

Reported by:	pho
This commit is contained in:
John Baldwin 2008-10-03 18:13:05 +00:00
parent 4cd2e9581f
commit 4ec9dc4de2
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
sys/kern/subr_witness.c
View File

@ -1133,10 +1133,11 @@ witness_checkorder(struct lock_object *lock, int flags, const char *file,
w_rmatrix[i][i] |= WITNESS_REVERSAL;
w->w_reversed = 1;
mtx_unlock_spin(&w_mtx);
printf("acquiring duplicate lock of same type: \"%s\"\n",
printf(
"acquiring duplicate lock of same type: \"%s\"\n",
w->w_name);
printf(" 1st %s @ %s:%d\n", lock1->li_lock->lo_name,
lock1->li_file, lock1->li_line);
printf(" 1st %s @ %s:%d\n", plock->li_lock->lo_name,
plock->li_file, plock->li_line);
printf(" 2nd %s @ %s:%d\n", lock->lo_name, file, line);
witness_debugger(1);
} else