CVSROOT: /cvs Module name: src Changes by: [email protected] 2024/11/24 06:05:14
Modified files:
sys/kern : kern_sched.c
Log message:
Add KASSERT on P_WSLEEP in setrunqueue() and sched_chooseproc().
P_WSLEEP indicates that the thread is still on a CPU executing and
has not yet mi_switched away to sleep. So it is a bug to make such
a thread runnable or even worse try to switch to it.
OK mpi@
