caxapa.ru :: Ну как... Юзерский код полез "нитуда". Какая разница, спекулятивно или нет? Физический доступ кода юзера к защищённой памяти состоялся. А мы об этом узнаём только когда нас выкинет на предсказанную ветку.

mse homjak (07.01.2018 16:30, просмотров: 463) ответил LightElf на MMU как раз работает абсолютно правильно - исключение происходит именно в момент, когда юзерский код "лезет куды нельзя". А когда "куды нельзя" лезет не юзерский код, а "спекулятивный исполнитель на пару с предсказателем", то с чего исключение-то?

Ну как... Юзерский код полез "нитуда". Какая разница, спекулятивно или нет? Физический доступ кода юзера к защищённой памяти состоялся. А мы об этом узнаём только когда нас выкинет на предсказанную ветку.

Ответить

- Юзерский код никуда не полез. Это проц ошибся, взяв не те значения что определяет код а те что ему померещились. Потому исключения на спекулятивном исполнении быть не может. - ASDFS(07.01.2018 16:42)
  - Отнюдь(С) Именно в этом смысл. Проц честно выполняет предсказаную ветку ветвления, но проверка на право доступа выполняется, только когда спекулятивный доступ стал реальным. Но это уже не важно, т.к. "запрещёные" данные уже считаны и лежат ьв кэше. - mse homjak(08.01.2018 10:10)
    - А я так и сказал. Фишка не в том, чтобы принести посылку, но дяде Фёдору не отдавать, а в том, чтобы за ней и не ходить. Экономится и время шины, и дыра закрыта сразу. Как я понимаю, про исключение сказано сильно не подумавши (это получается Николай Коровин(608 знак., 09.01.2018 19:45)

Средства и методы разработки