IABSD.fr/src
-
Browse
Commit
-
Author :
claudio
Date : 2024-11-24 13:05:14
Hash : 35bbce86
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@