This brilliant article argues that current computing problems (such as Spectre and Meltdown) are caused by modern CPUs exposing a fundamentally different abstract machine than the actual computing architecture, mostly to satisfy the complacency desires of C traditionalists.https://twitter.com/CompSciFact/status/991687650389233664 …
-
Show this thread
-
We cannot go back to deterministic sequential CPUs. The implication is that the only sustainable response to such problems is going to fundamentally change the kinds of systems programming languages we use. Pipelining, speculative execution etc. will become language features.
2 replies 2 retweets 18 likesShow this thread -
This Tweet is unavailable.
-
The solution could be that the abstract machine exposes an interface that allows to learn whatever necessary about the metal, and future systems programming can automate the design of the abstractions.
0 replies 0 retweets 0 likes -
This Tweet is unavailable.
For me the mindblowing insight was that there is a point where a traditional CPU architecture with a lot of complex enhancements becomes a modern architecture with a lot of complex mimicry to pretend that is still traditional.
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.