Policy-Centric Processor: Architecture Specification

Настоящий документ описывает архитектуру Policy-Centric Processor (PCP): модель процессора, в которой доступ к памяти регулируется явной политикой, а не рассматривается как безусловное следствие адресации. Спецификация охватывает:

• архитектурные примитивы, необходимые для того, чтобы политика выступала первичным ограничением доступа к памяти (идентичности, правила, точки контроля и ограничения наблюдаемости);

• модель исполнения без спекуляции, в которой предсказание управления потоком допускается лишь постольку, поскольку оно не вызывает побочных эффектов на стороне памяти;

• модель ядра с массовой многопоточностью (fine-grain multithreading) как основной механизм скрытия задержек вместо спекулятивного доступа к памяти;

• минимальные интерфейсы между вычислительным ядром и подсистемой контроля политики ( Memory Protector ), необходимые для детерминированного и обеспечиваемого контроля доступа;

• границу совместимости между архитектурой процессора и системным программным обеспечением: что должно гарантироваться архитектурой и что делегируется операционной системе/среде выполнения.

Спецификация PCP намеренно оформлена как архитектурная спецификация, а не как работа по производительности. Там, где рассматривается производительность, она трактуется как производное следствие модели (например, предсказуемость, контроль вариативности и пропускная способность при конкуренции), а не как основная цель.