comp.lang.ada
 help / color / mirror / Atom feed
From: james@cdac.com (James Thiele)
Subject: Re: Ada and Automotive Industry
Date: 1996/11/12
Date: 1996-11-12T00:00:00+00:00	[thread overview]
Message-ID: <1996Nov12.192850.16867@ole.cdac.com> (raw)


Frank Manning writes:
>In article <1996Nov6.210957.3070@ole.cdac.com> James Thiele
><james@cdac.com>
>
>> I've never seen Ada for Intel 8051 or Motorola 6800
>> series microcontrollers, and these are common in the
>> auto industry.
>>    [...]
>> Why should they appreciate a bloated language that requires
>> them to hire new or retrain old programmers to write
>> programs that won't fit on the microcontrollers they use?
>
>It's a myth that Ada compilers are unrealistic for small
>microcontrollers. There's nothing that prevents anybody from
>implementing an Ada subset that could both (a) be validated and
>(b) fit harmoniously on a small machine.
>
>I remember back in October 1995 when we had a big discussion about
>the merits of Ada for small microcontrollers. Here's what Robert
>Eachus and Mike Felman said at the time:
>
>In article <EACHUS.95Nov14161604@spectre.mitre.org>
>eachus@spectre.mitre.org (Robert I. Eachus) writes:
>
>>    For Ada 83 we had AI-325: "Implementation-dependant limitations
>> must be justified.  An implementation-dependant limitation is
>> justified if it is impossible to or impractical to remove it, given an
>> implementation's execution environment."  In Ada95 this has been
>> incorporated into RM 1.1.3(6):  "Contain no variations except those
>> explicitly permitted by this International Standard, or those that are
>> impossible or impractical to avoid given the implementation's
>> execution environment."
>>
>>    [...]
>>
>>    So anyone who wants to retarget the GNAT compiler to an 8-bit
>> environment go ahead.  Validation should not be even your tenth
>> biggest worry.
>
>In article <4920s0$kqd@felix.seas.gwu.edu>
>mfeldman@seas.gwu.edu (Michael Feldman) writes:
>
>>     [...]
>>
>> (1) it is premature to write off the potential for an Ada/8051;
>>
>> (2) some of the complaints about Ada being "too big" for the 8051
>>     may well be made out of ignorance of the possibilities;
>>
>> (3) a GCC target and a port of the GNAT runtime is the way to go.

An 8051 and other 8-bit processors are small even for C.  I know
of only one target of gcc to a machine of this class, 68HC11.  This
port has no floats or 4 byte longs.

If you look at 8051 C compilers you will find that they have evolved
over the years adding little "hints" to deal with quirks in the
address space.  The 8051 is a classic Harvard machine with different
code and data spaces.  In addition, and here is one of the problems,
it handles on and off chip RAM differently.

Since it has only one accumulator and one data pointer there is
likely going to be code bloat just trying to move data around.
If you read postings in the relevant newsgroups you will see
postings about features of C to avoid on the 8051 because they
are expensive.

Originally C was designed around PDP-11 class machines: 16 bits,
multiple registers, indirect addressing modes, etc.  Since gcc has
to dumb down C for an 8-bit machine, how much would GNAT have
to dumb down Ada to target an 8051?  Would you still think it was Ada?

Just my 2 cents.


--
James Thiele
james@cdac.com (work) or jet@eskimo.com (home)
http://www.eskimo.com/~jet




             reply	other threads:[~1996-11-12  0:00 UTC|newest]

Thread overview: 163+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-11-12  0:00 James Thiele [this message]
1996-11-13  0:00 ` Ada and Automotive Industry Ken Garlington
1996-11-13  0:00 ` Frank Manning
1996-11-13  0:00 ` Robert Dewar
1996-11-15  0:00   ` Ken Garlington
  -- strict thread matches above, loose matches on Subject: below --
1996-12-13  0:00 Franco Mazzanti
1996-12-11  0:00 Franco Mazzanti
1996-12-11  0:00 ` Robert Dewar
1996-12-13  0:00 ` Robert I. Eachus
     [not found] <1996Dec11.220521.525@decus.org.nz>
