BSP 模型全称Bulk‑Synchronous Parallel中文批量同步并行模型LangGraph 底层 Pregel 执行引擎就是基于 BSP 理论改造而来这是 LangGraph 所有能力循环、checkpoint、并行节点、无并发冲突、interrupt 断点续跑的底层根基。核心名词Superstep超级步 / 超步BSP 把整个程序执行切分成一轮一轮离散的超级步。 每一轮 Superstep 固定 3 个阶段本地计算本轮所有活跃节点并行执行节点的写入仅仅暂存缓冲区对本轮其他节点不可见。通信 / 写缓冲节点输出全部收集起来不直接修改全局状态。全局屏障同步 Barrier必须等待本轮全部节点执行完毕才统一把缓冲区结果合并写入全局状态写完之后才开启下一轮 Superstep。关键铁律本 Superstep 产生的数据下一个 Superstep 才能看见。同一轮里面节点之间看不到彼此的修改天然消除竞态条件并发读写冲突。Superstep N ├─① Plan规划挑选本轮哪些节点要跑 ├─② Execute执行选中节点并发运行输出先放缓冲区不修改真实state ├─③ Update同步屏障全部节点跑完统一合并更新Channel(状态)生成checkpoint快照 ↓ Superstep N1 可以读取上一轮的更新映射到 LangGraph非常关键BSP/Pregel 概念LangGraph 对应概念Vertex 顶点Node 节点supervisor、lighthouse_agentMessage 消息Channel 通道State 底层就是各类 ChannelSuperstep 超级步一轮完整执行周期Barrier 屏障同步一轮全部节点跑完统一合并状态Checkpoint 快照每轮 Superstep 结束自动保存状态快照支持中断恢复BSP 带来 LangGraph 几个非常重要行为特性写代码经常遇到同一个 Superstep 内多个节点可以并行运行 比如你配置两条边同时触发 A、B 节点A、B 并发跑但是 A 在本轮写的 stateB 在本轮看不到只能下一轮读取。不会出现 A 改一半 stateB 读到脏数据。节点返回是增量字典不会立刻生效等到本轮结束统一合并这就是为什么 node 函数不能直接修改入参 state 对象所有变更返回字典框架在屏障点统一合并。Annotated[T, operator.add]归约器就是Channel 合并阶段执行的逻辑。每一轮 Superstep 结束才会生成一份 Checkpoint 快照 所以interrupt()人工暂停只会发生在 Superstep 的边界节点函数内部不能中途暂停只能等本轮跑完屏障点才可以中断。这就是 Human‑in‑the‑loop 的底层原理。循环回退本质就是下一个 Superstep 重新执行前面的节点 条件边跳回上游节点不是函数递归调用而是下一轮 Superstep 把该节点再次选为待执行任务。不会栈溢出可以无限循环可以设置最大 Superstep 次数防止死循环。和普通 DAG/LCEL Chain 对比底层差异LangChain LCEL Chain函数调用栈模式链式函数串行调用函数 A 直接调用 BB 直接调用 C一旦函数执行中没有全局快照无法中途暂停。LangGraphBSP‑Pregel没有函数嵌套调用一轮一轮 Superstep 迭代执行节点之间不会互相调用全部读写 Channel 状态执行边界可以快照、中断、恢复。BSP 模型的缺点屏障同步开销只要本轮有一个节点很慢例如调用 LLM 耗时其他节点全部等待它完成才能进入下一轮有长尾等待问题。状态变更延迟一整个 Superstep写的结果不能立刻读到要等到下一轮。不适合极致低延迟场景牺牲一部分延迟换取确定性、可观测、可恢复。通俗类比理解 BSP Superstep公司开会一轮会议 一个 Superstep参会人员节点各自并行写提案计算写好先交给秘书会上不能直接修改别人手里文档。所有人写完秘书屏障同步统一把全部提案合并更新到总文档Channel 状态。全部人提交完毕本轮会议结束保存一份完整文档快照 (checkpoint)。开启下一轮会议所有人基于更新后的总文档继续干活。不会出现某个人写一半另一个人抢过去修改文档。所有修改统一在会议结束合并。总结LangGraph 基于 Google Pregel底层是BSP 批量同步并行模型执行被切分为一轮一轮 Superstep 超级步同一轮节点并行执行输出先缓冲屏障点全部完成后统一合并状态依靠 Superstep 边界实现 Checkpoint 快照、人工中断、可循环的 Agent 编排。