Extensiones del Conjunto de Instrucciones

Las extensiones del conjunto de instrucciones añaden nuevas instrucciones a una arquitectura base — para matemáticas vectoriales y SIMD, criptografía, operaciones atómicas u otros trabajos especializados — ampliando la capacidad mientras se preserva la compatibilidad con el software existente.

Definition

Una extensión del conjunto de instrucciones es un conjunto de instrucciones adicionales superpuestas a una arquitectura de conjunto de instrucciones base para proporcionar nueva funcionalidad — comúnmente operaciones de paralelismo de datos, criptográficas o atómicas — mientras se mantienen intactas las instrucciones existentes y la compatibilidad binaria.

Scope

Este tema cubre cómo los conjuntos de instrucciones crecen con el tiempo a través de extensiones opcionales u obligatorias: extensiones SIMD y vectoriales para paralelismo de datos, instrucciones criptográficas y de manipulación de bits, primitivas atómicas y de sincronización, y el modelo de extensión modular de las ISA como RISC-V. Trata los objetivos y las limitaciones de extender una ISA sin romper la compatibilidad. Excluye el hardware paralelo subyacente que ejecuta estas instrucciones (procesadores SIMD y vectoriales) y el esquema de codificación base (formatos de instrucción y codificación).

Core questions

• ¿Por qué se extienden los conjuntos de instrucciones en lugar de rediseñarlos?
• ¿Cómo se ajustan las extensiones en un espacio de codificación fijo sin romper el código existente?
• ¿Qué tipos de operaciones justifican comúnmente extensiones dedicadas?
• ¿Cómo permite un modelo de extensión modular que las implementaciones incluyan solo las características que necesitan?

Key concepts

• extensiones SIMD
• extensiones vectoriales
• instrucciones criptográficas
• instrucciones atómicas y de sincronización
• extensiones modulares y opcionales
• compatibilidad con versiones anteriores
• gestión del espacio de códigos de operación

Mechanisms

Las extensiones reclaman espacio de código de operación previamente no utilizado y definen nuevas instrucciones, registros o estados. El software detecta las extensiones disponibles en tiempo de ejecución (por ejemplo, a través de indicadores de características) y se dirige a rutas de código optimizadas. Las extensiones SIMD y vectoriales añaden registros anchos y operaciones que aplican una instrucción a muchos elementos de datos; las ISA modulares como RISC-V estandarizan una base pequeña y un menú de extensiones opcionales que los implementadores componen.

Clinical relevance

Las extensiones son la forma en que los conjuntos de instrucciones se mantienen al día con las nuevas cargas de trabajo sin abandonar sus ecosistemas de software. Las familias SIMD como x86 SSE/AVX y ARM NEON aceleran los núcleos multimedia, científicos y de aprendizaje automático; las extensiones criptográficas aceleran el cifrado; y las extensiones modulares permiten que una única ISA escale desde pequeños microcontroladores hasta supercomputadoras.

History

Las extensiones SIMD entraron en los CPU principales a finales de la década de 1990 con MMX y SSE de Intel y, posteriormente, AVX, y NEON de ARM. Le siguieron extensiones especializadas para criptografía y, más recientemente, aprendizaje automático. La ISA RISC-V, diseñada desde el principio en torno a una base mínima más extensiones opcionales estandarizadas, hizo explícito y central el modelo de extensión modular.

Key figures

• John L. Hennessy
• David A. Patterson
• Krste Asanović

Seminal works

• hennessy2019
• patterson2020

Frequently asked questions

¿Cómo utilizan los programas una extensión que no todos los procesadores tienen?

El software detecta en tiempo de ejecución qué extensiones soporta el procesador, generalmente consultando indicadores de características, y selecciona una ruta de código optimizada cuando la extensión está presente o recurre a instrucciones base en caso contrario, preservando la corrección en todo el hardware.

¿Qué significa que RISC-V sea modular?

RISC-V define un pequeño conjunto de instrucciones de enteros base obligatorio más un conjunto de extensiones opcionales estandarizadas (para multiplicación, atómicas, punto flotante, vectores y más). Una implementación incluye solo las extensiones que necesita, por lo que la misma ISA abarca desde pequeños núcleos embebidos hasta procesadores de alto rendimiento.