Vlákno názorů k článku V čem spočívají Meltdown a Spectre? Zneužívají optimalizací procesorů od leby - Zajímalo by mne, zda existuje reálné zneužití v...
-
Meltdown lze použít jen v případě, že jádro má přimapovnou k procesu tu část, kde drží tajné informace, hesla, a zároveň obsahuje konkrétní nebezpečnou část ať už přímo, nebo se poskládá pomocí nějakého skoku někam doprostřed kódu nebo instrukcí return a nebo obsahuje celý JIT compiler, což je největší kravina linuxového jádra, který umožňuje vnutit jádru vykonat uživatelský kód v ringu 0.
Kdyby jádro mapovalo jen to, co bezpodmínečně nutně potřebuje k zajištění služeb a počítalo rovnou s tím, že ta paměť je defacto read only, tak by nikoho ta chyba netrápila.
Spectre je totéž, jen se to týká jen aplikací, které vykonávají cízí kód dodaný z venku. Bez Meltdown se v zásadě omezuje jen na proces ve kterém běží. Takže je to věc prohlížečů a různých interpretů, kde vstup dodává třetí strana. Sandbox a bariéry to řeší. Mimochodem, ten příklad co se uvádí u Spectre jako způsob proniknutí mimo vyhrazenou oblast, tak pokud to takhle někdo má naprogramovaný, že jen zkontroluje rozsah a když je to mimo tak to nijak neřeší (žádná výjimka, nic?), tak by si zasloužil pověsit za ... do průvanu.
To trénování skoků je sice hodně zajímavý problém, ale podle mě okrajový a pokud lze tabulku skoků vytrénovat tak, aby spekulativně provedla úplně něco jiného, než jí nařizuje kód, tak je to pořádná bota CPU vývojářů
-
andy (neregistrovaný)
"Mimochodem, ten příklad co se uvádí u Spectre jako způsob proniknutí mimo vyhrazenou oblast, tak pokud to takhle někdo má naprogramovaný, že jen zkontroluje rozsah a když je to mimo tak to nijak neřeší (žádná výjimka, nic?),"
Pokud to dobře chápu, tak se jedná o to, že pošlu do BPF kód, který vypadá jako "a=x[100] & 1;y[a]=1", a v kernelu se provede:
if (idx < 0 || idx >=limitX) return CHYBA;
a = x[idx] &1;
if (a <0 || a >= limitX) return CHYBA;
y[a] = 1;
...Co by to mělo udělat víc?
-
andy (neregistrovaný)
No, jednak ten kód, na kterém to ukazovali byl BPF (tzn. zkontrolovaný interpretovaný jazyk, případně výsledek JITu), dále to může být výsledek JITu v javascript interpretru, takže to není, že by někdo ten kód "napsal", to je výsledek kompilace a každý jazyk si pak chování může implementovat různě (např. v Pythonu je C API prostě C, bez výjimek).
Druhak výjimky na Linuxu přes syscall obecně nejdou. Jestli ve Windows jdou výjimky do jádra netuším, vypadá to, že možná ano.
-
I (neregistrovaný)
Mrkni na aj dikskus pod clankom
https://www.raspberrypi.org/blog/why-raspberry-pi-isnt-vulnerable-to-spectre-or-meltdown/
