SuperAPI AI 工具集

pstack-principle-separate-before-serializing-shared-state

编程与开发

查看项目

更新于 10-28 16:12

技能介绍

该技能是一个并发设计原则,用于指导 AI 代理在多执行者协作时如何处理共享可变状态。

用途:当并发执行者可能写入同一文件、分支、键或状态对象时,先判断共享是否必要;若不必要,则消除共享,而不是直接加锁。

主要能力:

  1. 识别共享可变状态,明确执行者与写入目标。
  2. 默认做法是消除共享写目标:让每个执行者拥有独立的文件、键、分支或状态目录,仅在读取或汇报边界合并。例如两个 worker 各自写自己的 lastX 字段到同一个 state.json,仍属于共享变更;而拆分为 indexer-state.json 与 metrics-state.json 则各自独立。
  3. 仅当单一共享写目标确实是必要不变量时,才通过结构性手段串行化访问,如锁文件、顺序阶段、单写者执行者或原子比较交换(compare-and-swap)。
  4. 把“我们需要一把锁”视为需要检查的设计异味,而非默认答案。

使用方式:按“识别共享状态 → 默认消除共享 → 仅在必要时结构化串行化”的流程应用;完成标准是独立事实拥有独立归属,或必要不变量具备强制并发机制与失败检查。

适用场景:并行代理写同一文件、多分支同时推送、共享 API 的定义与消费等并发协作场景。

限制:资料未提供具体代码示例、安装方式、平台支持或收费信息;该技能属于设计原则指导,并非现成工具或库。