Particle.news
Download on the App Store

AWS Rolls Out Graviton5 CPUs and a Formally Verified Nitro Isolation Engine

A 192‑core Graviton5 and an Isabelle/HOL‑verified separation kernel are meant to cut AI cloud costs by boosting chip efficiency and tightening virtual machine isolation.

Overview

  • AWS has made Graviton5 generally available and put the chip into new EC2 M9g and M9gd instances that target compute and local‑storage workloads.
  • Graviton5 is a 192‑core design built on TSMC 3nm with four chiplets and larger caches and I/O, and AWS says it delivers up to 25% better raw compute versus Graviton4 and around 30–40% better price‑performance overall.
  • The sixth‑generation Nitro System now includes the Nitro Isolation Engine, a narrowly scoped separation kernel written in Rust that deprivileges the Nitro hypervisor and checks every guest‑state operation; AWS reports about 330,000 lines of machine‑checked proofs in Isabelle/HOL for the component.
  • Major enterprise commitments are already in place, including a multibillion‑dollar Meta agreement to deploy tens of millions of Graviton cores plus large deals from Snowflake and deployments at Uber, signaling quick commercial adoption.
  • The combined hardware and formally verified isolation layer strengthens AWS’s in‑house silicon strategy, which could lower cloud costs for AI inference and increase switching costs for large AI customers, putting pressure on rivals to accelerate their custom chip programs.