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

Correct an assertion in the code to traverse the list of locks to find an

Browse Source 
earlier acquired lock with the same witness as the lock currently being
acquired.  If we had released several earlier acquired locks after
acquiring enough locks to require another lock_list_entry bucket in the
lock list, then subsequent lock_list_entry buckets could contain only one
lock instance in which case i would be zero.

Reported by:	Joel M. Baldwin <qumqats@outel.org>
This commit is contained in:
John Baldwin 2002-11-11 16:36:20 +00:00
parent 2ac8c61ac4
commit d2b28e078a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/kern/subr_witness.c
View File

@ -666,7 +666,7 @@ witness_lock(struct lock_object *lock, int flags, const char *file, int line)
if (i == 0 && lle->ll_next != NULL) {
lle = lle->ll_next;
i = lle->ll_count - 1;
MPASS(i != 0);
MPASS(i >= 0 && i < LOCK_NCHILDREN);
}
} while (i >= 0);
if (i < 0) {