Capire cosa accade dentro un processore moderno è una delle sfide più complesse della sicurezza hardware.
Dopo Spectre e Meltdown, l’attenzione dei ricercatori si è concentrata su predizione dei salti, cache e speculative execution. Il problema è che i sistemi operativi tradizionali, da Linux a macOS, introducono interferenze che alterano le misurazioni. Per risolverlo, il MIT CSAIL ha sviluppato Fractal, un kernel progettato esclusivamente per l’analisi microarchitetturale dei processori, presentato in occasione dell’IEEE Symposium on Security and Privacy.
Perché i sistemi operativi tradizionali disturbano i test
I sistemi operativi generalisti sono progettati per massimizzare usabilità e prestazioni, non per la ricerca. Durante un esperimento attivano scheduler, interrupt, gestione della memoria e migrazione dei thread tra core diversi.
Ogni attività introduce rumore sperimentale e rende difficile distinguere il comportamento reale dell’hardware da quello generato dal software. Per aggirare il problema, i ricercatori modificavano kernel esistenti con patch specifiche: un processo laborioso, difficile da replicare e ancora più complesso sui sistemi proprietari.
