On Wed, 2007-11-28 at 07:34 -0700, Peter W. Morreale wrote: > On Wed, 2007-11-28 at 14:13 +0000, Luís Henriques wrote: > > Hi! Just my 5 cents (or even less!)... > > > > > I am not very familiar with PI-related code but I believe that at least > > your > > 1st assumption is not correct, i.e., the number of boost and unboost is not > > necessarily equal. If you have, for example, a task which priority is > > boost > > several times in a row (without releasing the resource), it will only > > unboost > > once -- when the resource is released. Thus, the boost/unboost relation is > > not one-to-one but many-to-one ;) > > > > Well of course! That makes perfect sense. > >
If you only count the first boost for each task, then you should see a 1-1. Sven - To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