1996-12-11  0:00 ` Ken Garlington
1996-12-10  0:00 Franco Mazzanti
1996-12-05  0:00 Franco Mazzanti
1996-12-06  0:00 ` Robert Dewar
1996-12-11  0:00 ` Robert I. Eachus
1996-12-13  0:00   ` Ted Dennison
1996-12-15  0:00     ` Robert Dewar
1996-12-17  0:00       ` Tucker Taft
1996-12-18  0:00       ` Robert A Duff
1996-12-18  0:00         ` Robert Dewar
1996-12-18  0:00           ` Robert A Duff
1996-12-18  0:00             ` Ken Garlington
1996-12-19  0:00               ` Robert A Duff
1996-12-20  0:00                 ` Philip Brashear
1996-12-20  0:00                   ` Robert Dewar
1996-12-22  0:00               ` Robert Dewar
1996-12-23  0:00                 ` Ken Garlington
1996-12-18  0:00       ` Geert Bosch
1996-12-18  0:00       ` Keith Thompson
1996-12-18  0:00         ` Keith Thompson
1996-12-17  0:00 ` Robert I. Eachus
     [not found] <1996Nov30.130532.522@decus.org.nz>
1996-12-02  0:00 ` Ken Garlington
     [not found] <1996Dec2.221233.523@decus.org.nz>
1996-12-02  0:00 ` Ken Garlington
1996-11-27  0:00 W. Wesley Groleau (Wes)
1996-11-25  0:00 Ada and automotive industry W. Wesley Groleau (Wes)
1996-11-24  0:00 Ada and Automotive Industry Ingemar Persson
1996-11-13  0:00 Marin David Condic, 561.796.8997, M/S 731-93
1996-11-13  0:00 ` Ken Garlington
1996-11-12  0:00 James Thiele
1996-11-11  0:00 James Thiele
1996-11-01  0:00 ETHoierman
1996-11-05  0:00 ` Stanley R. Allen
1996-11-06  0:00 ` Stanley R. Allen
1996-11-06  0:00   ` James Thiele
1996-11-06  0:00     ` Stanley R. Allen
1996-11-07  0:00       ` Dale Stanbrough
1996-11-11  0:00       ` Ken Tindell
1996-11-11  0:00         ` Matthew Heaney
1996-11-11  0:00           ` Philip Brashear
1996-11-11  0:00         ` Robert Dewar
1996-11-07  0:00     ` Frank Manning
1996-11-11  0:00     ` Frank Manning
1996-11-13  0:00       ` Ken Tindell
1996-11-13  0:00       ` Richard Riehle
1996-11-14  0:00         ` Jack Patteeuw
1996-11-16  0:00           ` David Taylor
1996-11-20  0:00             ` Richard Riehle
1996-11-21  0:00               ` Dave Wood
1996-11-21  0:00             ` Art Schwarz
1996-11-22  0:00               ` Ken Tindell
1996-11-22  0:00               ` Robert B. Love 
1996-11-24  0:00               ` "Paul E. Bennett"
1996-11-18  0:00           ` David Taylor
1996-11-17  0:00         ` Robert Dewar
1996-11-18  0:00           ` Ken Tindell
1996-11-22  0:00             ` Richard Kenner
1996-11-23  0:00               ` James Thiele
1996-11-27  0:00                 ` Richard Kenner
1996-11-22  0:00             ` Robert Dewar
1996-12-05  0:00             ` Michael Warner
1996-11-20  0:00           ` Richard Riehle
1996-11-23  0:00             ` Robert Dewar
1996-11-25  0:00               ` Richard Riehle
1996-11-27  0:00                 ` Robert Dewar
1996-11-29  0:00                   ` Richard Riehle
1996-12-02  0:00                   ` Chris Hills
1996-12-04  0:00                   ` Jon S Anthony
1996-11-27  0:00                 ` Ken Garlington
1996-12-01  0:00                   ` Richard Riehle
1996-11-27  0:00                 ` Robert Dewar
1996-11-25  0:00               ` Ken Tindell
1996-11-24  0:00             ` Richard Kenner
1996-11-25  0:00               ` Richard Riehle
1996-11-25  0:00               ` Ken Tindell
1996-11-26  0:00                 ` John Dammeyer
1996-11-26  0:00                   ` Ken Garlington
     [not found]           ` <Pine.GSO.3.95.961120154239.3 <Pine.GSO.3.95.961201100430.21598A-100000@nunic.nu.edu>
