[EMAIL PROTECTED] wrote:
> 
> On Mon, May 22, 2000 at 09:41:50AM -0400, Paul Koning wrote:
> > >>>>> "Stuart" == Stuart Hughes <[EMAIL PROTECTED]> writes:
> >
> >  Stuart> Support for priority inheritance is an officially sanctioned
> >  Stuart> mode for POSIX mutexes.  This is an important mechanism that
> >  Stuart> can save a system from complete lockup.  I agree that one
> >  Stuart> should not design a system to explicitly rely on priority
> >  Stuart> inheritance for its correct operation, but if you have a
> >  Stuart> complex system which you cannot completely analyze and test
> >  Stuart> 100%, this may be the one thing that saves your system from
> >  Stuart> entering a fatal state.
> >
> > Um, that sounds a bit inconsistent.  Let me paraphrase what I heard,
> > tell me if I got it wrong and why...
[snip]
> >
> > Somehow, the notion of building a system where you don't actually know
> > if it is built right, and putting in some things that aren't
> > necessarily a good idea on the theory that maybe it'll fix things,
> > isn't exactly comforting.  I know Microsoft builds apps that way, but
> > is this a way to build control systems?
> 
> I think that priority inheritance is for people who want to build
> complex critical realtime systems  that sometimes work.

Hi Guys,

Much of todays software today is complex, and cannot be fully tested. 
It is a fact that the software in avionics flight boxes today can only
be exercised through a limited range of all its potential paths.  Next
time you're on a plane that is on final approach, be glad the designers
used all the available mechanisms to ensure you get down in one piece,
they may never need the defensive parts of the design, but things can
wrong in unpredicable ways.  

I admire your confidence in your own software design skills, but if you
ever write the software for the plane I'm about to take, I may decide I
don't want to get on.

Regards, Stuart
-- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
---
For more information on Real-Time Linux see:
http://www.rtlinux.org/rtlinux/

Reply via email to