From: Tucker Taft <stt@averstar.com>
Subject: Re: Increased Interest In Ada?
Date: Thu, 15 Mar 2001 11:11:00 -0500
Date: 2001-03-15T16:11:00+00:00 [thread overview]
Message-ID: <3AB0E994.A2B2D3C6@averstar.com> (raw)
In-Reply-To: 98op0t$c4g$1@nh.pace.co.uk
Marin David Condic wrote:
> ...
> Personally, I think it would be a *better* idea to have a native Ada
> compiler that produced embedable code for some processor, then find an SBC
> that used that processor. Gluing an Ada-toC-to-Embedded-Code thing together
> is just going to ask for trouble and raise the inevitable question of "Why
> don't I just use C, instead of going through all the extra steps & probably
> giving up downstream features along the way?..."
Actually, one of the interesting things working with the version
of our Ada 95 technology that uses C as an intermediate is how
it illustrates exactly what you are giving up by going to C.
All of the consistency checks performed by Ada at compile-time,
plus the additional checks which are performed at run-time when
they can't be proved safe by the compiler, are generally all lost
when you write in C "by hand." By looking at the generated
C you immediately see all the run-time checks that remain, and
it makes me cringe to think that people writing by hand in C
don't have any of those safety checks performed. And that is *after*
our optimizer has already eliminated many of the provably-safe checks.
For what it is worth, the "glued together" compiler is actually
quite easy to use, and it "feels" like a regular Ada compiler, except
that if you want to check up on what the compiler is doing, you
can save and look at the generated C code rather than having
to look at the generated machine code. By default, the intermediate
C code is deleted, so all that is left is a ".obj"/".o" just like
a "regular" compiler.
>
> MDC
>
> --
> Marin David Condic
> Senior Software Engineer
> Pace Micro Technology Americas www.pacemicro.com
> Enabling the digital revolution
> e-Mail: marin.condic@pacemicro.com
> Web: http://www.mcondic.com/
--
-Tucker Taft stt@avercom.net http://www.averstar.com/~stt/
Chief Technology Officer, AverCom Corporation (A Titan Company)
Burlington, MA USA (AverCom was formerly the Commercial Division of AverStar:
http://www.averstar.com/services/ebusiness_applications.html)
next prev parent reply other threads:[~2001-03-15 16:11 UTC|newest]
Thread overview: 61+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-02-08 19:12 Increased Interest In Ada? Marin David Condic
2001-02-08 20:36 ` Florian Weimer
2001-02-09 0:16 ` Ken Garlington
2001-02-08 20:40 ` BSCrawford
2001-02-08 23:17 ` JF Harrison
2001-02-09 13:33 ` Marin David Condic
2001-02-09 16:41 ` David Botton
2001-02-09 13:08 ` Robert C. Leif, Ph.D.
2001-02-09 13:38 ` Marin David Condic
2001-02-09 14:24 ` Ian Wild
2001-02-09 18:40 ` Florian Weimer
2001-02-09 9:35 ` Preben Randhol
2001-02-09 13:36 ` Marin David Condic
2001-02-09 14:36 ` Preben Randhol
2001-02-09 21:21 ` Ehud Lamm
2001-02-09 21:25 ` Jeffrey D. Cherry
2001-02-12 17:43 ` Stephen Leake
2001-02-13 15:14 ` Jerry Petrey
2001-02-20 20:27 ` Frank
2001-02-21 14:51 ` Preben Randhol
2001-02-21 15:18 ` Marin David Condic
2001-02-21 20:54 ` Marin David Condic
2001-02-21 22:56 ` Jerry Petrey
2001-02-22 10:43 ` Peter Amey
2001-02-22 14:27 ` Marin David Condic
2001-02-27 11:28 ` Peter Amey
2001-02-23 4:58 ` Cesar Rabak
2001-02-23 15:15 ` Marin David Condic
2001-02-24 21:40 ` Cesar Rabak
2001-02-25 15:10 ` Marin David Condic
2001-02-26 0:34 ` Cesar Rabak
2001-02-26 14:51 ` Marin David Condic
2001-02-26 21:23 ` non-Ada, was " tmoran
2001-02-22 11:56 ` Tarjei T. Jensen
2001-02-23 15:17 ` Marin David Condic
2001-02-23 17:22 ` Tarjei T. Jensen
2001-02-23 20:40 ` Marin David Condic
2001-03-13 15:01 ` John Kern
2001-02-23 19:49 ` James Rogers
2001-02-23 20:47 ` Marin David Condic
2001-02-23 21:08 ` Randy Brukardt
2001-02-23 21:21 ` Hans-Olof Danielsson
2001-02-23 22:26 ` Jerry Petrey
2001-03-05 19:00 ` Rush Kester
2001-03-05 19:00 ` Rush Kester
2001-03-10 18:52 ` Singlespeeder
2001-03-13 14:55 ` John Kern
2001-02-26 23:49 ` Model railroad package (was: Re: Increased Interest In Ada?) Dirk Craeynest
2001-03-10 3:37 ` Increased Interest In Ada? DuckE
2001-03-12 14:53 ` Marin David Condic
2001-03-13 7:50 ` Tarjei T. Jensen
2001-03-13 14:48 ` Marin David Condic
2001-03-13 15:42 ` Tarjei T. Jensen
2001-03-13 16:31 ` Marin David Condic
2001-03-14 2:13 ` Jeffrey Carter
2001-03-14 21:36 ` Tucker Taft
2001-03-14 21:48 ` Marin David Condic
2001-03-15 16:11 ` Tucker Taft [this message]
2001-03-15 18:18 ` Marin David Condic
2001-03-15 18:37 ` Tucker Taft
2001-03-16 9:20 ` Tarjei T. Jensen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox