там побольше оптимизаций думаю

окей, спасибо. Может в доках покопаюсь

по дефолту проц предсказывает бранч рандомно

а этим ты ему задаешь изначальное предсказание

именно оно будет загружено в конвейер ядра

так было лет 10 назад, сейчас уже нихуя

если бы было так как ты написал - мельтдаун/спектр (не помню что из них) абузились бы вообще на изи

@susume_tomorrow , твоя програмка для подсветки но переписана чтоб использовать fscanf вместо fgetc. Выглядит акуратнее, правда?

чего? у конвейера есть функция очистки, а происходит так, как я сказал

спасибо

нет, все предсказания уже лет 10 как происходят динамически на современных процах.
если бы билтин експект явно говорил процу что именно предсказывать, то для спектра не тренировали бы бренч предиктор перед использованием уязвимости, а просто бы абузили билтин експект.

а вот тут не надо, защитой памяти занимается не конвейер и не предиктор

да, но абузится именно предиктор. сначала он тренируется так чтоб он предполагал что он зайдет именно в нужный бранч, потом в какой-то момент даные меняются так чтоб в этот бранч ты не зашел, а в этом бранче произошло чтение недоступной памяти. предиктор предсказывает что ты зайдешь в этот бранч и проц читает левую память -> бросает исключение, но потом оказывается что это предиктор ошибся -> чтения не должно было быть -> исключение бросать не надо, но некоторое время эти данные еще будут в кеше и дальше уже идет абуз как у мельтдауна, если не ошибаюсь

уязвимость завязана на спекулятивном выполнении и предсказывании бранчей

защитой то занимаются не они, но используется то, что если ты что-то не то прочитал, то тебя не мгновенно тыкают в это мордочкой и ты можешь успеть еще что-то сделать

доступ к кешу регулируется так само, как и доступ отображаемой в него страницы памяти

есть предположение*, что уязвимость даёт многопоточное исполнение однопоточной программы, и в конвейер параллельно загружается проверка и то, что после неё

окееей, после того как ты считал защищенное значение, ты считываешь элемент с большого массива, индексом используя считанное защищенное значение. дальше после того как обработалось уже исключение, ты уже поэлементно считываешь свой массив и замеряешь время доступа. у одного элемента оно будет значительно ниже т.к. он уже закеширован - индекс этого элемента и есть твое значение.
конечно в реальности там все еще сложнее, но это базовая схема

ну как бы да

и это потом абузится вот как я описал