Názor k článku Procesory Intel mají vážnou hardwarovou chybu, záplata výrazně snižuje výkon od lopata - Samozřejmě že takovou chybu fuzzy testováním odhlalit lze...

Samozřejmě že takovou chybu fuzzy testováním odhlalit lze a je to v principu velice jednoduché. Stačí nastavit do TLB dva mapované regiony, jeden s úrovní oprávnění 0 (kernel) a druhý s úrovni uprávnění 3 (userspace). Pak se zkouší vygenerovat userspace pseudonáhodný kód, který přistoupí do kernel paměti. Tohle nesmí nikdy nastat a pokud se to podaří, je to chyba CPU. Odchytit přístup do kernel paměti je jednoduché, lze to buď na úrovni TLB (vývojář CPU má k dispozici celý jeho vnitřní stav), nebo to lze i v userspace např. tak, že se to kernel paměti zapíše nějaký pattern a v userspace se kontroluje, zda se takový pattern někdy z paměti přečetl.