Originally posted by Linuxxx
View Post
The problem is that all of the optimizations are mere... speculation... that they will work without side effects. That's been proven to be untrue. What we need are scientifically rigorous approaches to optimization that can bear up under formal verification. We've literally outrun our ability to verify the integrity of our hardware and we're unfortunately reaping those consequences. Keep in mind this is a problem across all architectures that use this kind of optimization. It's not limited to Intel or AMD. ARM and POWER with speculative execution also suffer from these same problems. Processors without speculative execution may have other unforeseen problems as well. Just no one has bothered to go looking yet.
Comment