diff options
| author | Attilio Rao <attilio@FreeBSD.org> | 2010-01-24 18:16:38 +0000 |
|---|---|---|
| committer | Attilio Rao <attilio@FreeBSD.org> | 2010-01-24 18:16:38 +0000 |
| commit | 58060789e6aec9b3fb5e91d8ed344d34887a22cc (patch) | |
| tree | 9e8d9637838c6bc18a1e0d1f96b291215bc3c1cb /sys/kern/sched_4bsd.c | |
| parent | e7f82fbbaf2831e7b7d87c5e4c9473a0c7472771 (diff) | |
| download | src-58060789e6aec9b3fb5e91d8ed344d34887a22cc.tar.gz src-58060789e6aec9b3fb5e91d8ed344d34887a22cc.zip | |
Split out an invariant in order to better check that newtd, when
provided, must be on a runqueue.
Tested by: Giovanni Trematerra
<giovanni dot trematerra at gmail dot com>
MFC: 2 weeks
X-MFC: r202889
Notes
Notes:
svn path=/head/; revision=202940
Diffstat (limited to 'sys/kern/sched_4bsd.c')
| -rw-r--r-- | sys/kern/sched_4bsd.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sys/kern/sched_4bsd.c b/sys/kern/sched_4bsd.c index bcec5b9205dd..cf215f5355dd 100644 --- a/sys/kern/sched_4bsd.c +++ b/sys/kern/sched_4bsd.c @@ -943,8 +943,10 @@ sched_switch(struct thread *td, struct thread *newtd, int flags) if ((td->td_flags & TDF_NOLOAD) == 0) sched_load_rem(); - if (newtd) + if (newtd) { + MPASS(newtd->td_lock == &sched_lock); newtd->td_flags |= (td->td_flags & TDF_NEEDRESCHED); + } td->td_lastcpu = td->td_oncpu; td->td_flags &= ~TDF_NEEDRESCHED; @@ -987,8 +989,8 @@ sched_switch(struct thread *td, struct thread *newtd, int flags) sched_load_add(); } else { newtd = choosethread(); + MPASS(newtd->td_lock == &sched_lock); } - MPASS(newtd->td_lock == &sched_lock); if (td != newtd) { #ifdef HWPMC_HOOKS |