Индекс форумов |
Исходное сообщение |
---|
"Микроядро seL4 математически верифицировано для архитектуры ..." Отправлено Cradle, 10-Июн-20 20:39 |
нет, это как раз ошибка. Вся разница в том кто решает как правильно загружать конвеер и кэши - в risc этим преимущественно занимается компилятор, в cisc внутренняя логика со всеми своими branch prediction, в экстремальной vliw только компилятор. Поэтому собственно risc начались с mips архитектуры, хотя например pdp-11 по системе комманд тоже к ним относят. |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |