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

- Add an extra check in priority_propagation() for UP systems to ensure we

Browse Source 
don't end up back at ourselves which would indicate deadlock.
- Add the proc lock to the witness dup_list as we may hold more than one
  process lock at a time.
- Don't assert a mutex is owned in _mtx_unlock_sleep() as that is too late.
  We do the checks in the macros instead.
This commit is contained in:
jhb 2001-03-07 02:45:15 +00:00
parent d936d6d9be
commit 46333fa556
3 changed files with 27 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
sys/kern/kern_mutex.c
View File

@ -216,6 +216,14 @@ propagate_priority(struct proc *p)
return;
}
#ifndef SMP
/*
* For UP, we check to see if p is curproc (this shouldn't
* ever happen however as it would mean we are in a deadlock.)
*/
KASSERT(p != curproc, ("Deadlock detected"));
#endif
/*
* If on run queue move to new run queue, and
* quit.
@ -501,7 +509,6 @@ _mtx_unlock_sleep(struct mtx *m, int opts, const char *file, int line)
int pri;
p = curproc;
MPASS4(mtx_owned(m), "mtx_owned(mpp)", file, line);
if (mtx_recursed(m)) {
if (--(m->mtx_recurse) == 0)
@ -949,6 +956,7 @@ static char *order_list[] = {
};
static char *dup_list[] = {
"process lock",
NULL
};

10
sys/kern/subr_turnstile.c
View File

@ -216,6 +216,14 @@ propagate_priority(struct proc *p)
return;
}
#ifndef SMP
/*
* For UP, we check to see if p is curproc (this shouldn't
* ever happen however as it would mean we are in a deadlock.)
*/
KASSERT(p != curproc, ("Deadlock detected"));
#endif
/*
* If on run queue move to new run queue, and
* quit.
@ -501,7 +509,6 @@ _mtx_unlock_sleep(struct mtx *m, int opts, const char *file, int line)
int pri;
p = curproc;
MPASS4(mtx_owned(m), "mtx_owned(mpp)", file, line);
if (mtx_recursed(m)) {
if (--(m->mtx_recurse) == 0)
@ -949,6 +956,7 @@ static char *order_list[] = {
};
static char *dup_list[] = {
"process lock",
NULL
};

10
sys/kern/subr_witness.c
View File

@ -216,6 +216,14 @@ propagate_priority(struct proc *p)
return;
}
#ifndef SMP
/*
* For UP, we check to see if p is curproc (this shouldn't
* ever happen however as it would mean we are in a deadlock.)
*/
KASSERT(p != curproc, ("Deadlock detected"));
#endif
/*
* If on run queue move to new run queue, and
* quit.
@ -501,7 +509,6 @@ _mtx_unlock_sleep(struct mtx *m, int opts, const char *file, int line)
int pri;
p = curproc;
MPASS4(mtx_owned(m), "mtx_owned(mpp)", file, line);
if (mtx_recursed(m)) {
if (--(m->mtx_recurse) == 0)
@ -949,6 +956,7 @@ static char *order_list[] = {
};
static char *dup_list[] = {
"process lock",
NULL
};