用途:该技能用于处理并发执行者(如多个智能体或任务)可能同时写入同一文件、分支、键或状态对象时的共享可变状态问题。核心主张是“先分离,再串行化”:先确认各方是否真的需要同一个可变对象,能分离就消除共享。
主要能力:
- 识别共享可变状态,包括双方都读写的文件、都推送的分支、都定义并消费的 API,直至执行者与写入目标都被明确列出。
- 默认策略是消除共享写入目标:判断各方是需要一个权威对象,还是各自发布独立事实;为每个执行者分配其独占的文件、键、分支或状态目录,只在读取或汇报边界合并。例如两个 worker 各自把 lastX 字段写进同一个 state.json 仍属于共享变更,而拆成 indexer-state.json 与 metrics-state.json 则不是。
- 仅当单一共享写入目标确实是真实不变量时,才用结构化方式串行化访问,例如锁文件、串行阶段、单写者执行者或原子比较并交换,并具备相应失败检查。
使用方式:资料未提供具体调用命令、安装方式或代码示例,暂未提供。
适用场景:并发写入共享状态、跨分支推送、共享状态文件维护、多执行者协同发布独立事实等需要避免竞态条件的工程场景。
限制:资料强调指令和约定不是并发控制手段;把“需要加锁”当作默认答案被视为设计异味,应先检查是否能消除共享。资料未提供性能、平台或工具链层面的具体细节。