lkml.org 
[lkml]   [2005]   [May]   [31]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: RT patch acceptance
Bill Huey (hui) wrote:
> Theorem proven kernels are another matter altogether, but in all
> practicality we're very close to hard real time. Calling it soft
> real time isn't exactly accurate too, but the thrust to get
> theorem proven RT kernels recently has made the definitions more
> rigid in this discussion, probably overly so. Linux will probably
> never be submitted to any prover to do attain that. Very few,
> (only one product of ours that I know of LynxOS 178) have taking
> on that provability track. This is a highly competitive field.

Perhaps we should call it soft-boiled realtime? I've always hated the
exact hard/soft distinction too, since its something that inherently has
two dimensions: (1) How fast does your code need to be serviced, and (2)
how often is it acceptable for it to fail. Even in a factory setting, a
machine whose control system fails once every 10 years is acceptable if
you can get better perfomance out of it. Also, good soft realtime for
audio can be quite a bit more difficult to implement than hard realtime
for controlling an oil tanker.

That said, its important not to claim something about a patch which
doesn't match the common definitions. Ingo has been very careful in the
claims he's made, but I think a lot of people have read his posts too
quickly and misinterpreted what he's claiming for the current patch.
This includes people on both sides of the fence. He's also been silent
for much of this discussion as its gotten out of hand, showing he's
clearly wiser than all of us.

- Jim Bruce
-
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-05-31 11:16    [from the cache]
©2003-2014 Jasper Spaans. Advertise on this site