计算机系统

问题形式：在某种约束下把某件事做得更快/更省/更可靠；证据：真实实现 + 真实负载的测量；文化：论文长、评审严、Artifact 评估。本章讲系统论文的结构（动机 → 设计 → 实现 → 评估）、评估的标准（端到端、开销分解、可扩展性）。

问题形式：约束下的性能与可靠性

系统研究的问题形式：在某种约束下把某件事做得更快/更省/更可靠——更快（延迟、吞吐）、更省（资源、成本）、更可靠（容错、一致性）。约束是问题的一部分：同样的目标，在数据中心与在边缘设备上是两个问题。

系统论文的可信度来自两个"真实"：

评估的标准结构：端到端性能（总体目标）+ 开销分解（各组件的贡献）+ 可扩展性（随规模的变化）。系统论文的贡献在设计决策及其权衡分析：为什么这样设计、放弃了什么、备选方案为何不行——设计决策的论证是系统论文的核心章节（见方法与实验章节的对应写法）。

系统论文长（12–20 页），结构相对固定：动机与问题 → 设计（设计决策与权衡）→ 实现 → 评估（端到端 + 分解 + 可扩展性）→ 相关工作。评审侧重：问题是否真实、设计决策是否有据、评估是否可信——"评估不真实"（理想负载、小规模）是最常见的拒稿理由。

系统会议的 artifact 评估（AE）成熟度最高：OSDI/SOSP 等提供可选流程，通过后获得可复现徽章（见术语表）。投稿前按 AE 标准准备 artifact（"陌生人测试"，见开源、复现包与 Artifact 评估）——通过 AE 对论文的可信度是显著加分。

系统研究的方法论基础见三种范式的系统列；实验纪律见实验与工程。