On Sat, 2006-08-26 at 10:07 +0200, Jan Kiszka wrote:


> Patch works fine for me.
> But I still wonder what the idea is to officially claim a resource (i.e.
> add yourself to the claim queue) only when you boost. That doesn't seem
> to be intuitive. Isn't a thread always claiming the resource,
> independent of its prio delta?

Well, in this context, "claimed" is supposed to mean "actively required"
so that the current owner is paying attention to the waiter(s) needing
the resource, by undergoing a priority boost. When there is no risk of
priority inversion, the waiter is more "passive", it just sleeps without
changing anything else than its own state. In the logic I've used, what
you refer to is the "pendq" any waiter is linked to, regardless of its
priority delta with the current owner.


Xenomai-core mailing list

Reply via email to