Formatos y Codificación de Instrucciones

Los formatos de instrucción definen cómo se organiza cada instrucción de máquina en binario —el código de operación, los campos de registro y los valores inmediatos—, lo que determina la compacidad con la que se almacenan los programas y la facilidad con la que el hardware puede decodificarlos.

Definition

Un formato de instrucción es la disposición definida de los campos de bits dentro de una instrucción de máquina que codifica su operación y operandos, y la codificación de instrucción es el esquema que mapea las instrucciones a estos patrones binarios.

Scope

Este tema abarca la representación binaria de las instrucciones: las codificaciones de longitud fija frente a las de longitud variable, los campos que especifican la operación, los registros de origen y destino, y los valores inmediatos, así como la relación de compromiso entre la densidad del código y la simplicidad de la decodificación. Incluye familias de formatos representativas como los tipos R/I/S/B/U/J de RISC-V. Excluye la elección de los modos de direccionamiento que utilizan los operandos (modos de direccionamiento) y la filosofía más amplia RISC/CISC (RISC y CISC).

Core questions

• ¿Qué campos debe contener una codificación de instrucción para especificar una operación y sus operandos?
• ¿Cómo intercambian las codificaciones de longitud fija y variable la simplicidad de decodificación por la densidad del código?
• ¿Cómo se codifican los valores inmediatos y las constantes grandes dentro de un número limitado de bits de instrucción?
• ¿Cómo simplifica una codificación regular la decodificación de instrucciones en pipeline?

Key concepts

• campo de código de operación
• campos especificadores de registro
• campos inmediatos
• codificación de longitud fija vs. longitud variable
• densidad de código
• regularidad de decodificación
• familias de formatos de instrucción (R/I/S/B/U/J)

Mechanisms

Cada instrucción se divide en campos de bits: un código de operación selecciona la operación, los campos de registro nombran los operandos y los campos inmediatos contienen constantes o desplazamientos de dirección. Los formatos de longitud fija (como en RISC-V) mantienen todas las instrucciones con el mismo ancho y colocan los campos de manera consistente para que la decodificación sea simple y rápida; los formatos de longitud variable (como en x86) empaquetan las instrucciones de forma compacta para lograr densidad a costa de una decodificación más compleja.

Clinical relevance

Las elecciones de codificación repercuten en un procesador: los formatos regulares de longitud fija permiten decodificadores simples y rápidos que hacen práctico el pipelining profundo, mientras que los formatos densos de longitud variable reducen el tráfico de la memoria de instrucciones. Los compiladores y ensambladores deben apuntar a estos formatos con precisión, y las extensiones del conjunto de instrucciones deben encajar dentro del espacio de codificación existente.

History

Los primeros conjuntos de instrucciones utilizaban codificaciones irregulares y ajustadas manualmente para ahorrar la escasa memoria. El movimiento RISC de la década de 1980 favoreció los formatos uniformes de longitud fija para optimizar la decodificación y el pipelining, mientras que los conjuntos CISC como x86 conservaron las codificaciones densas de longitud variable. Las ISA abiertas modernas como RISC-V codifican familias de formatos limpias y extensibles.

Key figures

• David A. Patterson
• John L. Hennessy

Seminal works

• patterson2020
• hennessy2019

Frequently asked questions

¿Por qué los conjuntos de instrucciones RISC utilizan codificaciones de longitud fija?

Las instrucciones de longitud fija permiten que el procesador localice la siguiente instrucción y extraiga sus campos sin decodificar primero la longitud, lo que simplifica y acelera las etapas de búsqueda y decodificación y facilita mucho el pipelining profundo en comparación con las codificaciones de longitud variable.

¿Cómo se manejan las constantes grandes si las instrucciones solo tienen un número fijo de bits de ancho?

Los campos inmediatos son limitados, por lo que las constantes grandes se construyen en partes —por ejemplo, una instrucción de carga de inmediato superior establece los bits altos y una instrucción subsiguiente añade los bits bajos— o la constante se coloca en la memoria y se carga.