From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Runtime startup code for the GNAT Runtime...and a bit of humble pie.
Date: Tue, 19 Mar 2013 16:43:19 -0500
Date: 2013-03-19T16:43:19-05:00 [thread overview]
Message-ID: <kiam5q$iui$1@munin.nbi.dk> (raw)
In-Reply-To: ki9n00$b1$1@dont-email.me
"Simon Clubley" <clubley@remove_me.eisner.decus.org-Earth.UFP> wrote in
message news:ki9n00$b1$1@dont-email.me...
...
> One of the reasons to use Ada over, say C, is for the increased
> reliability
> of the code. However, what if the ported Ada RTS actually results in more
> unreliable code because of issues the person porting the RTS did not fully
> understand or was simply was not aware of ?
Ada was really designed to be used as the only thing on the machine. In that
case, there shouldn't be any real porting effort (presuming the CPU is
already supported), the only thing that needs to be changed is device
drivers. The problem of porting RTS comes when you try to use other kernels
with Ada.
I think it's unfortunate that Ada has moved away from its bare machine
roots, because that is where the increased reliability really shined (as it
did on MS-DOS, which was pretty close to a bare machine environment :-). The
more that the "underlying target system" does, the less advantage that Ada
has, simply because an Ada program cannot be more reliable than the
underlying system, and often is less so (there is a interface layer that can
have bugs, and that layer gets almost no advantage from the use of Ada).
Randy.
next prev parent reply other threads:[~2013-03-19 21:43 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-18 20:59 Runtime startup code for the GNAT Runtime...and a bit of humble pie Diogenes
2013-03-18 21:14 ` Robert A Duff
2013-03-19 0:07 ` Diogenes
2013-03-19 10:04 ` Brian Drummond
2013-03-19 12:51 ` Simon Clubley
2013-03-19 18:16 ` Ludovic Brenta
2013-03-20 1:05 ` Simon Clubley
2013-03-20 10:13 ` Mike H
2013-03-20 20:44 ` Ludovic Brenta
2013-03-19 21:43 ` Randy Brukardt [this message]
2013-03-20 8:24 ` Dmitry A. Kazakov
2013-03-21 0:16 ` Randy Brukardt
2013-03-21 19:08 ` Shark8
2013-03-21 23:34 ` Randy Brukardt
2013-03-22 16:39 ` Jacob Sparre Andersen
2013-03-23 10:56 ` Thomas Løcke
2013-03-19 23:13 ` Brian Drummond
2013-03-20 0:54 ` Simon Clubley
2013-03-20 11:50 ` Brian Drummond
2013-03-20 13:18 ` Simon Clubley
2013-03-26 11:04 ` Brian Drummond
2013-03-26 22:38 ` Simon Clubley
2013-03-27 11:34 ` Brian Drummond
2013-03-27 14:38 ` Simon Clubley
2013-03-27 22:58 ` Brian Drummond
2013-03-20 14:17 ` Lucretia
2013-03-20 15:00 ` Lucretia
2013-03-21 16:39 ` Brian Drummond
2013-03-23 4:35 ` Diogenes
2013-03-26 21:27 ` Diogenes
2013-03-26 21:57 ` Shark8
2013-03-27 0:28 ` Diogenes
2013-03-27 2:27 ` Shark8
2013-03-27 10:05 ` Brian Drummond
2013-03-27 12:23 ` Simon Wright
2013-03-27 19:07 ` Randy Brukardt
2013-03-27 21:10 ` Diogenes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox