From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Is an RTOS Required for Ada?
Date: 1999/05/19
Date: 1999-05-19T00:00:00+00:00 [thread overview]
Message-ID: <wccogjh80os.fsf@world.std.com> (raw)
In-Reply-To: 7hmc18$jr6$1@nnrp1.deja.com
Robert Dewar <dewar@gnat.com> writes:
> For example, in GNORT mode, the compiler will generate an open
> loop for a block copy, to avoid calling the bcopy routine in
> the run-time. Now of course this is a trivial routine, and in
> a normal circumstance there is no reason not to include it. But
> in a certified environment, you don't want even one byte of
> non-certified code around, and GNORT meets this requirement
> inexpensively and convincingly by having no bytes of run-time
> code of any kind around.
That makes no sense to me. Why couldn't you just certify those run-time
routines that you use? Isn't it easier to certify the bcopy routine,
than to certify many inlined copies of the same algorithm?
- Bob
--
Change robert to bob to get my real email address. Sorry.
next prev parent reply other threads:[~1999-05-19 0:00 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-13 0:00 Is an RTOS Required for Ada? Tramse
1999-05-13 0:00 ` Marin David Condic
1999-05-13 0:00 ` Rakesh Malhotra
1999-05-14 0:00 ` Tramse
1999-05-16 0:00 ` Robert Dewar
1999-05-19 0:00 ` Robert A Duff [this message]
1999-05-20 0:00 ` Robert Dewar
1999-05-25 0:00 ` George Romanski
1999-05-25 0:00 ` Robert Dewar
1999-05-26 0:00 ` George Romanski
1999-05-28 0:00 ` Robert Dewar
1999-06-09 0:00 ` Robert A Duff
1999-06-09 0:00 ` Robert Dewar
1999-05-28 0:00 ` Rod Chapman
1999-05-28 0:00 ` Robert Dewar
1999-05-28 0:00 ` Richard D Riehle
1999-05-28 0:00 ` David C. Hoos, Sr.
1999-05-20 0:00 ` Tarjei Tj�stheim Jensen
1999-05-20 0:00 ` Larry Kilgallen
1999-05-20 0:00 ` Tarjei Tj�stheim Jensen
1999-05-20 0:00 ` Larry Kilgallen
1999-05-21 0:00 ` Robert Dewar
1999-05-16 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox