论文
MemMux:并行编码 Agent 的运行验证与内存归属
MemMux: Runtime Verification and Honest Resource Attribution for Fleets of Parallel Coding Agents
摘要
开发者越来越多地在同一工作站运行多个编码Agent。tmux等终端复用器和新一代Agent管理器主要排列窗口,无法治理内存:当十个Agent各自启动语言服务器、测试器和浏览器时,难以确定每个Agent的内存归属、确认终止后的后代进程回收、发现逃逸子进程,或避免交换空间压力及OOM静默丢弃未提交工作。我们将这些视为运行时验证问题,要求托管系统持续输出可由操作员或审计者检查的信号。MemMux提供逐Agent归属、完整回收、逃逸可见性、超额提交时的占用约束和监控成本,并在相同负载下与tmux、专用Agent复用器、原始进程基线进行限定主张的比较。在Linux内存硬预算下,它通过选择性准入与压力回收,使Agent群保持7.5GiB以内且无交换;未治理工具则运行全部Agent,达到RAM上限、约为预算两倍,并溢出约2GiB到交换区。MemMux回收终止Agent的全部进程子树,原始基线遗留一半;仅它识别全部10个逃逸子进程。成本方面,1Hz归属扫描在单Agent时约0.6%CPU,十Agent时2.7%,超过2%目标。真实Claude Code会话中也观察到100%归属和较低开销。我们开放引擎、基准与一条命令的复现入口。