Policy-Centric Processor: Architecture Specification

Este documento especifica la arquitectura del Policy-Centric Processor (PCP): un modelo de procesador en el que el acceso a memoria está gobernado por una política explícita en lugar de tratarse como una consecuencia incondicional del direccionamiento. La especificación cubre:

• los primitivos arquitectónicos necesarios para que la política sea una restricción de primer orden sobre el acceso a memoria (identidades, reglas, puntos de control y restricciones de observabilidad);

• un modelo de ejecución no especulativo en el que la predicción del flujo de control se permite únicamente en la medida en que no produzca efectos secundarios sobre la memoria;

• un modelo de núcleo altamente multihilo (fine-grain multithreading) como mecanismo principal de tolerancia a la latencia en lugar del acceso especulativo a memoria;

• las interfaces mínimas entre el núcleo de cómputo y el subsistema de aplicación de políticas ( Memory Protector ) necesarias para un control de acceso determinista y exigible;

• el límite de compatibilidad entre la arquitectura del procesador y el software de sistema: qué debe ser garantizado por la arquitectura y qué se delega al sistema operativo/entorno de ejecución.

La especificación PCP está redactada intencionadamente como una especificación arquitectónica y no como un documento centrado en el rendimiento. Allí donde se trata el rendimiento, este se considera una consecuencia derivada del modelo (por ejemplo, previsibilidad, control de la variabilidad y rendimiento bajo concurrencia), y no el objetivo principal.