Anil Madhavapeddy, tras participar en un tutorial de OxCaml, ha implementado un nuevo servidor web llamado httpz, enfocado en maximizar el rendimiento dentro del ecosistema OCaml. El objetivo principal de httpz es servir como infraestructura de alto rendimiento para sistemas de computación planetaria, especialmente para gestionar grandes volúmenes de incrustaciones TESSERA.
La motivación detrás de esta implementación radica en las extensiones de rendimiento que ofrece OxCaml para programas orientados a sistemas, manteniendo al mismo tiempo el estilo funcional de OCaml. Madhavapeddy expresó su deseo de migrar de scripts Python a un entorno con mayor seguridad de tipos y modularidad, como el que ofrece OCaml.
httpz se especializa en el análisis de HTTP/1.1 y busca una asignación mínima del heap mediante el uso de tipos desempaquetados (unboxed types) y asignaciones locales de OxCaml. Esto significa que el ciclo de vida completo de una conexión HTTP puede residir en la pila de llamadas, lo que resulta en una actividad casi nula del recolector de basura bajo carga constante.
Para lograr esta eficiencia, el desarrollador se centró en la representación de tipos, contrastando las estructuras tradicionales de Cstruct con las nuevas estructuras desempaquetadas de OxCaml, definidas con la sintaxis #{}. En lugar de usar Bigarrays, httpz opera sobre estructuras `bytes` y utiliza enteros de 16 bits desempaquetados para gestionar posiciones y longitudes dentro de un búfer de entrada de 32 KB.
El análisis del código intermedio lambda y el código ensamblador nativo compilado con optimización O3 confirmó la ausencia de empaquetamiento y asignaciones de heap. Las instrucciones de ensamblador, como `sbfm`, demostraron que se mantienen las semánticas de 16 bits sin incurrir en sobrecarga de memoria.
Madhavapeddy agradeció a varios miembros del equipo de herramientas y compiladores de Jane Street, incluyendo a Chris Casinghino y Yaron Minsky, por su asistencia durante el desarrollo inicial. Este trabajo demuestra cómo las extensiones de bajo nivel de OxCaml pueden traducirse directamente en ganancias significativas de eficiencia para servicios de red críticos.
La especialización actual se limita al encabezado HTTP/1.1, dejando el manejo del cuerpo de la solicitud para futuras iteraciones. La capacidad de escribir código sin la "sopa de callbacks" tradicional, combinada con efectos de estilo directo, posiciona a httpz como un avance en la programación de servidores de alto rendimiento en OCaml.
