Agent sandbox 可能的选型以及 unikernel 的机会
💡
原文中文，约8300字，阅读约需20分钟。
📝
内容提要
最近讨论了 agent sandbox 的设计，指出虽然 unikernel 理论上适合，但因不支持多进程而未被广泛应用。相比之下，firecracker 和 kata 提供了更好的安全性和兼容性。e2b 和 k7 展示了不同的实现方案，强调了镜像构建和分发效率的重要性。
🎯
关键要点
- 讨论了 agent sandbox 的设计，强调 unikernel 理论上适合但未被广泛应用。
- firecracker 和 kata 提供了更好的安全性和兼容性，适合 agent sandbox 的需求。
- agent sandbox 需要满足冷启动时间快、安全性高、支持主流开发语言和方便的镜像构建流程。
- e2b 是一个基于 firecracker 的 agent sandbox 方案，支持快速启动和高密度部署。
- e2b 的镜像构建流程包括拉取基础镜像、注入配置层、提取文件系统等步骤。
- e2b 的调度系统使用简单的算法管理 sandbox 的生命周期，适合短生命周期的 agent 场景。
- k7 是基于 kata 的实现，使用 Kubernetes 进行调度，镜像构建流程相对简单。
- wasm 启动时间快，但支持 python 的复杂性较高，存在限制。
- monty 是一个支持 python 子集的解释器，启动时间快但功能有限。
- unikernel 理论上适合 agent sandbox，但不支持多进程是一个限制。
- modal 在镜像构建和分发效率上做了优化，采用 lazy loading 的方式提升启动速度。
- agent sandbox 的设计方案各有优缺点，未来 unikernel 技术的发展可能带来更多机会。
➡️
