分布式系统 02：论断—证据—核验状态
访问与核验日期：2026-09-19

S1 Jeffrey Dean / Sanjay Ghemawat, MapReduce: Simplified Data Processing on Large Clusters, OSDI 2004.
https://research.google/pubs/mapreduce-simplified-data-processing-on-large-clusters/
https://storage.googleapis.com/gweb-research2023-media/pubtools/4449.pdf
已实际读取 Google 官方发布页与 PDF。PDF 页码为原稿页码，定位优先使用章节。
C01 map 本地中间输出与 reduce 全局输出故障恢复不同。定位 §3.3 Worker Failure。VERIFIED_SOURCE。
C02 原实现 master 故障中止作业；检查点恢复是讨论可能性，不是该实现已交付保证。§3.3 Master Failure。VERIFIED_SOURCE。
C03 map master 接受文件集合；reduce worker 原子 rename；确定性输出顺序等价；非确定性各 reducer 可对应不同执行。§3.3 Semantics in the Presence of Failures。VERIFIED_SOURCE。
C04 慢任务备份增加冗余执行，任务数增加改善调度粒度但有 master 状态代价。§3.5 Task Granularity、§3.6 Backup Tasks。VERIFIED_SOURCE；正文不复述历史性能指标。
C05 外部副作用由应用保证原子和幂等，未提供多个输出文件的原子 2PC。§4.5。VERIFIED_SOURCE。

S2 MIT 6.5840 Spring 2026 Schedule.
https://pdos.csail.mit.edu/6.824/schedule.html
C06 2 月 3 日 MapReduce 阅读与 Lab 1，2 月 5 日 RPC。已实际打开课表。VERIFIED_SOURCE。
S3 MIT 6.5840 2026 Lecture 1: Introduction.
https://pdos.csail.mit.edu/6.824/notes/l01.txt
C03 独立交叉核对：行 244–270 的重复 map、重复 reduce、确定性、straggler、fail-stop 边界。
研究执行者与父协调者分别实际打开；父协调者报告独立读取 244–270，结论一致。VERIFIED_SOURCE_CROSSCHECK。
滚动课程材料，不是版本化产品规格；末尾 Google 当前使用状态的推测未纳入正文。
S4 Stanford CS244B Schedule, Spring 2024.
https://www.scs.stanford.edu/24sp-cs244b/sched/
C06 Spark、Ray 位于课程表，未单列 MapReduce；仅支持后续比较定位。VERIFIED_SOURCE。

S5 The Open Group, POSIX.1-2024 rename, DESCRIPTION / RATIONALE.
https://pubs.opengroup.org/onlinepubs/9799919799/functions/rename.html
C07 目录项替换的原子可见性，不能外推多文件事务、断电持久性。已打开规范。VERIFIED_SOURCE。
S6 Go os package, Rename 官方滚动文档，访问 2026-09-19。
https://pkg.go.dev/os#Rename
C07 非 Unix 平台同目录 Rename 也不保证原子；实验使用 Unix 同目录。VERIFIED_SOURCE。

原创推导与本地观察
C08 输入唯一覆盖 + 每 task 单一发布 + 唯一分区 + 完整消费 => 每 ID 一次。正文逐步推导；实验用逐条比较，不以总数代替。PROOF_SKETCH / VERIFIED_LOCAL。
C09 非确定性批次标记 A/B 反例：依据 S1 弱语义原创构造；非实验实际输出。HAND_DERIVED。
C10 两道练习为独立设计，非课程作业答案。外部服务重启去重丢失属于推导，未连接外部数据库。HAND_DERIVED。

反向检索
查询："MapReduce" "Dean" "Ghemawat" "errata"；MapReduce nondeterministic side effects atomic rename。
未找到可确认的作者勘误页面，不据此宣称不存在勘误。S1 §3.3 与 §4.5 直接保留弱语义和副作用限制。
搜索出现 MIT 考试答案，未使用其题目、代码或答案作为本文实验与练习。
POSIX Rationale 页直接打开返回 403，未作为独立主要证据；使用已读取 rename 规范。

旧知识与写作流程
已检索 MapReduce 相关文件，读取 Hadoop 13 编程模型篇。本文另聚焦故障与提交，原文不修改。
使用 blog-editor 创作流程及 knowledge-evolution 写前召回；复用现有系列封面。
正文先在 /private/tmp/ds02-draft.md 完稿。依序：anti-ai-tone（tech 四遍人工检查 + check_prose.py，4310 汉字、0 error、0 warning）→ anti-persona-fabrication（词检 0 命中 + 人工三红线/连读检查）→ 落盘。
不将两次扫描合为一次；不把静态扫描当作技术正确性证明。