Intel: Meltdown, Spectre silicon fixes coming 2018; 3D XPoint RAM, not so much
arstechnica.com
arstechnica.com
What does it mean to fix spectre? The microcode updates that were presented weren't... very elaborate as far as I understood it. They basically add optional capabilities for software to say "please let speculative execution run into nowhere and I know it'll be really slow".
What will these fixes look like? Will they add memory permission management to speculative execution? Is that even possible? Will they move away from speculative execution? Is it possible to have a performant processor without it? Will the fixes "just work" or will they require changes in software? In compilers? Will they be on by default or only for sensitive processes?
Probably.
> Is that even possible?
That's how AMD does it, so yes. Simply refusing to return a result from memory before the permissions are checked is a good solution to Meltdown. Might be a little slower in some situations, but it shouldn't be terrible.
> Will they move away from speculative execution? Is it possible to have a performant processor without it?
No and no.
Spectre 2 can be fixed by storing more bits in BTB tags, including the PCID and possibly some id to distinguish between VMs. If they don't want to do that, they can fix the issue with somewhat more of a performance penalty by introducing a fast operation to clear the BTB, which would be used when switching between privilege levels.
> Will the fixes "just work" or will they require changes in software? In compilers?
Spectre 1 cannot be fixed, and the only solution is to accept that branches cannot be used as security boundaries.
[1] https://www.anandtech.com/show/12371/intel-announces-q4-2017...
AMD make instruction-compatible CPUs and other vendors make other computing architures (POWER, ARM, SPARC, etc.) that all compete with Intel.
"Intel has more than 99 percent market share in servers, and its chips are in more than 90 percent of laptops and 88 percent of desktops sold."[1]
1. https://www.bloomberg.com/news/articles/2018-01-09/microsoft...
Are you going to say that Apple has a monopoly on all iPhones? Or are you going to take the more reasonable stance and realize that the iPhone / iPad is a competitor to Desktops / Laptops.
I can imagine that this monopoly is close to being natural[1] (thus, legitimate and legal), one should be proved wrong to state otherwise. But I can't accept that an expensive, critically important, high-tech product turned out to be massively flawed, but the company (especially the monopolist) behind it not only doesn't bear responsibility, but generally denies the existence of the technical flaw ("it's not a bug, but a feature").
Moreover, it's still unclear whether this bug will be fixed at all[2].
[1] https://en.wikipedia.org/wiki/Natural_monopoly
[2] https://techcrunch.com/2018/01/22/linus-torvalds-declares-in...
I wouldn't expect anything before Q3, but Q3 or Q4 shipping does seem plausible.
This part usually takes longer than the actual logic design and transistor layout phases.
For varying levels of sure, given recent history.
Validation: Does the thing you designed actually do what it's supposed to do?
And the related concept,
Verification: Is the thing you build (and deliver) actually what you designed?