Power ISA

arquitectura de conjunto de instrucciones de computadora

Power ISA es una arquitectura de conjunto de instrucciones (ISA) reducido (RISC) actualmente desarrollada por la Fundación OpenPOWER, dirigida por IBM. Originalmente fue desarrollado por IBM y el ahora desaparecido grupo industrial Power.org. Power ISA es una evolución de la arquitectura PowerPC, creada por la fusión del núcleo ISA PowerPC ISA y el Libro E opcional para aplicaciones integradas. La fusión de estos dos componentes en 2006 fue liderada por los fundadores de Power.org, IBM y Freescale Semiconductor.

Power ISA
Información
Tipo Microprocesador
Desarrollador Power.org
Fundación OpenPOWER
Fecha de lanzamiento 1990
Datos técnicos
Conjunto de instrucciones 32 bits/64 bits
Microarquitectura IBM POWER RISC
Un diagrama muy esquemático sobre un procesador Power ISA genérico.

Características editar

La ISA se divide en varias categorías que se describen en un determinado Libro. Los procesadores implementan un conjunto de estas categorías según sea necesario para su tarea. Se requieren diferentes clases de procesadores para implementar ciertas categorías, por ejemplo, un procesador de clase de servidor incluye las categorías: Base, Servidor, Coma flotante, 64 bits, etc. Todos los procesadores implementan la categoría Base.

Power ISA es una RISC arquitectura de carga-almacenamiento. Tiene varios conjuntos de registros:

  • 32 registros de propósito general (GPR) de 32 o 64 bits para operaciones de enteros.
  • 64 registros escalares vectoriales (VSR) de 128 bits para operaciones vectoriales y operaciones de coma flotante.
    • 32 registros de coma flotante (FPR) de 64 bits como parte de los VSR para operaciones de coma flotante.
    • 32 registros vectoriales (VR) de 128 bits como parte de los VSR para operaciones vectoriales.
  • 8 campos de registros de condiciones (CR) × 4 bits para comparación y control de flujo.
  • 11 registros especiales de varios tamaños: registro de contador (CTR), registro de enlace (LR), base de tiempo (TBU, TBL), base de tiempo alternativa (ATBU, ATBL), acumulador (ACC), registros de estado (XER, FPSCR, VSCR, SPEFSCR).

Las instrucciones hasta la versión 3.0 tienen una longitud de 32 bits, con la excepción del subconjunto VLE (codificación de longitud variable) que proporciona una densidad de código más alta para aplicaciones integradas de gama baja, y la versión 3.1 que introdujo prefijos para crear instrucciones de 64 bits. La mayoría de las instrucciones son triádicas, es decir, tienen dos operandos de origen y un destino. Se admiten operaciones de coma flotante compatibles con precisión simple y precisión doble IEEE-754, incluidas instrucciones adicionales de multiplicar-sumar (FMA) y coma flotante decimal. Existen provisiones para operaciones instrucción única, datos múltiples (SIMD) en datos enteros y de coma flotante en hasta 16 elementos en una instrucción.

Power ISA tiene soporte para caché Harvard, es decir, cachés de instrucciones y datos divididas y soporte para cachés unificadas. Las operaciones de memoria son estrictamente de carga/almacenamiento, pero permiten la ejecución fuera de orden. También hay soporte para direccionamiento big y little-endian con categorías separadas para endianness por página y modo, y soporte para direccionamiento 32 bits y 64 bits.

Los diferentes modos de operación incluyen usuario, supervisor e hipervisor.

Categorías editar

  • Base: La mayor parte de los Libro I y Libro II
  • Servidor: Libro III-S
  • Embedded: Libro III-E
  • Misc: coma flotante, vector, procesamiento de señales, bloqueo de caché, coma flotante decimal, etc.

Libros editar

