I wonder whether having the language know about array bounds (i.e. memory safety) makes it easier to deploy mitigations against Spectre…
-
-
So, in theory, if we had a “load without speculation” CPU insn, a safe language could use it precisely for bounds checked data.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Check is a branch, and is therefore speculative.
-
Yes, but the load is the problem.
- 4 more replies
New conversation -
-
-
How does your argument apply to the fact that chrome memory was readable with javascript?
-
We don’t have a reasonable “load without speculation” CPU instruction yet, so JS VMs can’t use it. :)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.