Re: Ada GC and real-time

Ken & Virginia Garlington <redhawk@flash.net>
3 Feb 1996 12:25:35 -0500

          From comp.compilers
Related articles
Possible to write compiler to Java VM? (I volunteer to summarize) seibel@sirius.com (Peter Seibel) (1996-01-17)
Re: Ada GC (was about Java VM) jacobi@parc.xerox.com (1996-01-31)
Re: Ada GC (was about Java VM) dewar@cs.nyu.edu (1996-02-01)
Re: Ada GC and real-time redhawk@flash.net (Ken & Virginia Garlington) (1996-02-03)
Re: Ada GC and real-time dewar@cs.nyu.edu (1996-02-04)
| List of all articles for this month |
From: Ken & Virginia Garlington <redhawk@flash.net>
Newsgroups: comp.compilers,comp.lang.ada
Date: 3 Feb 1996 12:25:35 -0500
Organization: Redhawk Kennels
References: 96-01-037 96-01-147 96-02-004
Keywords: realtime, Ada

Robert Dewar wrote:
>
> The issue in hard real-time is of course not efficiency but
> predictability and removal of non-determinism. That's a little bit
> different. I agree that for general programming, GC is highly
> desirable (it is for me a fundamental dividing line between low and
> high level languages).


And, of course, the other issue in _safety-critical_ hard real-time
systems is being able to verify the safety and reliability of the
algorithm. We have enough trouble verifying Ada 83 code after
removing tasking and exception handling (at least, the parts we can
remove).
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.