Earlier quoted context omitted.
No, but it’s straightforward engineering to prevent many of these problems. Error-correcting codes have been well understood for most of a century. Yes, it costs in performance and in money. For life-safety applications, it shouldn’t be optional. Amazon is hosting life-safety applications in EC2. Commodity x86 hardware is grossly negligent for that environment.
ECC as it is today may not be sufficient. It's mostly useful against single bit flips. Probably better than nothing, though...
The mysterious case of the Linux Page Table Isolation patches
181–190 of 264 posts
Re: The mysterious case of the Linux Page Table Isolation patches
#182Earlier quoted context omitted.
Alpha particle emissions are common causes of single-bit errors, especially from ceramic enclosure materials in integrated circuits. Mitigating soft errors from circuit packaging is an active area of research in materials science. Parity bits and CRC error checking are needed precisely to reduce the impact of these errors down to manageable levels.
"Alpha particles can be stopped by a sheet of paper, beta particles by aluminum, and gamma radiation by a block of lead." This is what I read online. A typical hardware components is enclosed in a aluminum case so really gamma radiation is of concern right?
Re: The mysterious case of the Linux Page Table Isolation patches
#183Earlier quoted context omitted.
Alpha particle emissions are common causes of single-bit errors, especially from ceramic enclosure materials in integrated circuits. Mitigating soft errors from circuit packaging is an active area of research in materials science. Parity bits and CRC error checking are needed precisely to reduce the impact of these errors down to manageable levels.
"Alpha particles can be stopped by a sheet of paper, beta particles by aluminum, and gamma radiation by a block of lead." This is what I read online. A typical hardware components is enclosed in a aluminum case so really gamma radiation is of concern right?
Re: The mysterious case of the Linux Page Table Isolation patches
#184Earlier quoted context omitted.
In this specific scenario what's the mitigation for cloud customers? Or even cloud providers? A customer can't migrate all of their infrastructure before a packaged exploit can be distributed. A provider can't dedicate hardware for every single customer. Let's be realistic here.
Get off the cloud. Which is exactly why the companies involved would want to keep it secret. Not everyone is all in on cloud infrastructure. What about people who are right now deciding whether or not to move critical data to the cloud? Should their security be compromised by hiding the truth about a known exploit in order to "protect" people less concerned about security who already put their data at risk?
If this vulnerability applies regardless of where it is, what is the mitigation then? Move your machine to where? Your suggestion is not practical and you know it. The right mitigation is one that actually will fix the vulnerability. No one shut down machines and migrated everything to another distro because Debian had a bug in generating private key a decade ago even if the bug was zero-day.
Re: The mysterious case of the Linux Page Table Isolation patches
#185Earlier quoted context omitted.
Thats because Gentoo decided to switch on a new compile flag, then didn't bother to test that the kernel still boots: https://lkml.org/lkml/2017/12/29/449
And, for reasons that are entirely unknown, the issue got worse due to one of the PTI patches (written by, and hence tentatively blamed on, yours truly). Presumably it caused some minor change in code generation causing GCC to go nuts. FWIW, the compile flag that Gentoo enabled activates a seriously busted GCC feature, and I'm a bit surprised that Gentoo gets away with it in user code.
Edit: nevermind. It's the -fstack-check flag mentioned in the other comments.
Re: The mysterious case of the Linux Page Table Isolation patches
#186Ok so all I hear is Intel and no trace of AMD? So X86_64 ISA wise the only diff between modern CPUs are AVX512. I bet you within the foundations of AVX512 lies a nasty one that can't be patched with microcode update.
Re: The mysterious case of the Linux Page Table Isolation patches
#187Earlier quoted context omitted.
Thats because Gentoo decided to switch on a new compile flag, then didn't bother to test that the kernel still boots: https://lkml.org/lkml/2017/12/29/449
And, for reasons that are entirely unknown, the issue got worse due to one of the PTI patches (written by, and hence tentatively blamed on, yours truly). Presumably it caused some minor change in code generation causing GCC to go nuts. FWIW, the compile flag that Gentoo enabled activates a seriously busted GCC feature, and I'm a bit surprised that Gentoo gets away with it in user code.
Re: The mysterious case of the Linux Page Table Isolation patches
#188Earlier quoted context omitted.
As someone who shares your skepticism of the cloud, I can say that people don’t switch from bare metal hosting (something like SoftLayer) to AWS/GCP for the cost. If you do the math like “we have 1000 cores and 2048Gb of RAM and 10Tb of RAID’ed SSD” and then plug that in to the GCP calculator... it’s going to be at minimum 1.5-2x your bare metal cost. That’s not even including bandwidth which is pretty much free at b…
Totally agree. Cloud makes tons of sense if your workload is really dynamic. Lots of small players are running static workloads though because actually setting up dynamic workloads is pretty complex. I use GCE for DNS, Storage, CDN (for fronting storage backed files), dynamic workloads that can run on preemptible instances, and scalable instances to serve published static content, but I use dedicated servers for data…
We keep looking at GCP waiting for the pricing to make sense and still trying to figure out how people run low latency Postgres on there. :)
Re: The mysterious case of the Linux Page Table Isolation patches
#189Earlier quoted context omitted.
No, but it’s straightforward engineering to prevent many of these problems. Error-correcting codes have been well understood for most of a century. Yes, it costs in performance and in money. For life-safety applications, it shouldn’t be optional. Amazon is hosting life-safety applications in EC2. Commodity x86 hardware is grossly negligent for that environment.
ECC as it is today may not be sufficient. It's mostly useful against single bit flips. Probably better than nothing, though...
Of course, you’ll also find a tendency there towards specified hardware. They bend or break it to use COTS x86 machines, but—as I think I heard from a comment here last week—nearly nobody ever specified wanting AMT in the initial design, so it’s pretty weird that we’re all buying and deploying it.
Re: The mysterious case of the Linux Page Table Isolation patches
#190Earlier quoted context omitted.
OTOH, a rowhammer attack on ECC memory will likely flip 1 bit before it flips 2, making attacks theoretically detectable. Without ECC, there's no clear way to detect an attack.
I'd assume that parity is checked on access, which may give enough time to flip more than one bit before it's detected.