La especificación Power ISA se divide en cinco partes, llamadas "libros":

  • Libro I - Arquitectura del conjunto de instrucciones del usuario cubre el conjunto de instrucciones base disponible para el programador de aplicaciones. Referencia de memoria, control de flujo, enteros, coma flotante, aceleración numérica, programación a nivel de aplicación. Incluye capítulos sobre unidades de procesamiento auxiliares como procesadores de señales digitales (DSP) y la extensión AltiVec.
  • Libro II - Arquitectura de entorno virtual define el modelo de almacenamiento disponible para el programador de aplicaciones, incluidos el tiempo, la sincronización, la gestión de caché, las funciones de almacenamiento y el orden de bytes.
  • Libro III - Arquitectura del entorno operativo incluye excepciones, interrupciones, gestión de memoria, funciones de depuración y funciones de control especiales. Se divide en dos partes.
    • Libro III-S: define las instrucciones de supervisor utilizadas para implementaciones de propósito general/servidor. Se trata principalmente del contenido del Libro III del antiguo ISA PowerPC.
    • Libro III-E: define las instrucciones del supervisor utilizadas para las aplicaciones integradas. Se deriva del antiguo PowerPC Libro E.
  • Libro VLE: Arquitectura de instrucción codificada de longitud variable define instrucciones y definiciones alternativas de los libros I–III, destinadas a una mayor densidad de instrucción y aplicaciones de gama muy baja. Utilizan instrucciones de 16 bits y ordenación de bytes big-endian.

Cumplimiento editar

Lo nuevo en la versión 3 de Power ISA es que no tiene que implementar toda la especificación para cumplir. La proliferación de instrucciones y tecnologías ha hecho que la especificación completa sea difícil de manejar, por lo que Foundación OpenPOWER decidió habilitar el cumplimiento por niveles.

Estos niveles incluyen requisitos «opcionales» y «obligatorios». Sin embargo, se recomienda que se proporcione una opción para deshabilitar cualquier función adicional más allá del nivel de subconjunto declarado del diseño.

Un diseño debe cumplir con su nivel de subconjunto declarado para hacer uso de la protección de la Fundación con respecto al uso de propiedad intelectual, ya sea patentes o marcas registradas. Esto se explica en el EULA de OpenPOWER.[1]

Un diseño compatible debe:[2]

  • Admitir la arquitectura Base
  • Y soportar al menos uno de los subconjuntos
    • SFS – Subconjunto escalar de coma fija. 129 instrucciones. Instrucciones básicas de coma fija y carga/almacenamiento, que es realmente la arquitectura "Base".
    • SFFS – Subconjunto escalar de coma fija + coma flotante. 214 instrucciones. Agregar operaciones de coma flotante a la Base.
    • LCS – subconjunto de cumplimiento de Linux. 962 instrucciones. Diseñado para Linux de nivel de servidor, agrega características como 64 bits, SIMD/VSX opcional, Radix MMU, modo little endian y compatibilidad con hipervisor.
    • ACS – Subconjunto de cumplimiento AIX. 1099 instrucciones. Destinado a ejecutar AIX, añadiendo características como coma flotante de precisión cuádruple y decimal, modo big endian y multiprocesamiento simétrico.
  • Puede incluir cualquiera de las funciones de LCS y ACS como Opcional o elegir entre las funciones Siempre opcionales, como matriz matemática y administración de energía.
  • Las funciones opcionales, si se eligen, deben implementarse en su totalidad (no se permite la implementación parcial de una función opcional)
  • Puede incluir extensiones Personalizadas, específicas de la implementación, implementadas en el Architecture Sandbox.

Si la extensión es lo suficientemente general, OpenPOWER Foundation solicita a los implementadores que la envíen como una solicitud de comentarios (RFC) al OpenPOWER ISA Workgroup. Tenga en cuenta que no es estrictamente necesario unirse a la Fundación OpenPOWER para enviar RFC.[3]

  • Mucho de esto puede implementarse en hardware o firmware.

Discrepancia en el cumplimiento de EABI y Linux editar

Las especificaciones de EABI son anteriores al anuncio y la creación de los subconjuntos de Cumplimiento.

Con respecto al subconjunto de cumplimiento de Linux que tiene VSX (SIMD) opcional: en 2003 EABI v1.9 de 64 bits hizo que SIMD fuera opcional,[4]​ pero en julio de 2015, para mejorar el rendimiento de los sistemas IBM POWER9, SIMD se hizo obligatorio en EABI v2.0.[5]​ Esta discrepancia entre que SIMD sea opcional en el nivel de cumplimiento de Linux pero obligatorio en EABI v2.0 no se puede rectificar sin un esfuerzo considerable: la incompatibilidad con versiones anteriores de las distribuciones de Linux no es una opción viable. En la actualidad, esto deja a los nuevos implementadores de OpenPOWER que deseen ejecutar distribuciones Linux estándar teniendo que implementar instrucciones en gran cantidad: 962. Por el contrario, RISC-V RV64GC, el mínimo para ejecutar Linux requiere solo 165.[6]

