如何扩展到多节点的分布式 multi agent Agent Harnesss 呢

[yunwei37]

感谢，非常有启发性的工作！

我也非常认可 plugin 是 Agent 的未来，所有的软件都是插件，之前也做了一个 OSDI25 的论文 https://www.usenix.org/conference/osdi25/presentation/zheng-yusheng ，就是想讨论如何用 ebpf 做安全高效的动态可组合的用户态插件体系。

最近我也在探索 AI Agent 的可观测和 Harnesss（例如 Agentsight，我自己的场景目前是一堆agent 分布在不同的机器上互相协作通信，需要写代码分析理解别的 Agent 的的情况，给别的 agent 做工具或者管控他们。我感觉这里面是不是有一些类似的问题需要形式化定义？比如如何允许一个或者几个 Agent 去观测和安全监控/限制和管理其他的 Agent 的状态，如何让一个 agent 构建插件和前端给别的或者许多个 Agent 用，这些 Agent 本身还可能是不可信的，而不是完全是单节点上面可信的状态；一个插件也需要同时部署到多个节点。

想请教一下，这种场景下会不会需要考虑分布式、可能不可信场景下这样的插件如何做到安全、动态可组合呢？这部分会困难，或者有什么样的特殊挑战吗？

[shigma]

Cordis 和 ebpf 有一定的相似性，在于它们都通过一些实现上的假设，来确保将组件引入内核时依然保持系统具备良好的性质。

在 Cordis 的动态组合演算中（Section 4），只要系统内的所有组件遵循某种协议（context paradigm），并且在行为上满足局部的时空可组合性（witness 条件），系统就可以获得全局的时空可组合性。这种局部性推广到全局性我认为是 Cordis 这套框架最有意思的地方。

对于分布式系统，上述特性依然得以保持，因为 calculus 中的所有规则均只作用于一个 fiber 上且不假定执行顺序，这与分布式系统的工作方式是极为类似的。从这个意义上说，将 Cordis 扩展到分布式系统是一个很有价值的研究方向。

至于挑战，我能想到的地方主要有两点：

1. 安全性。本身 Cordis 系统的性质就很大程度上取决于各个 component 是否 well-behaved。对于带有恶意的节点，很可能需要额外的机制来确保它们的互操作不会破坏系统性质。论文中已经提到 sandboxing 技术在 Cordis 中的用法（6.3），但我并不确定对于分布式系统，这种机制是否能解决所有问题。

2. 系统边界。Cordis 系统的边界是通过 coeffects 确定的（6.2），然而在分布式系统中，我们应该把整个系统中所有节点所能管理的资源的全集视为系统边界。参与者数量的变化可能导致边界的灵活移动，参与者之间的交流也可能以一种不可逆的方式来完成。这些因素可能导致需要设计基于 compensation 而非 reversion 的等价关系。

[PerryLink]

????????????????(DSH ?????? dsh-background-agents ???????,?????)???? agent ? DSH ???? subagent seam:??????????????(??/??)????(??/??/??+???)???????,???????(SQLite/JSONL)????????????????:

1. ???:??? session ?? seam ??(??);
2. ???:?????????????(?? ? ??? IPC/?? ? ??????),?????????;
3. ???:?? agent ??????(? Agentsight ???)???"?? seam"--Cordis ? context paradigm ??????????:?? agent ????? inject/??/tool ???,???????????

??? OSDI ????,ebpf ??????,Cordis ??????,???"?????????????"?????--????????????