proc_destroy() now starts in the ksched
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 20 Apr 2012 00:07:32 +0000 (17:07 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 23 Apr 2012 23:03:27 +0000 (16:03 -0700)
commite88e604e40e3a75db2f010813d2f6b51769e2f1b
tree559ffc2f7d6f360b2577074e9d7fdc75411db47c
parent36195a3f25c138ea290dbb707e7a2a3edf71a43f
proc_destroy() now starts in the ksched

This allows the kernel scheduler to lock first, which helps with some
other lock-ordering trickery we do, and allows the ksched to do
additional cleanup, other than just receiving the idle cores.

Additionally, we have less of a need for put_idle_cores() (the only
caller is an old preemption function, which might get sucked into the
ksched soon).
kern/include/process.h
kern/include/schedule.h
kern/src/process.c
kern/src/schedule.c