From: Michael S <already5chosen@yahoo.com>
Subject: Re: Have the Itanium critics all been proven wrong?
Date: Wed, 22 Aug 2012 06:20:48 -0700 (PDT)
Date: 2012-08-22T06:20:48-07:00 [thread overview]
Message-ID: <00dcc463-e9d2-490d-93bc-4ec2084522db@l9g2000vbj.googlegroups.com> (raw)
In-Reply-To: 7399f70e-ffca-4517-8b8d-532d09539a85@d9g2000vbf.googlegroups.com
On Aug 22, 3:43 pm, Michael S <already5cho...@yahoo.com> wrote:
> On Aug 22, 1:54 pm, Niklas Holsti <niklas.hol...@tidorum.invalid>
> wrote:
>
>
>
>
>
>
>
>
>
> > On 12-08-22 12:29 , Michael S wrote:
>
> > > So let's do not call it "two languages". Let's talk about "full Ada"
> > > and "checked Ada" where "checked Ada" is a subset in which "it is not
> > > possible to clobber arbitrary memory locations". Hopefully "checked
> > > Ada" is still much closer in # features to the "full Ada" than to
> > > SPARK.
>
> > ...
> > >>> Q.
> > >>> Do people actually use the "second" Ada language
>
> > (i.e. "checked Ada")
>
> > >>> for really big and
> > >>> really complex application programs?
>
> > >> It is certainly possible. For example, the main SPARK tools are written
> > >> in SPARK.
>
> > > Well, so let's define "really big and really complex application
> > > programs" (RBaRCAP) as something that not only executes complex
> > > processing, but also handles multiple tightly or loosely related
> > > inputs for hours/days/weeks/months either as long-running service or
> > > as an interactive [GUI] application.
> > > Then compilers or lint-like tools are not RBaRCAP.
>
> > I understand. Another term, currently popular, is "enterprise applications".
>
> Not exactly. Take, for example, word processor or spreadsheet or
> advanced game. They are RBaRCAP but I would not call them "enterprise
> applications".
>
>
>
> > I have no personal knowledge of terrestrial RBaRCAPs. I have experience
> > of on-board SW in spacecraft, which may not qualify as "really big",
> > except in terms of the ratio of program size to available memory size,
> > but it is certainly complex and handles many inputs as a long-running
> > service. I've never used Unchecked_Deallocation in such programs, and
> > Unchecked_Conversion only for safe conversions.
>
> This sort of programs are what I called in my original post
> "relatively simple embedded software" (RSES).
> We write plenty of such stuff in C for embedded targets and in C++ for
> general-purpose computers. Some of those "simple" programs are
> measured in hundreds KLOCs. And yes, we, too, never use free() on
> embedded targets and use free()/delete() on general-purpose target
> only during program shutdown phase.
>
> I'd say, the biggest difference between RSESs and RBaRCAPs is that in
> RSES maximal load as well as minimal available resources are know up
> front. RBaRCAP, on the other hand, should, at least to a certain
> degree, handle increased loads and decreased resources by gracefully
> degrading the quality of service (i.e. typically response time). It's
> also desirable for RBaRCAP to supply better than normal quality of
> service when the loads are low or resources are high.
> Restating the same from slightly different angle, RSES are [hard or
> soft] real-time while RBaRCAP are ether non-real-time (if you believe
> that true non-real-time still exists) or, more realistically,
> extremely soft real time.
>
Oh, I forgot another difference, likely even more important for the
question at hand: RBaRCAPs are expected to be "nice" or "good
citizen", RSESs do not.
That is, resources consumption by well-behaving RBaRCAP is dynamic
both ways - not only grows when the load grows, but also shrinks when
the load shrinks.
next prev parent reply other threads:[~2012-08-26 14:06 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <5021874F.1747D0BF@sonic.net>
[not found] ` <1e1tf9-0kp2.ln1@ntp6.tmsw.no>
[not found] ` <k0gn5r$l9h$1@needham.csi.cam.ac.uk>
[not found] ` <GPRWr.31944$Bw1.31300@newsfe05.iad>
[not found] ` <k0gq97$li8$1@needham.csi.cam.ac.uk>
[not found] ` <k0h6ef$jke$1@speranza.aioe.org>
[not found] ` <46f19bfc-930e-4f06-b5a6-c60f39cfda0c@p14g2000yqk.googlegroups.com>
[not found] ` <k0r609$4ij$1@speranza.aioe.org>
[not found] ` <077b12f6-1196-4b5c-bbdb-04291b1ae616@q22g2000vbx.googlegroups.com>
[not found] ` <k0rree$lkn$1@speranza.aioe.org>
[not found] ` <CC5730C5.1BC2E%yaldnif.w@blueyonder.co.uk>
[not found] ` <k0t67b$b8r$1@speranza.aioe.org>
[not found] ` <CC585119.1BCCC%yaldnif.w@blueyonder.co.uk>
[not found] ` <k0uenp$fbg$1@speranza.aioe.org>
[not found] ` <k0vo9u$fer$1@dont-email.me>
[not found] ` <589825d2-d998-456a-9c37-c8ae13e1e7bc@e29g2000vbm.googlegroups.com>
2012-08-21 20:48 ` Have the Itanium critics all been proven wrong? Niklas Holsti
2012-08-21 22:32 ` Robert A Duff
[not found] ` <keb838pn40uf3pq1536e9b3dptgd57h3se@invalid.netcom.com>
2012-08-22 2:32 ` Bill Findlay
2012-08-22 2:42 ` Adam Beneschan
2012-08-22 4:08 ` Bill Findlay
2012-08-22 4:40 ` Adam Beneschan
2012-08-22 9:29 ` Michael S
2012-08-22 10:14 ` Dmitry A. Kazakov
2012-08-22 10:28 ` Ludovic Brenta
2012-08-22 12:48 ` Brian Drummond
2012-08-22 15:42 ` Ludovic Brenta
2012-08-22 10:54 ` Niklas Holsti
2012-08-22 12:43 ` Michael S
2012-08-22 13:20 ` Michael S [this message]
2012-08-22 22:30 ` Randy Brukardt
[not found] ` <k10tdr$nm6$1@dont-email.me>
[not found] ` <bb4e5231-142b-437c-8c2a-bbd6daf34df8@g2g2000vba.googlegroups.com>
2012-08-22 12:39 ` Brian Drummond
2012-08-22 14:00 ` Michael S
2012-08-22 15:06 ` Brian Drummond
2012-08-22 15:21 ` Bill Findlay
2012-08-22 15:59 ` Michael S
2012-08-22 16:01 ` Michael S
2012-08-22 16:58 ` Georg Bauhaus
2012-08-22 18:18 ` Bill Findlay
2012-08-22 15:05 ` Simon Wright
[not found] <k0jkb3$hm1$1@dont-email.me>
[not found] ` <632eec054470aafb59e98744e950ea8b@dizum.com>
[not found] ` <k0m5c3$t6t$1@dont-email.me>
[not found] ` <CC545B6F.1BA11%yaldnif.w@blueyonder.co.uk>
2012-08-22 22:35 ` Bill Findlay
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox