comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA
Date: Tue, 9 Jul 2013 15:30:37 -0500
Date: 2013-07-09T15:30:37-05:00	[thread overview]
Message-ID: <krhrti$5ug$1@loke.gir.dk> (raw)
In-Reply-To: krh26d$8b0$1@dont-email.me

"Simon Clubley" <clubley@remove_me.eisner.decus.org-Earth.UFP> wrote in 
message news:krh26d$8b0$1@dont-email.me...
> On 2013-07-09, Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
...
> What is needed is to create a Ada compiler which will create code which
> runs in bare metal mode on a number of specific architectures (ARM and
> MIPS would be my personal initial preferences).

I agree with Dmitry, this sounds like nonsense. Certainly you can write a 
cross-compiler, but it can't "target bare-metal". Most machines need a 
substantial RTS to support anything. The Z80s that we targeted when we 
started out didn't even support multiple and divide in hardware -- you would 
have been limited to plus and minus (and no arrays, as those require 
multiplying to do indexing) without an RTS.

Early Janus/Ada was available for bare-metal (still is, nominally) -- we 
provided the source code of the RTS and customers could tailor it to their 
actual hardware board. But there was no way to make that process portable in 
any sense -- every hardware implementation was different. And nothing I've 
heard here suggests that anything has changed in that respect.

So it makes sense to target a particular board (Lego Mindstorms, Raspberry 
PI), but targeting all boards is nonsense.

> At this point, I'm beginning to think you are either trolling or just
> refusing to accept (for whatever reason) that there's a vast embedded
> market out there, outside of what you are used to, which could be a
> target for Ada.

I started out creating tiny Ada subsets, and I've come to believe that those 
do Ada far more harm than good. The only sort of Ada that can run on those 
targets is an emasculated Ada that is likely to repell, rather than attract 
people to "real" Ada down the road. (And yes, I feel that way about Spark 
and Ravenscar, too; those both are rooted in the technology limitations of 
the 1990s and one would hope that we can now move on to more generally 
useful things.)

> Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
> Microsoft: Bringing you 1980s technology to a 21st century world

And that's what Ada (and Linux) is doing, too. It's only become practical to 
use a lot of that 80s technology in very recent years. (Plus it works well, 
why change for the sake of change?) Why single out Microsoft for this?
Besides, that is *exactly* what you want people to do (go back to 1980s Ada 
subsets); it is really silly to advocate in a message for doing the very 
thing that your signature is railing against.

                                    Randy.





  reply	other threads:[~2013-07-09 20:30 UTC|newest]

Thread overview: 55+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-06-19  7:51 Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Marcus F
2013-06-19 18:20 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running Ada Jacob Sparre Andersen
2013-06-19 18:59   ` Marcus F
2013-06-19 19:25     ` Marcus F
2013-07-12 20:35     ` Rego, P.
2013-07-12 20:37       ` Rego, P.
2013-07-07  9:16 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Lucretia
2013-07-07  9:56   ` Dmitry A. Kazakov
2013-07-07 10:58     ` Simon Clubley
2013-07-07 15:00       ` Dmitry A. Kazakov
2013-07-07 16:27         ` Niklas Holsti
2013-07-08  7:43           ` Dmitry A. Kazakov
2013-07-08 10:54             ` G.B.
2013-07-08 12:14               ` Dmitry A. Kazakov
2013-07-08 12:56                 ` Simon Clubley
2013-07-08 14:06                   ` Dmitry A. Kazakov
2013-07-08 14:43                     ` G.B.
2013-07-08 17:23                     ` Simon Clubley
2013-07-08 18:55                       ` Dmitry A. Kazakov
2013-07-09 11:53                         ` Simon Clubley
2013-07-09 12:57                           ` Dmitry A. Kazakov
2013-07-09 13:11                             ` Simon Clubley
2013-07-09 20:30                               ` Randy Brukardt [this message]
2013-07-09 22:23                                 ` Georg Bauhaus
2013-07-10  8:06                                   ` Dmitry A. Kazakov
2013-07-10 12:25                                 ` Simon Clubley
2013-07-10 22:17                                   ` Randy Brukardt
2013-07-11 16:58                                     ` Eryndlia Mavourneen
2013-07-11 22:07                                       ` Randy Brukardt
2013-07-08 13:15                 ` G.B.
2013-07-08 13:59                   ` Dmitry A. Kazakov
2013-07-09  0:53                     ` mjsilva
2013-07-08 20:31             ` Randy Brukardt
2013-07-08 20:45               ` Dmitry A. Kazakov
2013-07-09  0:19                 ` mjsilva
2013-07-09  0:27             ` mjsilva
2013-07-09  7:51               ` Dmitry A. Kazakov
2013-07-09  8:33                 ` Georg Bauhaus
2013-07-09  9:12                   ` Dmitry A. Kazakov
2013-07-09 11:08                     ` G.B.
2013-07-09 12:28                       ` Dmitry A. Kazakov
2013-07-09 14:20                         ` G.B.
2013-07-09 15:00                           ` Dmitry A. Kazakov
2013-07-09 23:13                             ` Peter C. Chapin
2013-07-09 15:38                 ` mjsilva
2013-07-09 19:48                   ` Dmitry A. Kazakov
2013-07-09 20:10                   ` Randy Brukardt
2013-07-09 22:09                     ` Georg Bauhaus
2013-07-10 22:21                       ` Randy Brukardt
2013-07-11  6:12                         ` Georg Bauhaus
2013-07-11 22:00                           ` Randy Brukardt
2013-07-10  1:31                     ` mjsilva
2013-07-10  8:17                       ` Dmitry A. Kazakov
2013-07-10 22:39                       ` Randy Brukardt
2013-07-09 13:53     ` Shmuel Metz
replies disabled

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