usched_bsd4 - use wakeup_mycpu as appropriate
authorAlex Hornung <alex@alexhornung.com>
Fri, 24 Aug 2012 06:57:43 +0000 (06:57 +0000)
committerAlex Hornung <alex@alexhornung.com>
Fri, 24 Aug 2012 07:06:09 +0000 (07:06 +0000)
commit55b580aea14626bdfa5f22a165b0f1ddf8217cdd
tree6b26971be36488c57cbe2fab16a5306c7033a033
parent90f4cbebf4571bde74ffe7a44395a53300a8e861
usched_bsd4 - use wakeup_mycpu as appropriate

 * In the need_user_resched_remote we need to use wakeup_mycpu to avoid
   sending out IPIs triggering a deep IPI recursion panic.

 * In the setrunqueue case use wakeup_mycpu as an optimization, since we
   know that we are on the same CPU as the helper thread we want to wake
   up.

In-discussion-with: Matt Dillon
Reported-by: ftigeot
sys/kern/usched_bsd4.c