From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8623fab5750cd6aa
X-Google-Attributes: gid103376,public
Path: 
 g2news1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!news.mailgate.org!news2.euro.net!216.196.110.149.MISMATCH!border2.nntp.ams.giganews.com!nntp.giganews.com!zen.net.uk!dedekind.zen.co.uk!news.hacking.dk!pnx.dk!munin.nbi.dk!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: Improving Ada's image - Was: 7E7 Flight Controls Electronics
Date: 21 Jun 2004 16:56:02 +0200
Organization: Munin
Sender: sparre@sparre.crs4.it
Message-ID: <pl8yeh7yf1.fsf@sparre.crs4.it>
References: <40b9c99e$0$268$edfadb0f@dread16.news.tele.dk>
 <ubrk5lwoo.fsf@obry.org>
 <pan.2004.05.30.18.03.35.769965@n_o_p_o_r_k_a_n_d_h_a_m.abyss2.demon.co.uk>
 <40ba315a$0$254$edfadb0f@dread16.news.tele.dk>
 <oLwuc.17575$be.14510@newsread2.news.pas.earthlink.net>
 <vfSuc.8469$hB2.7817@nwrdny03.gnilink.net>
 <7J0xc.7371$8k4.269106@news20.bellglobal.com>
 <1086630278.542788@master.nyc.kbcfp.com>
 <8xlxc.27603$sS2.845496@news20.bellglobal.com>
 <1086715817.122983@master.nyc.kbcfp.com>
 <Sspxc.21282$8k4.550716@news20.bellglobal.com>
 <1086733411.736049@master.nyc.kbcfp.com>
 <3Auxc.11998$XY6.1296622@read2.cgocable.net>
 <Ygyxc.21522$QT3.4694@nwrdny01.gnilink.net> <40C85035.4020706@noplace.com>
 <qShyc.51846$8k4.1132952@news20.bellglobal.com> <40C9EC3B.60304@noplace.com>
 <uvfhuc1n3.fsf@xsol.com> <LG8zc.24456$wi2.21812@nwrdny01.gnilink.net>
 <40CD90A4.8030005@noplace.com> <Emkzc.8773$nY.296856@news20.bellglobal.com>
 <1087234490.635201@master.nyc.kbcfp.com> <40CEDEBB.3050209@noplace.com>
NNTP-Posting-Host: sparre.crs4.it
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: munin.nbi.dk 1087829762 5566 156.148.70.170 (21 Jun 2004 14:56:02
 GMT)
X-Complaints-To: sparre@munin.nbi.dk
NNTP-Posting-Date: Mon, 21 Jun 2004 14:56:02 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: g2news1.google.com comp.lang.ada:1740
Date: 2004-06-21T16:56:02+02:00
List-Id: <comp.lang.ada>

Marin David Condic wrote:

> Also, because OS's need high efficiency, it is not at all uncommon to
> turn off most of the runtime checks because you really need the
> performance. (Or is someone suggesting that all Ada checks should be
> left in when developing an OS?)

I would probably leave in the checks.  But I don't think there
actually should be that many active checks.

> Ada can't help with a variety of runtime errors unless the checks
> are left in, so does it really buy enough benefit to be able to make
> claims about how wonderful a theoretical Ada OS would be?

If I ever got brave enough to try to write an OS, I would probably use
a tool like SPARK Examiner to check as much of the code as possible.
Ideally this could probably also help a bit with identifying
supressable checks.

Greetings,

Jacob (SPARK fan :)
-- 
"simply because no one had discovered a cure for the universe as a
 whole - or rather the only one that did exist had been abolished"