Los unikernels eran difíciles, pero eso ya cambió

Justin Cormack, que trabajó en MirageOS y Unikernel Systems, ha notado que la gente está redescubriendo los unikernels. Organiza una serie de conversaciones sobre el tema para su boletín, y el autor de esta historia fue el primero en participar. Hablaron de Mirage, Orleans, Haskell, Nix y Cursed, entre otros temas.

Un unikernel es la idea de que tu aplicación es el sistema operativo, sin userland. Si quieres un servidor web o enviar un correo, debes escribir esas funciones como bibliotecas dentro de tu aplicación. En 2015, cuando el autor los conoció, eso era la fricción: había pocas herramientas de almacenamiento y fue difícil. Justin recuerda que sacaban controladores de NetBSD para poder usarlos. La industria repite que Nix, Bazel y los unikernels son difíciles, pero ahora esos conceptos están en los pesos de los modelos de IA: solo hay que pedirlos.

El autor considera que depender de un sistema operativo multiusuario es deuda de diseño, porque existe desde hace cuarenta años por un operador humano. Además, las aplicaciones son atacadas: alguien obtiene una shell y la usa para robar datos. Con un unikernel, la superficie de ataque es mucho menor. Justin matizó que reducirla es complicado, porque casi todo Linux tiene un intérprete. Aun así, si no hay shell ni intérprete, los modelos no saben qué hacer después.

La objeción clásica es que tu unikernel necesita hablar con Stripe y OCaml no tiene esa biblioteca. Antes se escribía a mano; ahora un agente puede portar la de Go a OCaml. Justin hizo algo parecido: con un agente escribió mkfs.xfs en Rust, con salida idéntica, en unas horas. El autor construyó Spaceleans, Microsoft Orleans portado a OCaml como unikernel, en una semana. Para él, eso refuta que los unikernels sean difíciles, y recomienda considerarlos si se busca seguridad.