From: "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
Subject: Re: Have you ever had a bug caused by...
Date: Thu, 25 Oct 2001 11:23:05 -0400
Date: 2001-10-25T15:22:57+00:00 [thread overview]
Message-ID: <9r9aoh$6fm$1@nh.pace.co.uk> (raw)
In-Reply-To: 3BD7DF3B.1E5F435B@brighton.ac.uk
Never said I was in favor of it - just observing that the C design
philosophy was to make an extremely simple compiler that didn't put in
anything you didn't specifically create. It is really a high level
assembler.
Designing in C, I find myself utilizing the Harley Davidson Design
Principle: "If it breaks, make it bigger. If it sticks out, chrome it!" :-)
I think that for easily 75% or more of the programs ever written in the
world today, a compiler could safely leave in all sorts of range checks and
other runtime safety features and nobody would ever notice they were there
from a performance standpoint. If a compiler can be smart enough to
eliminate some of the checks on its own - great! If the compiler will let me
turn them off when I might be in those 25% of the cases where it matters,
fine! Ada certainly makes all of that possible.
MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas www.pacemicro.com
Enabling the digital revolution
e-Mail: marin.condic@pacemicro.com
Web: http://www.mcondic.com/
"John English" <je@brighton.ac.uk> wrote in message
news:3BD7DF3B.1E5F435B@brighton.ac.uk...
>
> Odd, considering how much easier it is for a compiler to optimise out
> unnecessary range checks than for a human to try and identify safe
> situations and leave out the checks... It's easier for a human to wrap
> the variable access in a function which always range checks and which
> the compiler can't optimise away, or to omit checking altogether.
>
next prev parent reply other threads:[~2001-10-25 15:23 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-20 1:14 Have you ever had a bug caused by Mike Silva
2001-10-20 1:44 ` Larry Kilgallen
2001-10-20 2:12 ` James Rogers
2001-10-20 9:15 ` Robert*
2001-10-20 11:20 ` Bertrand Augereau
2001-10-20 11:30 ` Matthew Woodcraft
2001-10-20 12:39 ` Robert*
2001-10-20 13:09 ` Bertrand Augereau
2001-10-20 21:21 ` Robert Dewar
2001-10-22 15:58 ` Ted Dennison
2001-10-20 19:07 ` Dr Adrian Wrigley
2001-10-21 1:09 ` Mike Silva
2001-10-21 12:05 ` Larry Kilgallen
2001-10-22 14:48 ` Marin David Condic
2001-10-22 17:03 ` Martin Dowie
2001-10-22 17:22 ` Marin David Condic
2001-10-23 6:13 ` Mike Silva
2001-10-22 21:49 ` David Bolen
2001-10-22 22:14 ` Marin David Condic
2001-10-23 0:52 ` Robert*
2001-10-23 13:30 ` Marin David Condic
2001-10-25 9:45 ` John English
2001-10-25 15:23 ` Marin David Condic [this message]
2001-10-25 18:17 ` Ted Dennison
2001-10-25 15:36 ` Ted Dennison
2001-10-25 16:09 ` Simon Wright
2001-10-25 2:16 ` David Bolen
2001-10-23 6:26 ` Mike Silva
2001-10-23 9:40 ` mike
2001-10-23 10:09 ` Preben Randhol
2001-10-23 13:48 ` Marin David Condic
2001-10-23 15:45 ` Ted Dennison
2001-10-23 17:08 ` Marin David Condic
2001-12-04 11:09 ` Harri J Haataja
2001-10-24 12:44 ` Marc A. Criley
2001-10-24 18:55 ` Jeffrey Carter
2001-10-24 19:34 ` Marin David Condic
2001-10-26 4:18 ` (Off topic:) Quality Anders Wirzenius
2001-10-25 9:36 ` Have you ever had a bug caused by John English
2001-10-25 15:41 ` Wes Groleau
2001-10-25 17:57 ` Have you ever had a bug OOPS Wes Groleau
2001-11-13 2:07 ` David Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox