研究人员Anil Madhavapeddy近日宣布，他已使用OCaml的扩展语言OxCaml开发了一个名为httpz的高性能HTTP/1.1服务器解析器，旨在消除绝大多数的堆内存分配。Madhavapeddy此举是为了将其应用于其行星计算（Planetary Computing）基础设施，以高效管理海量的TESSERA嵌入数据，并借此机会替代他长期维护的Python脚本。
httpz的核心目标是实现零或极少量的堆分配，这主要依赖于OxCaml提供的无装箱类型（Unboxed Types）和局部分配能力。Madhavapeddy指出，这种设计使得整个HTTP连接的生命周期可以仅在调用栈上完成，从而在稳定状态下几乎消除了垃圾回收（GC）的活动，这对于高吞吐量的网络服务至关重要。
与传统OCaml中依赖cstruct等库进行非拷贝视图管理不同，OxCaml允许使用如`int16#`的新语法定义结构体字段，实现数据的直接在寄存器或栈上存储。对于httpz的32KB输入缓冲区限制，他定义了仅包含16位整数的无装箱记录类型，例如`#{ off : int16# ; len : int16# }`。
通过检查编译器的中间语言Lambda和最终的ARM64汇编代码，Madhavapeddy验证了OxCaml的优化效果。汇编分析显示，操作直接使用了寄存器进行16位整数的加法和符号扩展（`sbfm`指令），证实了没有发生装箱或堆分配，与标准OCaml结构体的处理方式形成鲜明对比。
Madhavapeddy对Jane Street工具和编译器团队的成员表示感谢，他们在开发过程中提供了关键的技术指导。此次实践是其通过替换个人网站基础设施来学习和整合新技术的一种常见方法，表明他对OCaml在系统编程领域的潜力抱有信心。
虽然当前httpz仅专注于HTTP/1.1协议的解析部分，尚未涵盖POST请求的主体处理，但其在连接生命周期管理上的零分配策略为构建极速、低延迟的网络服务提供了新的技术路径。
这一进展凸显了OxCaml作为OCaml生态系统中面向系统编程的有力扩展，它在保持函数式编程风格的同时，解决了传统OCaml在性能敏感场景下与C或Rust等语言竞争的关键瓶颈。
