两步架构法:消息传递加 I/O-free 核心,让系统可验证可测试
blaizedsouza · x · 2026-11-09
DominikTornow 分享了一套面向形式化验证与确定性测试的系统架构两步法:
- Step 1 消息传递:形式验证和确定性仿真测试都依赖消息传递,且消息传递能让一整类 bug 从根上不存在
- Step 2 顺序无 I/O 核心 + 异步 I/O 外壳:尽可能把逻辑写成顺序、无 I/O 的 handler,只返回效果(effects),再用 submission/completion 风格处理效果(类似 iouring);handler 可验证,效果处理可确定性测试
「编程与Agent」频道最新
- HF 工程师 Niels Rogge 公开本地 AI 入门课件：量化、MoE 选型与本地 Agent — NielsRogge · 2026-11-09
- OpenClaw 玩起「大型多人在线 AI」:上百个 agent 同服并行跑任务 — vincent_koc · 2026-11-09
- Loop:手机优先的 Agent 编排器,二维码配对即用无需服务器 — Two_Half_Pints · 2026-11-09
- Qwen Code Desktop 发布 v0.27.1，修复多项稳定性问题 — github-actions[bot] · 2026-11-09
- dair-ai 创始人：生产环境选模型必须自建 eval,别租公共榜单 — dair_ai · 2026-11-09
- 开源工具在浏览器单标签页跑 5 亿行 CSV,内存仅约 1GB — pierreneter · 2026-11-09