The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Микроядро seL4 математически верифицировано для архитектуры ..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Ссылки "<<" и ">>" открывают первые и последние 10 сообщений.
. "Микроядро seL4 математически верифицировано для архитектуры ..." +/
Сообщение от Аноним (141), 11-Июн-20, 14:25 
> Нет. У PDP-11 пачка омских режимов адресации, RISC всегда load/store.

load/store - это вторичный половой признак. Он является следствием, а не причиной и по этому не может считаться в отрыве от других признаков.

На то что является первичным, позволю себе сослаться на автора понятия RISC Джона Кока [1]:

This was the key realization: Imposing microcode between a computer and its users imposes an  expensive  overhead in performing the most frequently executed instructions. Thus, a key task in  designing the experimental machine was to investigate the consequences of exposing a microcomputer directly to the end user. In many  cases, a microcomputer limited to instructions executable in one cycle would execute a macro-instruction  in about  as many  cycles as a System/370 Model 168 executing the equivalent instruction. The great potential  was that  simple  instructions would run substantially faster for the same circuit family and cycle time because the overhead of executing a CISC (Complex Instruction-Set Computer) interpreter was pared away.

Он однозначно говорит что RISC получился из CISC удалением микрокода и его интерпретатора. Ортогональность, load/store и прочее - только следствия.

[1] The evolution of RISC technology at IBM: https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5389855

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Микроядро seL4 математически верифицировано для архитектуры ..., opennews, 10-Июн-20, 12:28  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру