Post-and-poke style sync for the ksched
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 9 May 2012 02:45:27 +0000 (19:45 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 5 Sep 2012 21:43:57 +0000 (14:43 -0700)
commitc8c5b0f0d1ee82e12510510c3e1d3893892a407e
treed224ceb8450785007b7a3c9a1a742836c98e106a
parent9dfb24fc937c6f9e8b1ac5316c0de3fd17e60361
Post-and-poke style sync for the ksched

Might change some of the details of the "poke-style", but I definitely
want at least a generic version of it (and all of its mb()s) to be
kernel-wide.

This is the same style of sync used in vcore_request(), though that one
is built in directly.

Note that we still use the ksched lock within in poke func - all this
commit does is create the poke style and use it to trigger the sched
mcp.  I'll deal with the lock holding shortly.
kern/include/atomic.h
kern/src/atomic.c
kern/src/schedule.c