Re: RT patch acceptance

[James Bruce <bruce@andrew.cmu.edu>]

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/