共享状态与黑板架构:从 Hearsay-II 到共享内存
前置知识
一句话定义
黑板架构让多个智能体不直接互发消息,而是异步读写一块带 schema 的共享数据区(黑板),由控制机制决定谁在何时基于黑板上的什么信息行动;它是「共享内存」式协作的原型,与消息传递共同构成 MAS 通信的两极。
直观类比
作战室墙上的一张大地图:侦察兵、参谋、指挥官都往上面贴标记、都从上面读态势,不用挨个打电话同步;值班参谋(控制机制)决定优先处理墙上哪条新情报。
为什么重要
当你发现「每对智能体之间都要传一份差不多的事实数据」时,消息传递已经不够用了——那是 O(n²) 的重复。黑板把事实数据从消息流中剥离到共享区,智能体间只传「事件与指令」,这是 LangGraph 共享 State、各类「共享文档/工作区」设计的理论原型,也是现代框架里最常被无意识地重新发明的结构。
前置知识
kp-012(消息与交接——黑板是消息的补充而非替代);kp-003(Hearsay-II 的历史位置)。
核心概念
- 黑板(Blackboard):分层的共享数据结构(原始数据 → 中间假设 → 结论),全系统唯一事实源;
- 知识源(Knowledge Source, KS):各自独立、只对黑板上特定条件做出反应的智能体;
- 控制机制(Control):调度知识源的策略(事件驱动、优先级、机会主义);
- 事件日志(Event Log):黑板上发生的读写的追加式记录,现代实现中的审计与排错基础;
- 字段所有权(Ownership):每个键由哪个智能体独占写入的约定。
原理与机制
Hearsay-II 的三层结构原封不动地映射到 LLM 系统:黑板(今天的共享 State / 共享文档)+ 知识源(今天的各角色智能体)+ 控制机制(今天的图引擎/主管)。黑板与消息的分工:稳定的、多方需要的事实与产物放黑板;瞬时的、点对点的指令与回执走消息。黑板的三个工程纪律:(1) schema 与所有权——每个字段声明类型与唯一写入者,防止互相覆盖(kp-019 的竞态在写层面解决一半);(2) 追加优先——结论性字段只追加带时间戳的条目而非原地覆盖,保留演化史;(3) 防膨胀——黑板是最容易退化为「垃圾场」的部件:旧探索记录、废弃草稿不断堆积,最终污染所有读者的上下文(kp-015 的裁剪策略必须作用于黑板);经典文献在 1980 年代就记录过「黑板过载」问题。收益:解耦(智能体不需知道彼此存在)、异步(不阻塞)、可审计(单点事实源便于 kp-025 观测)。代价:读写时序问题、一致性维护、以及「谁能写什么」的治理成本。
图示
┌────────────── 黑板(共享State) ──────────────┐
│ 原始层: 检索结果 | 假设层: 中间结论 | 结论层: 终稿 │
└──▲──────────▲──────────▲──────────▲─────────┘
│写/读 │ │ │
┌────┴───┐ ┌────┴───┐ ┌────┴───┐ ┌────┴───┐
│检索Agent│ │分析Agent│ │写作Agent│ │核查Agent│ 知识源(各自订阅条件)
└────────┘ └────────┘ └────────┘ └────────┘
控制机制: 事件驱动调度谁下一步行动
(对比: 消息传递=点对点信件, 黑板=公共作战地图)实例或案例
报告系统黑板:retrieval/ 存检索卡片,analysis/ 只追加结论条目(含证据指针与置信度),draft/current 只有写作智能体可写,review/findings 只追加核查发现。分析智能体完成时向控制层发一条事件「analysis/section-3 已更新」,触发核查智能体按订阅条件启动——它从不需要认识分析智能体,只认识黑板。
常见误区
- 误区一:黑板 = 无结构的全局变量。 没有 schema、所有权与分层,黑板会在三天内变成谁也读不懂的垃圾堆;
- 误区二:一切走黑板。 瞬时指令也放黑板会制造海量噪音事件,点对点的控制流仍应走消息;
- 误区三:黑板只增不减。 缺少裁剪与归档策略的黑板会随任务时长线性膨胀,最终拖垮所有读者。
与其他知识点的关系
黑板的并发读写安全在 kp-019(reducer/锁);黑板内容进上下文的裁剪策略在 kp-015;黑板上的事件日志是 kp-025 可观测的天然数据源。
自测题
- 黑板架构三要素及其 LLM 时代的对应物?
要点:黑板→共享 State/文档;知识源→角色智能体;控制机制→图引擎或主管调度。
- 哪类信息放黑板、哪类走消息?
要点:多方需要的事实与产物→黑板;瞬时点对点指令与回执→消息。
- 黑板防膨胀的两条策略?
要点:分层归档与按读者裁剪视图(kp-015);结论追加式记录替代无限堆积的探索噪音。
延伸阅读
Erman 等的 Hearsay-II 论文与 Nii 的黑板系统综述是本架构的原始出处;LangGraph 的 State 概念文档展示其现代工程形态。