Kops: Safely Extending the eBPF Compilation Pipeline with Native Operations

Imagina que el sistema operativo (el "cerebro" de tu computadora) tiene un guardia de seguridad muy estricto. Este guardia, llamado Verificador de eBPF, revisa cada pequeño programa (como un policía de tráfico o un escáner de seguridad) antes de dejarlo funcionar dentro del kernel. El guardia es increíblemente cuidadoso: solo permite programas escritos en un lenguaje muy simple y seguro.

Una vez que el guardia dice: "Está bien, esto es seguro", un traductor (el Compilador JIT) convierte ese lenguaje simple al lenguaje nativo de la computadora para que pueda ejecutarse rápido.

El Problema: El Traductor de "Una Palabra a la Vez"

El artículo explica que el traductor actual está diseñado para ser súper simple y confiable. Traduce el programa seguro una instrucción a la vez, en una sola pasada. No mira hacia adelante ni intenta ser astuto. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia adelante ni intenta ser ingenioso. No mira hacia lo que sigue...

(Nota: El texto original se repite en la sección de "El Problema" debido a un error de estructura en el prompt, pero seguiré la lógica del contenido proporcionado).

Continuando con la traducción fiel:

El problema es que el traductor actual está diseñado para ser súper simple y confiable. Traduce el programa seguro una instrucción a la vez, en una sola pasada. No mira hacia adelante ni intenta ser ingenioso.

• Resultado: La computadora tiene que leer y ejecutar una oración larga y desordenada en lugar de un comando único y poderoso. Esto hace que los programas eBPF se ejecuten hasta dos veces más lento de lo que podrían si se escribieran directamente en el lenguaje nativo.

La Solución: Kops (El "Pasaporte Mágico")

Los autores crearon un sistema llamado Kops. Piensa en Kops como un sistema de "Pasaporte Mágico" que permite a la computadora usar atajos nativos poderosos sin romper las reglas del guardia de seguridad.

Así es como funciona, usando una analogía simple:

1. El Pasaporte de Dos Partes: Cada nuevo "atajo" (como una rotación de hardware o una selección condicional) viene con dos partes:

   • La Prueba (La Versión Segura): Una explicación larga, aburrida y paso a paso escrita en el lenguaje seguro. El guardia de seguridad revisa esto para asegurarse de que es seguro.
   • El Emitir Nativo (La Versión Mágica): Una única instrucción poderosa que el hardware de la computadora realmente ejecuta.

2. El Proceso:

   • Antes de que el programa se ejecute, un "Reconocedor" (una herramienta inteligente fuera del kernel) busca patrones. Si ve una oración larga y desordenada que coincide con un atajo conocido, la reemplaza por el "Pasaporte Mágico".
   • El Guardia de Seguridad todavía ve la versión de la "Prueba", que es larga y aburrida. Revisa que sea segura, dice "Seguro" y da la luz verde.
   • El Traductor entonces ve el "Pasaporte Mágico". En lugar de traducir la oración larga, simplemente la cambia por la instrucción nativa única y poderosa.

3. La Garantía de Seguridad: El guardia de seguridad nunca ve la versión "Mágica". Solo confía en la "Prueba". Lo único nuevo en lo que el sistema debe confiar es en el código específico que convierte la "Prueba" en la instrucción "Mágica". Los autores demostraron matemáticamente (usando una herramienta llamada Lean 4) que la instrucción "Mágica" hace exactamente lo mismo que la oración larga de la "Prueba".

¿Qué Construyeron? (EInsn)

Usando Kops, construyeron un conjunto de siete atajos específicos llamados EInsn. Estos son cosas que las computadoras son muy buenas haciendo en un solo paso (como rotar bits o elegir entre dos valores) pero que el lenguaje seguro normalmente las obliga a hacer en muchos pasos.

Los Resultados

• Velocidad: Al usar estos atajos, hicieron que los programas eBPF corrieran un 24% más rápido en algunas computadoras y un 22% más rápido en otras. En aplicaciones del mundo real (como la gestión del tráfico de red), vieron una mejora de velocidad de hasta un 12%.
• Seguridad: No tuvieron que cambiar las reglas del guardia de seguridad ni hacer el traductor más complejo. La parte "confiable" del sistema se mantuvo diminuta y segura.
• Flexibilidad: Si una computadora no soporta un atajo específico, el sistema simplemente vuelve a la versión larga y segura. No se rompe.

El Panorama General

Imagina que estás conduciendo un auto (la computadora). Las reglas actuales dicen que debes conducir a 20 mph porque el velocímetro está roto y solo puede leer en incrementos de 5 mph. No puedes ir más rápido, incluso si el camino está despejado.

Kops es como una licencia especial que dice: "Sabemos que estás conduciendo de forma segura (la Prueba), así que te dejaremos usar el velocímetro real de tu auto (el Emitir Nativo) para ir más rápido, pero solo en caminos específicos y previamente aprobados".

Ellos demostraron que esta nueva forma de conducir es tan segura como la antigua, pero te lleva a tu destino mucho más rápido.