Simple instructions for freezing a Skylake Processor

Re:Simple instructions for freezing a Skylake Processor by rincebrain on Sunday January 10, 2016 @01:20PM (#10876375)

Killbits is the one I've heard most commonly - as the talk says, most modern processors have a bunch because it's impossible to test every possible edge case a priori.

(Good recent examples include the AMD lockup bug that Matt Dillon found, and the nasty counter-example of the Intel Quark segfault bug, which can't be worked around so easily because the Quark doesn't have killbits. "Oops.")

[ Parent | on HN ]

Re:Simple instructions for freezing a Skylake Processor by wyager on Sunday January 10, 2016 @06:00PM (#10877656)

>most modern processors have a bunch because it's impossible to test every possible edge case a priori.

Only with the sort of engineering most current CPU manufacturers use.

It's possible to have formally verified hardware; it's just expensive with current tech. Tools are improving, though. I suspect the next cutting edge will be the unification of functional-language-to-hardware compilers like Clash or Lambda-CCC with fully dependent languages like Agda or Idris, where you can statically verify arbitrary properties though the type system.

[ Parent | on HN ]

Re:Simple instructions for freezing a Skylake Processor by throwupper247 on Sunday January 10, 2016 @06:15PM (#10877715)

I've just written an Idris programm that determined "your mothers phone number", hows that for arbitrary facts? (tip of the hat to xkcd.)

[ Parent | on HN ]