Fractal, el kernel de MIT que expone detalles ocultos del chip Apple M1

Cuando se estudian vulnerabilidades como Spectre o Meltdown, una parte decisiva del trabajo no ocurre en aplicaciones visibles para el usuario sino en capas mucho más profundas del procesador. El problema es que esas capas internas son difíciles de observar sin que el propio sistema operativo meta ruido en la medicion. Un equipo de MIT CSAIL intento resolver ese obstaculo construyendo Fractal, un kernel nuevo pensado no para uso cotidiano sino para investigar la microarquitectura de los chips. Según la nota de MIT News y el paper técnico asociado, esa herramienta ya permitió descubrir comportamientos del Apple M1 que trabajos previos no habían visto con claridad.

La idea central de Fractal es tratar al hardware como objeto de estudio. En vez de modificar Linux o macOS de manera ad hoc para correr experimentos muy sensibles, el sistema arranca casi solo sobre la maquina y ofrece un entorno mucho más controlado para comparar qué ocurre cuando el mismo código se ejecuta en distintos niveles de privilegio. El paper lo describe como una plataforma de “microarchitecture reverse engineering”, una forma de aprender como están organizados internamente predictores de saltos, caches y otras estructuras del procesador observando sus efectos. Para eso, el equipo diseño primitivas que permiten alternar entre hilos de usuario y de kernel manteniendo iguales otras variables que suelen contaminar la medicion, como el planificador, las interrupciones o cambios de espacio de direcciones.

La primera demostración fuerte de ese enfoque fue sobre el procesador Apple M1. Los autores usaron Fractal para estudiar los predictores de saltos, mecanismos con los que la CPU intenta adivinar qué instrucciones necesitara ejecutar después para ganar velocidad. Ese tipo de especulación mejora el rendimiento, pero también puede abrir canales laterales de seguridad si un programa logra influir en la ejecución especulativa de otro dominio. Según el trabajo, el M1 sí bloquea una parte importante de esos ataques en la fase de ejecución, pero no aísla por completo la fase de “fetch”: código de usuario todavía puede influir en qué objetivos carga especulativamente el kernel en cache, algo observable por canal lateral. Además, Fractal encontro la primera evidencia de que Apple Silicon presenta una forma limitada de especulación Phantom, una clase de error de predicción mostrada antes en chips de AMD e Intel.

El paper también corrige una conclusión previa sobre otra parte del predictor de saltos del M1. Estudios anteriores habían sugerido que el entrenamiento cruzado entre privilegios afectaba a los núcleos de alto rendimiento pero no a los de eficiencia. Con Fractal, el equipo mostró que esa diferencia probablemente era un artefacto del sistema operativo, que movía hilos entre núcleos durante llamadas al sistema. En su entorno controlado, el predictor condicional no mostró aislamiento por privilegio en ninguno de los dos tipos de núcleo. Ese resultado no implica por sí solo una vulnerabilidad explotable lista para usar, pero sí cambia la comprensión técnica de cómo se comporta el chip bajo condiciones precisas.

La importancia del trabajo está en dos planos. Uno es metodológico: Fractal aparece como una infraestructura reutilizable para estudiar procesadores con menos interferencias, en vez de depender de parches caseros difíciles de replicar. El otro es de seguridad: entender con más precisión donde termina y donde no termina el aislamiento entre procesos y entre usuario y kernel ayuda a evaluar riesgos reales y a diseñar defensas más solidas. MIT aclara que el equipo divulgó sus hallazgos a Apple y que Fractal fue pensado como herramienta abierta para la comunidad.

Conviene, sin embargo, no sobredimensionar el alcance práctico inmediato. El trabajo se presenta como investigación de arquitectura y seguridad en el IEEE Symposium on Security and Privacy 2026, no como un aviso de explotación masiva en equipos de consumo. Encontrar evidencia de un comportamiento microarquitectónico no equivale automáticamente a demostrar un ataque listo para desplegar ni a probar que todos los dispositivos con Apple Silicon sean vulnerables en el mismo grado.