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>
Tue, 3 Feb 2015 15:12:27 +0000 (10:12 -0500)
commit02c3dcc6bf0f2a0d230e65a929fb20074ec35dbb
tree6e1a3e7dca4355deae6d7af2c7a6cf29c7d7b71a
parentb316be171dd9c4cfa469fa0f378e59fe1372306c
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]