Spectre mitigation

Demi Obenour demiobenour at gmail.com
Thu Jan 4 14:07:33 UTC 2018

The recent “Spectre” bug requires that speculative execution of indirect
branches be disabled.  For GHC, this will require passing a flag to LLVM
and fixing the NCG to emit suitable calling sequences.

This will be a disaster for the STG execution model, because it disables
CPU branch prediction for indirect calls and jumps.  This is a big argument
in favor of doing a CPS→SSA conversion in the backend.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180104/8048ca27/attachment.html>

More information about the ghc-devs mailing list