forkd:100个Agent沙箱

Sun, 30 Aug 2026 00:08:00 +0800

🎯 一句话总结：forkd把一个已经启动并预热的Firecracker microVM保存成快照，再用写时复制快速生成大量隔离子机。它适合代码解释器、并行评测和多Agent执行，当前仍处于Alpha阶段，需要Linux、KVM和严格的网络权限配置。

📌 forkd是什么

forkd是一个面向AI Agent并行任务的microVM沙箱运行时。父虚拟机只启动一次，提前加载Python依赖、JIT运行时、模型权重或浏览器；子虚拟机从父快照恢复，共享尚未发生变化的内存页。

每个子机都是独立的Firecracker进程，由KVM提供虚拟化隔离。子机修改内存时，Linux内核通过MAP_PRIVATE执行写时复制，变化后的页面才形成独立副本。

能力	实现方式
隔离	每个子机独立Firecracker + KVM
快速启动	从预热父快照恢复
内存复用	Copy-on-Write页面共享
运行环境	完整Linux、TCP网络、apt与HTTPS
资源限制	cgroup v2，目前重点支持`memory.max`
接口	CLI、REST、Python、TypeScript、MCP
运维	systemd、Prometheus指标、JSON审计日志
许可证	Apache 2.0

项目当前README标记为Alpha。磁盘格式和API在1.0之前仍可能变化，生产系统应固定版本并保留迁移方案。

⚙️ 为什么能快速分叉

传统虚拟机要重复启动内核、挂载磁盘、加载解释器并导入依赖。forkd把这些工作放在父机阶段完成：

启动父microVM
 ↓
加载Python、依赖、模型或浏览器
 ↓
暂停并保存内存、磁盘和设备状态
 ↓
多个子Firecracker进程映射同一快照
 ↓
子机只复制自己修改的页面

BRANCH允许对正在运行的沙箱制作分支。Agent可以在执行高风险命令前保存状态，再让多个子机分别尝试不同方案。

v0.4的Live Branch要求父沙箱以live_fork=True启动。它使用memfd共享内存，并通过UFFD_WP跟踪写入页面。官方基准在1.5 GiB源虚拟机上记录了56ms p50、64ms p90的暂停窗口；内存复制在父机恢复后继续进行。

from forkd import Controller

c = Controller()
parent = c.spawn_sandboxes(
 "pyagent",
 n=1,
 per_child_netns=True,
 live_fork=True,
)[0]

branch = c.branch_sandbox(
 parent["id"],
 tag="checkpoint-1",
 mode="live",
 wait=False,
)

# wait=False返回时，快照可能仍处于writing状态
# 确认status=ready后再从该tag创建子机
grandchildren = c.spawn_sandboxes(branch["tag"], n=5)

wait=False用于缩短调用等待时间，并不代表后台快照已经完成。程序需要轮询快照状态，避免从尚未就绪的分支继续启动。

Forkd on Huoke.Me - 跨境生活，从理财开始！

forkd:100个Agent沙箱

📌 forkd是什么

⚙️ 为什么能快速分叉