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-Thread: a07f3367d7,aba1514f4a1fc450
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.84.199 with SMTP id b7mr717283paz.11.1345990267554;
        Sun, 26 Aug 2012 07:11:07 -0700 (PDT)
Path: 
 t10ni76253865pbh.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.snarked.org!newsfeed.news.ucla.edu!ihnp4.UCSD.Edu!nntp.ucr.edu!solaris.cc.vt.edu!news.vt.edu!news.glorb.com!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Have the Itanium critics all been proven wrong?
Date: Wed, 22 Aug 2012 17:42:21 +0200
Organization: A noiseless patient Spider
Message-ID: <874nnvgcgy.fsf@ludovic-brenta.org>
References: <5021874F.1747D0BF@sonic.net> <1e1tf9-0kp2.ln1@ntp6.tmsw.no>
	<k0gn5r$l9h$1@needham.csi.cam.ac.uk>
	<GPRWr.31944$Bw1.31300@newsfe05.iad>
	<k0gq97$li8$1@needham.csi.cam.ac.uk> <k0h6ef$jke$1@speranza.aioe.org>
	<46f19bfc-930e-4f06-b5a6-c60f39cfda0c@p14g2000yqk.googlegroups.com>
	<k0r609$4ij$1@speranza.aioe.org>
	<077b12f6-1196-4b5c-bbdb-04291b1ae616@q22g2000vbx.googlegroups.com>
	<k0rree$lkn$1@speranza.aioe.org>
	<CC5730C5.1BC2E%yaldnif.w@blueyonder.co.uk>
	<k0t67b$b8r$1@speranza.aioe.org>
	<CC585119.1BCCC%yaldnif.w@blueyonder.co.uk>
	<k0uenp$fbg$1@speranza.aioe.org> <k0vo9u$fer$1@dont-email.me>
	<589825d2-d998-456a-9c37-c8ae13e1e7bc@e29g2000vbm.googlegroups.com>
	<a9iagtF1rqU1@mid.individual.net>
	<4c83f0f4-30e2-44bd-8b73-ada05de9322b@q22g2000vbx.googlegroups.com>
	<741f71aa-deb9-49eb-8d33-1f6d5bebdacd@googlegroups.com>
	<k12kf2$t5q$2@dont-email.me>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="98cca7bdb0b20e4e9f26add0627d6d9d";
	logging-data="16769"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18LkiH6mVuBTMaKaGRRAXkN"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:Hfd9Jr0pB4xuNucrLUfNF50/1UA=
	sha1:ar0W96wa12XNjdzsK3QJ0i7NXjs=
Content-Type: text/plain; charset=us-ascii
Date: 2012-08-22T17:42:21+02:00
List-Id: <comp.lang.ada>

Brian Drummond writes on comp.lang.ada:
>> I work on such an application: 2 million lines of code, multiple
>> processes running 24x7 on multiple machines, mission-critical, multiple
>> GUIs.  
> ...
>> Like I said we use almost every feature Ada has to offer, from high-
>> level tasks and protected objects to the lowest level of bit
>> manipulation ...  But these "scary" bits are few, far
>> between and well isolated; they must represent less than 0.5% of our
>> code base (still, 10 kSLOC or so...).  It is important to note that we
>> could do without those low-level tricks; they exist only for performance
>> reasons or to detect and diagnose rare errors.
>
> Interesting and good to know. But dare I ask ... (if you have any such 
> statistics to hand, or even a gut feel) ... what percentage of the bugs 
> arise out of that 0.5% of the code?

No bugs in the past few years because those parts of our code base are
20 years old or more and have been debugged to death; also only experts
are ever asked to work on them.  The fact that they are isolated in a
few package bodies helps, of course.

-- 
Ludovic Brenta.