Greetings... a patch I would like your comments on...
rrs at lakerest.net
Fri Jan 22 18:49:58 UTC 2010
Well it may be ugly, but it gets even
uglier on how you have to pass the mtx down
to the kernel with the cond wait variables...
One can do it.. but it will take some additional
changes to the kevent structure which breaks the ABI... which
I was not going to venture down that path :-)
Hmm I suppose one might be able to abuse udata. Right
now the incoming "value" is in the data (the value that is checked
before putting you on the umtx sleep queue).
We could, pass the mtx into the "udata" field but this rather breaks
the definition of udata:
"Opaque user-defined value passed through the kernel unchanged"
Now I suppose if you placed the MTX pointer there that you are
NOT exactly changing it ... but you WOULD be changing the value
of it (as you unlock the mutex)..
I will work on getting this first set of changes into the kernel. If
we don't abuse udata, then the only choice would be to add some
"data" element.. or maybe as Ivan suggested a "blob" which would
still mean an ABI change since you would have to include a size in
the blob... hmmm unless we did "data" is a pointer and flags is the
size.. But this really seems hackish .. sigh ..
On Jan 22, 2010, at 9:58 AM, Daniel Eischen wrote:
> This is ugly from the userland point of view -- if you need
> this, I would encompass everything in a kq event object
> thingie. As in:
> * Create an object containing everything you need to wait
> * or signal kqueue events.
> kq = kqueue();
> kq_obj = kq_create(kq, ...);
> while (!P)
> /* Atomically unlocks kq_obj and blocks. */
> nevents = kq_wait(&kq_obj, ...);
> /* When you wakeup, kq_obj is locked again. */
> do_work(); /* Wouldn't you want to unlock before this? */
> /* From another thread, you could do: */
> if (kq_waiters(&kq_obj) > 0)
> kq_signal(&kq_obj); /* or kq_broadcast() */
More information about the freebsd-hackers