News for hackers. Stuff that matters.

A comment on Hyperkernel – A push-button approach to building provably correct OS kernels. Parent comment

Re:Hyperkernel – A push-button approach to building provably... by zaarn on Wednesday September 12, 2018 @04:45AM (#17966601)
With some probability, yes, but it's still non-zero. There are other failures where ECC doesn't help (ie, bitrot on your SSD or Harddrive, cosmic ray hitting the CPU itself, anything that does DMA).

The best we can do is deploy ECC, hope the cosmic rays don't hit our Datacenter too hard and design software to fail fast if it fails, even if math says it can't fail. Because it will fail.

[ Parent | on HN ]
Re:Hyperkernel – A push-button approach to building provably... by adrianN on Wednesday September 12, 2018 @05:45AM (#17966906)
It's not impossible to add enough error correction and redundancy to your stuff that it's more likely that we're wiped out by an asteroid than for your software to crash because of cosmic rays.
[ Parent | on HN ]