comp.lang.ada
 help / color / mirror / Atom feed
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.





  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