I meant the programmer should deal with buffer overruns, not the compiler or the OS. Though some built-in safe guards are definitely welcome.
Announcement
Collapse
No announcement yet.
What performance penalty would you tolerate to have a "safe" computing environment?
Collapse
X
-
(\__/) 07/07/1937 - Never forget
(='.'=) "Claims demand evidence; extraordinary claims demand extraordinary evidence." -- Carl Sagan
(")_(") "Starting the fire from within."
-
It's unrealistic to expect (more or less) error-free programming without the assistance of an automated or semi-automated analysis tool, whether it's the compiler or some kind of souce-to-source translator like ccured. About the only way to guarantee safety without compromising on performance (at least until region inference algorithms get a helluva lot better) is with a dependent type system or something similarly hideous.<p style="font-size:1024px">HTML is disabled in signatures </p>
Comment
-
For my computer, 1.1
For computers that I have to perform tech support on, 3.Visit First Cultural Industries
There are reasons why I believe mankind should live in cities and let nature reclaim all the villages with the exception of a few we keep on display as horrific reminders of rural life.-Starchild
Meat eating and the dominance and force projected over animals that is acompanies it is a gateway or parallel to other prejudiced beliefs such as classism, misogyny, and even racism. -General Ludd
Comment
-
Originally posted by loinburger
It's unrealistic to expect (more or less) error-free programming without the assistance of an automated or semi-automated analysis tool, whether it's the compiler or some kind of souce-to-source translator like ccured. About the only way to guarantee safety without compromising on performance (at least until region inference algorithms get a helluva lot better) is with a dependent type system or something similarly hideous.
I reckon either the compiler or the OS is needed for some things, such as clearing out a block of the heap before allocating it to a new process.(\__/) 07/07/1937 - Never forget
(='.'=) "Claims demand evidence; extraordinary claims demand extraordinary evidence." -- Carl Sagan
(")_(") "Starting the fire from within."
Comment
Comment