Especificaciones editar

Power ISA v2.03 editar

La especificación para Power ISA v2.03[7]​ se basa en el antiguo PowerPC ISA v2.02[8]​ del POWER5+ y el Libro E[9]​ de la extensión de la especificación PowerPC. El Libro I incluía cinco nuevos capítulos sobre unidades auxiliares de procesamiento como DSP y la extensión AltiVec.

Núcleos compatibles

Power ISA v2.04 editar

La especificación para Power ISA v2.04[10]​ se finalizó en junio de 2007. Se basa en Power ISA v2.03 e incluye cambios, principalmente en la parte del Libro III-S, con respecto a la virtualización, funciones de hipervisor, particionamiento lógico y manejo de página virtual.

Núcleos compatibles
  • Todos los núcleos que cumplen con las versiones anteriores de Power ISA
  • El núcleo PA6T de P.A. Semi
  • Titan de AMCC

Energía ISA v.2.05 editar

La especificación para Power ISA v2.05[11]​ se publicó en diciembre de 2007. Se basa en Power ISA v.2.04 e incluye cambios principalmente en el "Libro I" y el "Libro III-S", incluidas mejoras significativas como la aritmética decimal (Categoría: Coma flotante decimal en Libro I) y mejoras en el hipervisor del servidor.

Núcleos compatibles
  • Todos los núcleos que cumplen con las versiones anteriores de Power ISA
  • POWER6
  • PowerPC 476

Energía ISA v.2.06 editar

La especificación para Power ISA v2.06[12]​ se lanzó en febrero de 2009 y se revisó en julio de 2010.[13]​ Se basa en Power ISA v2.05 e incluye extensiones para el procesador POWER7 y el núcleo e500-mc. Una nueva característica importante son las instrucciones de coma flotante escalar vectorial (VSX).[14]​ El Book III-E también incluye mejoras significativas para la especificación integrada con respecto al hipervisor y la virtualización en implementaciones de uno o varios núcleos.

La especificación se revisó en noviembre de 2010 con respecto a la especificación Power ISA v2.06 revisión B, mejorando las funciones de virtualización.[13][15]

Núcleos compatibles

POWER ISA v.2.07 editar

La especificación para Power ISA v2.07[16]​ se lanzó en mayo de 2013. Se basa en Power ISA v2.06 e incluye importantes mejoras en funciones de partición lógica, memoria transaccional, monitoreo de rendimiento, nuevas funciones de control de almacenamiento, adiciones a las instalaciones de vector VMX y VSX (VSX-2), junto con AES[16]​< ref>Barbosa, Leonidas (21 de septiembre de 2014). «POWER8 in-core cryptography». IBM. </ref> y Modo de contador de Galois (GCM), extensiones criptográficas SHA-224, SHA-256,[16]​ SHA-384 y SHA-512[16]​ (SHA-2) y algoritmos de comprobación de redundancia cíclica (CRC).[17]

La especificación se revisó en abril de 2015 a la especificación Power ISA v.2.07 B.[18]

Núcleos compatibles
  • Todos los núcleos que cumplen con las versiones anteriores de Power ISA
  • POWER8
  • e6500 núcleo
  • A2O

POWER ISA v3.0 editar

La especificación para Power ISA v3.0[19][20]​ se lanzó en noviembre de 2015. Es el primero en salir después de la creación de la Fundación OpenPOWER e incluye mejoras para un amplio espectro de cargas de trabajo y elimina el servidor y las categorías incrustadas mientras conserva la compatibilidad con versiones anteriores y agrega soporte para Instrucciones VSX-3. Las nuevas funciones incluyen operaciones de coma flotante de precisión cuádruple de 128 bits, un generador de números aleatorios, recolección de basura asistida por hardware y computación confiable aplicada por hardware.

La especificación se revisó en marzo de 2017 con respecto al Power ISA v3.0 B.[21]​ y revisado nuevamente a v3.0C en mayo de 2020.[22]​ La diferencia clave entre v3.0B y v3.0C es que los niveles de cumplimiento enumerados en v3.1 también se agregaron a v3.0C.

