Recent Features
| |||||||||||||
Provably correct hardware not possibleProvably correct hardware not possiblePosted Nov 22, 2011 4:10 UTC (Tue) by Cyberax (✭ supporter ✭, #52523)In reply to: Provably correct hardware not possible by jhhaller 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. If one circuit behaves differently from another one then it's a defect, which can in theory be diagnosed during manufacture.
Of course, it's possible that a passing OhMyGod particle would knock your CPU off, but that's outside of range of provable hardware and software.
(Log in to post comments)
Provably correct hardware not possible Posted Nov 23, 2011 12:52 UTC (Wed) by pjm (subscriber, #2080) [Link]
> 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.
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.
|
|||||||||||||