Re: [PATCH v2 3/4] Documentation/scheduler/sched-deadline.txt: improve and clarify AC bits

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Ingo,

On Thu, 21 Aug 2014 15:38:37 +0200
Ingo Molnar <mingo@xxxxxxxxxx> wrote:
[...]
> > + If the total utilisation sum_i(WCET_i/P_i) (sum of the
> > utilisations
> > + WCET_i/P_i of all the tasks in the system - notice that when
> > considering
> > + multiple tasks, the parameters of the i-th one are indicated with
> > the "_i"
> > + suffix) is larger than M (with M equal to the number of CPUs),
> > then the
> > + system will surely not be able to respect all of the deadlines,
> > and no
> > + execution time is guaranteed for non real-time tasks, which risk
> > to be
> > + starved by real-time tasks.
> 
> The last part doesn't really parse as correct English for me - 
> maybe also split this overly long sentence into two or three 
> sentences, to make it easier to understand?
Sorry about this; after re-reading the sentence, I agree it looks
confusing. What about:
"
If the total utilisation sum_i(WCET_i/P_i) is larger than M (with M
equal to the number of CPUs), then the scheduler can not be able to
respect all of the deadlines.
Note that the total utilisation is defined as the sum of the
utilisations WCET_i/P_i of all the real-time tasks in the system (when
considering multiple real-time tasks, the parameters of the i-th one are
indicated with the "_i" suffix).
Moreover, if the total utilisation is larger than M, then non real-time
tasks risk to be starved by real-time tasks.
"
Does this look more clear / acceptable?


				Thanks,
					Luca
--
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html




[Index of Archives]     [Kernel Newbies]     [Security]     [Netfilter]     [Bugtraq]     [Linux FS]     [Yosemite Forum]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Samba]     [Video 4 Linux]     [Device Mapper]     [Linux Resources]

  Powered by Linux