comp.lang.ada
 help / color / mirror / Atom feed
From: ncohen@watson.ibm.com (Norman H. Cohen)
Subject: Re: Run-time checking and speed
Date: 13 Jan 1995 15:29:00 GMT
Date: 1995-01-13T15:29:00+00:00	[thread overview]
Message-ID: <3f667s$jie@watnews1.watson.ibm.com> (raw)
In-Reply-To: dsmith-1201952049540001@dsmith-ppp.clark.net

In article <dsmith-1201952049540001@dsmith-ppp.clark.net>, dsmith@clark.net
(Doug Smith) writes: 

|> OK, some personal experience which has been verified countless times by
|> fellow engineers. A small percentage (10%) of the code accounts for (90%)
|> of the processing. In case after case, a dynamic analysis tool identifies
|> the code executed the most, the engineer optimizes and gets almost an order
|> of magnitude speed improvement.
|>
|> In the old days (i.e. early compilers), I measured executable size differences
|> that showed half of the code was constraint checking (Today's compilers do
|> a much better job). By redesigning the code to explicitly check for and
|> raise the correct exceptions, I could then suppress the compiler generated
|> constraint checking.

Static measurements of the proportion of instructions in an object file
devoted to run-time checks can be very misleading.  A good compiler will
move many checks out of inner loops, so that, for the reasons explained
in the first paragraph above, the proportion of run-time-check
instructions among the instructions actually executed will be much
smaller.

--
Norman H. Cohen    ncohen@watson.ibm.com



  reply	other threads:[~1995-01-13 15:29 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-01-10 22:20 Run-time checking and speed Tony Leavitt
1995-01-12  1:14 ` Roger Labbe
1995-01-13 12:09   ` Philip Brashear
     [not found] ` <3f0prq$3bq@theopolis.orl.mmc.com>
1995-01-12 14:13   ` Robert Dewar
1995-01-13  1:49     ` Doug Smith
1995-01-13 15:29       ` Norman H. Cohen [this message]
1995-01-13 15:21     ` Norman H. Cohen
     [not found]     ` <3fa2pk$kbi@felix.seas.gwu.edu>
     [not found]       ` <EACHUS.95Jan17151835@spectre.mitre.org>
     [not found]         ` <3fjhrj$9b3@oahu.cs.ucla.edu>
1995-01-20  5:11           ` Robert Dewar
1995-01-23 16:43             ` Mats Weber
1995-01-24 19:25               ` Robert Dewar
1995-01-22 18:43         ` Michael Feldman
1995-01-23 23:38           ` Robert Dewar
1995-01-26 16:14             ` Kent Mitchell
1995-01-28  6:03               ` Robert Dewar
     [not found]             ` <3gbr4f$p4b@theopolis.orl.mmc.com>
1995-01-29 13:00               ` Robert Dewar
1995-01-30 19:21                 ` Garlington KE
1995-01-12 15:11 ` Norman H. Cohen
  -- strict thread matches above, loose matches on Subject: below --
1995-01-12 15:54 Keith Arthurs
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox