Amazon Web Services (AWS) ha anunciado la disponibilidad general de su procesador Graviton5, que impulsa dos nuevas instancias de Amazon EC2: M9g, orientada a cargas de trabajo generales, y M9gd, diseñada para aplicaciones que demandan almacenamiento local de alta velocidad. Estas son las primeras instancias Graviton5 desde la presentación previa de estos chips en re:Invent 2025.
El nuevo procesador duplica el número de núcleos respecto a su predecesor, pasando de 96 en Graviton4 a 192 núcleos en Graviton5. Según AWS, las nuevas instancias alcanzan hasta un 25% más de rendimiento computacional en comparación con la generación anterior.
Además de esta mejora en potencia, las instancias Graviton5 funcionan con el Sistema Nitro de sexta generación, que incorpora una novedad relevante: el Nitro Isolation Engine (NIE). Se trata de un componente de seguridad formalmente verificado que actúa como un kernel de separación, dedicado exclusivamente a aislar las máquinas virtuales entre sí, reforzando la seguridad en la nube. 
Un kernel dedicado a la seguridad y aislamiento
El concepto de separation kernel o kernel de separación no es nuevo; fue introducido por John Rushby en 1981 para crear núcleos pequeños y simples que pudieran ser formalmente verificados, a diferencia de los kernels convencionales, mucho más complejos y difíciles de certificar. AWS ha aplicado esta idea al diseñar el Nitro Isolation Engine, que reduce a un componente mínimo y especializado la lógica crítica de aislamiento, haciéndolo auditable y verificable.
Mientras que el hipervisor Nitro tradicional gestiona políticas como creación, asignación de recursos y migración de máquinas virtuales, la ejecución de todo lo que afecta al estado de las máquinas invitadas es delegada al NIE, quien verifica rigurosamente cada solicitud antes de actuar.
Dominic Mulligan y Nathan Chong de AWS explican que «destilar la lógica de aislamiento crítica del hipervisor en este componente mínimo permite una verificación formal y una auditoría sin precedentes», además de señalar que el NIE está programado en Rust, un lenguaje más propicio para la verificación formal.
Un progreso fundamentado en la investigación y la tecnología formal
Aunque existen proyectos previos relevantes, como SeKVM de la Universidad de Columbia, el NIE es el primer sistema de aislamiento formalmente verificado que opera en producción en la nube comercial en hardware real. AWS comenzó con una base en seL4, otro kernel verificado, y ha utilizado la herramienta Isabelle/HOL para llevar a cabo pruebas formales con 330.000 líneas de matemáticas verificadas por máquina, lo que garantiza la corrección del kernel.
Este rigor dota a los usuarios de AWS de una confianza inigualable sobre el aislamiento de sus máquinas virtuales, aportando pruebas matemáticas que certifiquen que las instancias están completamente separadas, un aspecto crucial para la seguridad en entornos multiinquilino.
Innovación en diseño y potencia
En cuanto al diseño, Graviton5 introduce cambios importantes respecto a Graviton4. Mientras que este último usa un solo chiplet con 96 núcleos y controladores PCIe y DDR separados, Graviton5 implementa 192 núcleos repartidos en cuatro chiplets, cada uno con sus propios controladores, lo que acerca los controladores de memoria a los núcleos y mejora la eficiencia.
Esta arquitectura, combinada con memorias más rápidas, permite que aplicaciones web y procesos de inferencia en aprendizaje automático funcionen hasta un 35% más rápido que en la generación anterior.
Graviton5 y el auge de la inteligencia artificial agente
AWS presenta a Graviton5 como un procesador especialmente diseñado para la inteligencia artificial agente, una tecnología que está ganando fuerza en el sector. Grandes empresas como Meta y Snowflake han apostado fuerte por esta plataforma: Meta firmó un acuerdo multimillonario para desplegar millones de núcleos Graviton en sus sistemas de IA agente, mientras que Snowflake comprometió 6.000 millones de dólares en cinco años para acelerar su adopción.
Otros clientes destacados como Uber también están incorporando estos procesadores para gestionar cargas de trabajo de IA avanzadas. Según AWS, más de 120.000 clientes ya utilizan Graviton y por tercer año consecutivo, más de la mitad de la nueva capacidad CPU en AWS corresponde a esta tecnología.
Ventaja estratégica frente a competidores
Este avance posiciona a AWS como líder en procesadores ARM para la nube, adelantándose a competidores como Microsoft, que todavía tiene su chip Cobalt 200 en fase preliminar, Google, que ha lanzado Axion a principios de año, y Nvidia, que espera presentar Vera en la segunda mitad del año.
Con la combinación de un procesador altamente eficiente y un aislamiento matemáticamente garantizado, AWS refuerza su apuesta por la seguridad y el rendimiento para la próxima generación de aplicaciones en la nube.