1996-12-01  0:00             ` James Thiele
1996-11-27  0:00         ` Jon S Anthony
1996-12-03  0:00           ` Richard A. O'Keefe
1996-12-03  0:00             ` Ted Dennison
1996-12-11  0:00             ` Richard Riehle
1996-12-13  0:00               ` Ted Dennison
1996-11-11  0:00     ` Norman H. Cohen
1996-11-14  0:00     ` Robert I. Eachus
1996-11-15  0:00       ` William P. Milam
1996-11-08  0:00   ` Ken Garlington
1996-11-08  0:00   ` Robert I. Eachus
1996-11-08  0:00     ` James Thiele
1996-11-08  0:00       ` nasser
1996-11-09  0:00         ` Robert Dewar
1996-11-22  0:00           ` Dirk Dickmanns
1996-11-10  0:00       ` Matthew Heaney
1996-11-11  0:00         ` Robert Dewar
1996-11-11  0:00           ` James Thiele
1996-11-12  0:00             ` Robert Dewar
1996-11-12  0:00       ` Richard A. O'Keefe
1996-11-12  0:00         ` Robert Dewar
1996-11-13  0:00           ` Richard A. O'Keefe
1996-11-14  0:00         ` William P. Milam
1996-11-19  0:00           ` Richard A. O'Keefe
1996-11-15  0:00       ` Robert Dewar
1996-11-15  0:00       ` Robert Dewar
1996-11-16  0:00         ` Geert Bosch
1996-11-21  0:00           ` Robert Dewar
1996-11-16  0:00         ` Adam Beneschan
1996-11-22  0:00           ` Robert Dewar
1996-11-11  0:00     ` Ken Tindell
1996-11-11  0:00       ` Matthew Heaney
1996-11-11  0:00       ` Robert Dewar
     [not found]   ` <847341612snz@transcontech.co.uk>
1996-11-10  0:00     ` Robert Dewar
1996-11-12  0:00       ` "Paul E. Bennett"
1996-11-15  0:00   ` Robert I. Eachus
1996-11-15  0:00     ` William P. Milam
1996-11-15  0:00     ` Robert Dewar
1996-11-18  0:00       ` Ken Tindell
1996-11-18  0:00         ` Robert Dewar
1996-11-19  0:00         ` Richard A. O'Keefe
1996-12-05  0:00         ` Michael Warner
1996-12-06  0:00           ` Robert Dewar
1996-11-15  0:00     ` John Howard
1996-11-21  0:00     ` James Weaver
1996-11-21  0:00   ` Robert I. Eachus
1996-11-22  0:00   ` Chris Hills
1996-11-22  0:00   ` Jon S Anthony
1996-11-23  0:00   ` Ralph Paul
1996-11-24  0:00   ` Otto Lind
1996-11-25  0:00     ` Richard Kenner
1996-11-28  0:00       ` Eyal Ben-Avraham
1996-11-29  0:00         ` Richard Kenner
1996-11-25  0:00   ` Robert I. Eachus
1996-11-26  0:00   ` Jon S Anthony
1996-11-26  0:00   ` Jon S Anthony
1996-11-27  0:00   ` Jon S Anthony
1996-11-27  0:00   ` Jon S Anthony
1996-12-01  0:00   ` Chris Hills
1996-12-01  0:00     ` Robert Dewar
1996-12-01  0:00     ` Robert Dewar
1996-12-02  0:00     ` Robert A Duff
1996-12-02  0:00   ` Chris Hills
1996-12-03  0:00     ` Andy Ashworth
1996-12-03  0:00       ` Ian Ward
1996-12-03  0:00   ` George Romanski
1996-12-05  0:00     ` Ken Tindell
1996-12-03  0:00   ` Ken Garlington
1996-12-03  0:00   ` Ted Dennison
1996-12-04  0:00   ` Jon S Anthony
1996-12-11  0:00   ` Robert I. Eachus
1996-12-13  0:00   ` Ted Dennison
1996-12-13  0:00     ` Robert Dewar
1996-12-14  0:00   ` Chris Hills
1996-12-19  0:00     ` Ian Ward
1996-12-17  0:00   ` Robert I. Eachus
1996-12-18  0:00     ` Robert Dewar
1996-12-19  0:00   ` Robert I. Eachus
replies disabled

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