comp.lang.ada
 help / color / mirror / Atom feed
From: przemek@rrdjazz.nist.gov (Przemek Klosowski)
Subject: Re: What's Real-Time? (was Re: Widespread C++ Competency Gap?)
Date: 02 Jan 1995 17:10:52 GMT
Date: 1995-01-02T17:10:52+00:00	[thread overview]
Message-ID: <PRZEMEK.95Jan2121052@rrdjazz.nist.gov> (raw)
In-Reply-To: rjc@oghma.synapse.net's message of 1 Jan 1995 04:35:42 -0500

In article <3e5t1e$2ad@oghma.synapse.net> rjc@oghma.synapse.net (Robert J Carter) writes:

   >large 'hard' systems in the traditional sense are simply too
   >wasteful. An example is the telephone system. It is not 'hard real
   >time': the cost would be just too big. Instead, they figured out how
   >to manage available resources to have acceptably low failure rates.

   That's fine as far as it goes, but having done some work myself with 
   reactor systems (I saw your sig), what is an acceptably low failure rate
   for the emergency shutdown system of a reactor?

Of course the only acceptable failure rate for reactor emergency
shutdown is zero.  I was talking of failure in the sense of some tasks
not meeting their deadline: e.g. if we have time, we shut down the
pumps gradually, but if we are behind deadlines, we just scram them.

The traditional ('bigoted', as the Dr. Dobbs article had it) real time
has a discontinuous 'utility' function: one if the task finishes
before deadline, minus infinity otherwise. The article claims that a more
realistic approximation is a function like:


       utility to the system
                  ^
                  |
        ----------|1
                  |\
                  | \
   ---------------|--\--------> tardiness ( = time of completion - deadline)
                 0|   \
                  |    |

		
BTW, I have nothing to do with the reactor design and operation: I am
a solid state physicist, doing neutron scattering.

--
			przemek klosowski (przemek@rrdstrad.nist.gov)
			Reactor Division (bldg. 235), E111
			National Institute of Standards and Technology
			Gaithersburg, MD 20899,      USA

			(301) 975 6249



  reply	other threads:[~1995-01-02 17:10 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <787227087snz@wslint.demon.co.uk>
     [not found] ` <3da1nd$fss@gateway.wiltel.com>
     [not found]   ` <3e1rqn$ouh@news.parc.xerox.com>
     [not found]     ` <3e22hi$pqf@baygull.rtd.com>
     [not found]       ` <3e26mc$n9u@Starbase.NeoSoft.COM>
1994-12-31  1:09         ` What's Real-Time? (was Re: Widespread C++ Competency Gap?) Henry Baker
1994-12-31  2:12           ` Don Yuniskis
1994-12-31 17:08           ` Przemek Klosowski
1995-01-01  9:35             ` Robert J Carter
1995-01-02 17:10               ` Przemek Klosowski [this message]
1995-01-03 23:20               ` Robert I. Eachus
1995-01-04 22:05           ` Fred McCall
     [not found] ` <3ckb8g$841@gateway.wiltel.com>
     [not found]   ` <1994Dec21.151952.8902@merlin.h>
     [not found]   ` <1994Dec21.151952.8902@merlin.h <19941230.201628.350635.NETNEWS@UICVM.UIC.EDU>
     [not found]     ` <3e9f60$8du@jive.cs.utexas.edu>
     [not found]       ` <3epfsi$64d@gamma.ois.com>
     [not found]         ` <3eua1r$4ea@gnat.cs.nyu.edu>
1995-01-11  1:44           ` Parallel & RT GC (was Re: Real-Time GC (was Re: Widespread C++...?) Henry Baker
1995-01-13 13:30           ` R. William Beckwith
1995-01-13 14:59             ` Kelvin Nilsen
1995-01-17  2:45               ` R. William Beckwith
1995-01-19 15:57                 ` Kurt Bischoff
1995-01-17 16:29               ` Robert I. Eachus
1995-01-18 15:27                 ` Henry Baker
1995-01-19 19:59                 ` Norman H. Cohen
1995-01-20  2:20                   ` Henry Baker
1995-01-20 14:49                   ` Robert I. Eachus
1995-01-22  2:56                 ` David Hanley
1995-01-23 17:06                   ` Robert I. Eachus
1995-01-13 21:04             ` Henry Baker
1995-01-17 10:37               ` Mark Reinhold
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox