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. -- Philippe. _______________________________________________ Xenomai-core mailing list Xenomai-core@gna.org https://mail.gna.org/listinfo/xenomai-core