Núcleos compatibles

Energía ISA v3.1 editar

La especificación para Power ISA v3.1[24]​ se lanzó en mayo de 2020. Principalmente brinda soporte para las nuevas funciones introducidas en Power10, pero también incluye la noción de opcionalidad para la especificación PowerISA. Las instrucciones ahora pueden tener ocho bytes de largo, «instrucciones prefijadas», en comparación con las habituales «instrucciones de palabras» de cuatro bytes. También se agregan muchas funciones nuevas a las instrucciones SIMD y VSX.

Un beneficio clave de las nuevas instrucciones prefijadas de 64 bits es la extensión de las instrucciones inmediatas en las ramas a 34 bits.

Núcleos compatibles
  • Todos los núcleos que cumplen con las versiones anteriores de Power ISA
  • Power10[25]

Véase también editar

Referencias editar

  1. Final draft of Power ISA EULA
  2. Open Power ISA: Cumplimiento de la arquitectura y fundamentos futuros
  3. Sección 2.2 de OPF Power ISA CLUF
  4. html ELF PP64 ABI
  5. OpenPOWER EABI v2
  6. Page 18 RISC-V "green card"
  7. «Power ISA v.2.03». Power.org. 29 de septiembre de 2006. Archivado desde el original el 24 de noviembre de 2012. Consultado el 20 de octubre de 2010. 
  8. «PowerPC Architecture Book, Version 2.02». IBM. 24 de febrero de 2005. Archivado desde el original el 18 de octubre de 2007. Consultado el 16 de marzo de 2007. 
  9. «PowerPC Book E v.1.0». IBM. 7 de mayo de 2002. Consultado el 16 de marzo de 2007. 
  10. «Power ISA Version 2.04». Power.org. 12 de junio de 2007. Archivado desde el original el 27 de septiembre de 2007. Consultado el 14 de junio de 2007. 
  11. «Power ISA Version 2.05». Power.org. 23 de octubre de 2007. Archivado desde el original el 24 de noviembre de 2012. Consultado el 18 de diciembre de 2007. 
  12. «Power.org Debuts Specification Advances and New Services At Power Architecture Developer Conference». Power.org. 24 de septiembre de 2007. Archivado desde el original el 12 de octubre de 2007. Consultado el 24 de septiembre de 2007. 
  13. a b «Power ISA Version 2.06 Revision B». Power.org. 23 de julio de 2010. Archivado desde el original el 24 de noviembre de 2012. Consultado el 12 de febrero de 2011. 
  14. «Workload acceleration with the IBM POWER vector-scalar architecture». IBM. 1 de marzo de 2016. Consultado el 2 de mayo de 2017. 
  15. «Power ISA 2.06 Rev. B enables full hardware virtualization for embedded space». EETimes. 3 de noviembre de 2010. Consultado el 8 de junio de 2011. 
  16. a b c d Power.org, ed. (15 de mayo de 2013). «Power ISA Versión 2.07». Consultado el 23 de mayo de 2015. 
  17. Performance Optimization and Tuning Techniques for IBM Power Systems Processors Including IBM POWER8. IBM. August 2015. p. 48. ISBN 9780738440927. 
  18. Power.org, ed. (9 de abril de 2015). «Power ISA Versión 2.07 B». Consultado el 6 de enero de 2017. 
  19. Announcing a New Era of Openness with Power 3.0
  20. «Power ISA Version 3.0». openpowerfoundation.org. 30 de noviembre de 2016. Consultado el 6 de enero de 2017. 
  21. Power.org, ed. (27 de marzo de 2017). «Power ISA Versión 3.0 B». Consultado el 11 de agosto de 2019. 
  22. lista de especificaciones de Power ISA
  23. [PARCHE, COMPROMETIDO] Agregar soporte completo de Power ISA 3.0/POWER9 binutils
  24. «Power ISA Versión 3.1». openpowerfoundation.org. 1 de mayo de 2020. Consultado el 23 de mayo de 2020. 
  25. Seo, Carlos Eduardo (12 de mayo de 2020). twitter.com, ed. «Lanzamos la arquitectura del conjunto de instrucciones para POWER10. Power ISA v3.1 está disponible en IBM Portal for OpenPOWER.». Consultado el 23 de mayo de 2020. 

Enlaces externos editar