From: jpt@diphi.demon.co.uk (JP Thornley)
Subject: Re: Real time Java? Huh?
Date: 1998/11/09
Date: 1998-11-09T00:00:00+00:00 [thread overview]
Message-ID: <442072839wnr@diphi.demon.co.uk> (raw)
In-Reply-To: 71vhli$hul$1@nnrp1.dejanews.com
In article: <71vhli$hul$1@nnrp1.dejanews.com> oopster@my-dejanews.com
writes:
>
> Is it still the case that Ada exceptions are to be avoided for
real-time?
> Not a good thing if true...
>
For high-integrity Ada, I've always been fascinated by the existence of
the two opposed camps on exceptions - one group taking the view that
having exceptions in the language makes it *more* suitable for
high-integrity applications and the other regarding them as, not quite
the work of the devil, but definitely not something that self-respecting
software engineers would want to get involved with.
The Annex H Rapporteur Group spent a long time discussing the
appropriate advice to give for exceptions in the (currently Draft)
"Guide for the Use of the Ada Programming Language in High Integrity
Systems" with the result that it describes three different approaches:-
1. Catch and handle all exceptions locally - so there is no exception
propagation; program state must be well-defined after the handler has
executed.
2. Use a single catch-all handler at the top level that makes almost no
assumptions about program state - it probably does a restart.
3. Prove that no run-time errors can occur (so code can be compiled with
all checks suppressed). [But you often still include the 'catch-all'
handler to cope with hardware glitches/memory corruptions.]
Phil Thornley
--
------------------------------------------------------------------------
| JP Thornley EMail jpt@diphi.demon.co.uk |
| phil.thornley@acm.org |
------------------------------------------------------------------------
next prev parent reply other threads:[~1998-11-09 0:00 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <363E1DE8.4189EBAC@solaris.ok>
[not found] ` <nagleF1uyME.3IA@netcom.com>
[not found] ` <364024f5.3575731@news.demon.co.uk>
[not found] ` <364071C4.619D@world.std.com>
[not found] ` <3641ca4b.23637018@news.demon.co.uk>
[not found] ` <3641B718.DBF4C37C@tisny.com>
[not found] ` <36431ca0.301400410@news.netcomuk.co.uk>
[not found] ` <364224FB.7FCF@world.std.com>
1998-11-05 0:00 ` Real time Java? Huh? Pat Rogers
1998-11-06 0:00 ` Jay O'Connor
1998-11-05 0:00 ` Joseph
1998-11-06 0:00 ` Jay O'Connor
1998-11-06 0:00 ` oopster
1998-11-06 0:00 ` Jay O'Connor
1998-11-07 0:00 ` whiter5195
1998-11-07 0:00 ` Charles R. Lyttle
1998-11-09 0:00 ` JP Thornley [this message]
1998-11-06 0:00 ` dewar
1998-11-06 0:00 ` Jean-Pierre Rosen
1998-11-06 0:00 ` dewar
1998-11-06 0:00 ` Roga Danar
1998-11-06 0:00 ` Roga Danar
1998-11-06 0:00 ` Jean-Pierre Rosen
1998-11-07 0:00 ` dewarr
1998-11-07 0:00 ` bill
1998-11-10 0:00 ` Richard IRVINE
1998-11-10 0:00 ` dennison
1998-11-10 0:00 ` Stephen Leake
1998-11-12 0:00 ` dewarr
1998-11-12 0:00 ` Jon S Anthony
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox