ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
25 апреля
1003848 Топик полностью
LightElf (11.05.2020 21:17, просмотров: 264) ответил =AlexD= на Ну так в нативном режиме Эльбрус - та же виртуалка считай, только в железе и быстрая. Там аппаратно поддерживается контроль памяти на уровне элементарных типов данных и контроль типов по указателю. Этакий Microsoft CL в железе. 2 GHz и до 60 элементарных микроинструкций за такт - это круто ящетаю.
Виртуалка, да не совсем. Бо на самом железе вертится линух затертой версии. А линух - это монолитное ядро, весьма объемное на предмет проверки на отсутствие косяков и закладок. И к нему еще три тонны всякого привилегированного юзерспейса. Микроядро L4, напротив, весьма компактное, его можно верифицировать (и вроде бы даже есть форк с доказанной корректностью). А драйвера там непривилегированные и имеют доступ строго только к своему железу. 
Не надо делать мне как лучше, оставьте мне как хорошо