LWN.net Logo

Provably correct hardware not possible

Provably correct hardware not possible

Posted Nov 23, 2011 12:52 UTC (Wed) by pjm (subscriber, #2080)
In reply to: Provably correct hardware not possible by Cyberax
Parent article: Interview with Andrew Tanenbaum (LinuxFr.org)

> Digital circuitry is _digital_. It's specifically designed to not care about small deviations in voltage levels.

In practice, it's quite common for PC hardware not to behave according to spec (bits flipped in transit): common enough that I've noticed it myself on more than one machine, and common enough that I'm quite surprised that you apparently haven't noticed it.


(Log in to post comments)

Provably correct hardware not possible

Posted Nov 23, 2011 15:28 UTC (Wed) by Cyberax (✭ supporter ✭, #52523) [Link]

These are defects. Barring really bad design, you can't predict them or use them to reliably exploit something.

Copyright © 2013, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds