Názory k článku
SplitSpectre je další útok typu Spectre na procesory, lze jej provést z prohlížeče

Ono je poměrně důležité vědět, jak snadno či obtížně je chyba exploitovatelná. Pokud na to stačí JavaScript ve Firefoxu a dá se dostat cíleně k citlivým datům, je to horší, než když je potřeba dlouze spouštět speciální binárku.

Když za to Intel (a jiní) dávají tučné odměny, proč na to nemají vlastní lidi a netestují to už ve fázi návrhu a prototypu?

Takto ty postupy zveřejní i s použitým kódem a kdejaké pako to začne cpát do stránek. Tím nechci říct, že by se to mělo celé zatajovat.

Ale majú, ale reálne sa nedá odhaliť všetko.
On taký Phenom mal chybu č. 298

Erratum 298
https://arstechnica.com/gadgets/2007/12/linux-patch-sheds-light-on-amds-tlb-errata/

https://arstechnica.com/gadgets/2007/12/phantom-phenoms-perplexing-processor-problem-behind-produdct-delay/

A tá sa prejavovala len, ak:

1. Všetky 4 jadrá išli na max. frekvencii.
2 Všetky 4 jadrá boli vyťažené na 100%
3. vymieňali sa dáta medzi L2 a L3 cache naraz oboma smermi na rovnakom jadre...

Uvedené CPU architektúry má najmenej 120 známych chýb, spracovaných mikrokódom alebo nastaveniami EFI...
po 5-6 rokoch má CPU bežné 400-500 známych chýb nájdených inhouse....

Mazec...

Kolega písal o peniazoch, ja napíšem o egu. Keby vývojár CPU nemal extrémne ego, tak sa z toho, čo vyvíja zblázni. O čo väčšie ego má ten, kto odhalí cestu (= postupnosť prechodov), ktorá vedie k zneužitiu chyby. A ako mu ego narastie.... A je to o tom egu...

Odvolám sa na svoj príspevok ku
Intel Skylake má bug, v komplexní zátěži zamrzá, řešením je nový BIOS
25. 1. 2016
https://diit.cz/clanek/skylake-bug-pusobi-zamrzy
https://diit.cz/clanek/skylake-bug-pusobi-zamrzy/diskuse

Tak si to spočítajme na úrovni stavov logického automatu pre jednu pipeline...

Skylake má najmenej 20 stupňov dlhú pipeline

3.8
Branch prediction in Intel Haswell,
Broadwell and Skylake

Misprediction penalty
The branch misprediction penalty varies a lot. It was measured to 15 -20 clock cycles
http://www.agner.org/optimize/microarchitecture.pdf

Inštrukcií používaných v x86 bolo v roku 2013 cca. 670

teda iba rozpracovaných inštrukcií je

670^20=3,32x10^56 rôznych kombinácií

aby nebolo vplyvnenie, tak musí test trvat min 2x cela pipeline , teda 40 cyklov. Pri 4GHz trva teda jeden test 10 ns. Kedze nie všetky instrukcie idu v jednej pipeline pocitajme 1ns.

za sekundu je to 10^9 testov.

deň má
3600*24s
rok má 365*24*3600= 3,15 *10^7 s
to dá 3,15*10^16 testov za rok

resp. vek vesmíru je cca
13,798 miliardy rokov (4,5354 * 10^17 sekúnd)
teda za vek vesmiru sa dá otestovať

4,53*10^28 testov

Prakticky by teda plný test len tejto časti Skylake-u trval cca.
vek_vesmíru *vek_vesmíru

Takže je nereálne tvrdiť, že sa to dá otestovať, a už vôbec nie v tick-tock stratégii..
x86 je vnútorne RISC a navonok je to CISC a poítal som to na CISC x86 inštrukcie, čo nie je presné, ale orientačne rádovo je sedí..

Z každého stavu aj do každého stavu je 670 prechodov.

napr. AMD Zen je tých výpočtových Pipeline 8 ks(a dve AGU pipeline), pri štvorcestom dekodéri-
https://wccftech.com/amd-zen-architetcure-details/

A Zen2 to bude

Footnotes

1. Estimated increase in instructions per cycle (IPC) is based on AMD internal testing for “Zen 2” across microbenchmarks, measured at 4.53 IPC for DKERN +RSA compared to prior “Zen 1” generation CPU (measured at 3.5 IPC for DKERN + RSA) using combined floating point and integer benchmarks.
https://www.amd.com/en/press-releases/2018-11-06-amd-takes-high-performance-datacenter-computing-to-the-next-horizon

na čo štvorcestný dekodér nestačí

čo je na to egu nepochopiteľné?

Ruský matematik odmietol milión dolárov

Grigorij Perelman si neprevzal cenu Clayovho matematického inštitútu za vyriešenie storočného tajomstva matematiky

BRATISLAVA. Mal získať milión amerických dolárov. Ruský matematik Grigorij Perelman sa však rozhodol neprijať cenu amerického Clayovho matematického inštitútu. Ten v roku 2000 zverejnil zoznam siedmich matematických problémov, za riešenie ktorých ponúkol po milióne dolárov.

Len jeden z nich sa dodnes podarilo vyriešiť. Perelman dva roky po vyhlásení problémov zverejnil náznak, že dokázal Poincarého hypotézu. Jeho riešenie potvrdili až v roku 2006 tri nezávislé tímy matematikov.

Pred štyrmi rokmi odmietol prestížnu Fieldsovu medailu, najprestížnejšie matematické ocenenie sveta.

Odkázal vtedy, že ak je jeho dôkaz „korektný, žiadne ďalšie ocenenie nepotrebuje“.

https://tech.sme.sk/c/5413269/rusky-matematik-odmietol-milion-dolarov.html

môže byť, ale aj ego v tom môže byť..

aj OSS primárne robia ľudia preto, aby uspokojili svoje ego, ale ak sa dá na tom zarobiť, tak neodmietnu...

To co popisujete je ve zkratce jeden z důvodů, proč existují metody formální verifikace.
https://en.wikipedia.org/wiki/Formal_verification
https://www.youtube.com/watch?v=4DYVJdHMV5k