BSD taskqueues via KMSGs
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 14 Jan 2015 23:24:32 +0000 (15:24 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 1 Mar 2015 14:35:58 +0000 (09:35 -0500)
commit943e1f1c25044d421f5505704007d6892d1c986c
treebfce8a7d8bce1bdce1f42ff90b1146b529f775c6
parent17ad4377c61d143cb0c51e405112ebbdc6af01a7
BSD taskqueues via KMSGs

BSD taskqueues are kernel threads that execute work asynchronously.  Check out
http://www.freebsd.org/cgi/man.cgi?query=taskqueue for more info.

We could implement them with ktasks that sleep on queues, and pump the tasks
into the queues.  But the tasks are basically slimmed down kernel messages, so
we can just send a message.

In the future, we may want better support or more taskqueue behaviors, both in
BSD code and more generally throughout Akaros.  We can always reimplement
taskqueues in a more appropriate manner at that time.
kern/include/taskqueue.h [new file with mode: 0644]
kern/src/Kbuild
kern/src/taskqueue.c [new file with mode: 0644]