> > 1) The priority of a group seemed to be defined by the priority of > > the highest-priority thread in the group's run-queue, which means > > it varies dynamically according to which threads in the group are > > contending. > > > > This is true, but it also ensures that the time allocated to the group > is also consumed by group if it wants to. I don't see how schedulability analysis can be done with this model, since a single budget is being expended at varying priorities/deadlines. > > 4) On an SMP, more than one thread could be running against > > the same budget at the same time, resulting in budget over-charges. > > > > The rt group scheduler does split the budget per cpu. On expiring the > budget, it tries to borrow from other CPUs if possible. First, how is the splitting of the budget between CPU's controlled by the application? Second, I don't see how schedulabiliyt analysis could be done if CPU's can "borrow" budget from other CPUs, unless there is some mechanism in place to "pay it back". How do you do the analysis? Ted -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
