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    [W:0.019 / U:97.468 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site