📚 软件系统论文目录索引
涵盖：编程范式、形式化方法、动态组合、插件系统、组件模型、软件工程基础
| # | 论文/项目 | 类型 | 核心贡献 | 分析笔记 |
|---|---|---|---|---|
| 1 | Cordis — 时空可组合性编程范式（北大/DeepSeek-AI） | 编程范式 + 形式化 | 可逆效应 + 反应式余效应 → 动态组合演算（5 族元理论定理），Cordis 元框架 + Koishi 4000 插件验证 | Cordis 时空可组合性编程范式 深度技术分析 |
| 2 | Nested BSP + Nested Parallel von Neumann 架构（华为，arXiv 2609.16787） | 并行计算模型 + 体系结构宣言 | BSP 递归嵌套 → 每层”并行/屏障/交换/聚合”四步 + 每层对等；软硬件双嵌套必须逐层对齐；Unified Bus 六项硬件要求（同一协议/内存语义/拆掉主从/铜近光远 NPO/物理稀疏逻辑紧密/每代只打几场硬仗）；高基数乘法杠杆（一跳覆盖 = 交换机端口 x 芯片端口） | Nested BSP 与嵌套并行冯诺依曼架构 深度技术分析 |
交叉引用
- Nested BSP 与 StrataCL 深度技术分析 — 同一 UB 架构上「宣言（应然）」与「实测（实然）」的对照；StrataCL 实测 UB 延迟分层 0.2/0.7/2.1 μs，构成对论文”~100 ns 往返”口径的关键核验
- UB vs MRC — 见 OpenAI MRC 超级计算机网络协议深度分析；注意其”UB 专有”表述已过时（UB Base Spec 2.1 已公开）
- Nested BSP 六层通信域 可直接作为 超节点性能仿真器选型与设计（StrataCL 视角）.md 中性能仿真器的分层抽象
- 形式化底座对照 — Cordis 时空可组合性编程范式 深度技术分析（有演算与定理 vs 本文只有结构断言）
最后更新：2026-09-28 | 共计 2 篇分析笔记