Исходное сообщение
"Microsoft открыл CHERIoT, аппаратное решение для повышения б..." Отправлено Аноним, 01-Мрт-23 20:03
> Именно чтобы не писать на раст. И это правильно. Если посмотреть на CVEшки хрустиков можно столько нового и интересного узнать о том от чего он "защищает". Да, там есть обращения к освобожденной памяти, выходы за границы, integer overflow...  в общем полный джентльменский набор. В этом смысле железо могло бы подыграть. Например, проверки integer overflow в обычных архитектурах не халявны - требуеют добавочных команд для проверки carry. А если б это не требовалось и вместо этого настраиваемый эксепшн при таком событии был - это бы и быстро было и ловило бы потенциально проблемный/незапланированный эвент. Да, именно заставить прогера явно декларить что он хочет врап int-математики, если ему реально оно надо - иначе исключение в репу. С границами буферов та же история. Как ни крути а есть ситуации когда оно динамически выдяляемое, заранее неизвестное и проч. В этом случае вариантов немного - или проверять границы, что тоже не халявно, или вот железо могло бы знать от каких до каких мы считаем валидным, а за пределы этого - эксепшн. В принципе так MMU может но он не для этого и не опериует юнитами менее страницы, так что подобные вещи начинают RAM трескать если например это много мелких буферов было.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Именно чтобы не писать на раст. И это правильно. > Если посмотреть на CVEшки хрустиков можно столько нового и интересного узнать о > том от чего он "защищает". Да, там есть обращения к освобожденной > памяти, выходы за границы, integer overflow... в общем полный джентльменский > набор. > В этом смысле железо могло бы подыграть. Например, проверки integer overflow в > обычных архитектурах не халявны - требуеют добавочных команд для проверки carry. > А если б это не требовалось и вместо этого настраиваемый эксепшн > при таком событии был - это бы и быстро было и > ловило бы потенциально проблемный/незапланированный эвент. Да, именно заставить прогера > явно декларить что он хочет врап int-математики, если ему реально оно > надо - иначе исключение в репу. > С границами буферов та же история. Как ни крути а есть ситуации > когда оно динамически выдяляемое, заранее неизвестное и проч. В этом случае > вариантов немного - или проверять границы, что тоже не халявно, или > вот железо могло бы знать от каких до каких мы считаем > валидным, а за пределы этого - эксепшн. В принципе так MMU > может но он не для этого и не опериует юнитами менее > страницы, так что подобные вещи начинают RAM трескать если например это > много мелких буферов было.
	Введите код, изображенный на картинке: