lkml.org 
[lkml]   [2005]   [Jun]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Attempted summary of "RT patch acceptance" thread
On Sat, Jun 11, 2005 at 01:23:34AM +0200, Eric Piel wrote:
> 06/11/2005 01:04 AM, Paul E. McKenney wrote/a écrit:
> >>Just a small change to "1 - QoS":
> >>
> >>
> >>>b. For each service:
> >>>
> >>> i. Probability of missing a deadline due to software,
> >>> ranging from 0 to 1, with the value of 1 corresponding
> >>> to the hardest possible hard realtime.
> >>
> >>I think it should be (by reference to how you define probability at the
> >>beginning of the section):
> >>Probability of not missing any deadline due to software
> >
> >
> >Good catch! How about the following?
> >
> > i. Probability of meeting a deadline due to software,
> > ranging from 0 to 1, with the value of 1 corresponding
> > to the hardest possible hard realtime.
> >
> >Changing "missing" in the original to "meeting".
>
> It sounds strange to me (but english is not my mother tongue), it's like
> hardware was not so good but software helped to recover the situation
> and, eventually, the deadline was met ;-)

Hmmm... It would appear that English's being my mother tongue is not
helping me as much as one might hope. ;-)

> What about using the way you wrote it at the beginning of the section:
> "Probability of missing a deadline only because of a hardware failure"

Good point, I may just need to invert the whole thing, so that it
becomes something like:

i. Probability of missing a deadline due to software,
ranging from 0 to 1, with the value of 0 corresponding
to the hardest possible hard realtime.

But then the "p^n" becomes "1-(1-p)^n". Bleah.

OK, how about the following?

i. Probability of meeting a deadline in absence of hardware
failure, ranging from 0 to 1, with the value of 1
corresponding to the hardest possible hard realtime.

Thanx, Paul
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2005-06-11 03:03    [from the cache]
©2003-2011 Jasper Spaans. Advertise on this site