03 GFS：论断—证据—核验状态
检索/核验日期：2026-09-19。
讨论版本：SOSP 2003 The Google File System；无可访问生产 GFS 源码版本，不声称核验当前实现。

S1 The Google File System，Ghemawat/Gobioff/Leung，SOSP 2003。
原站 https://research.google/pubs/the-google-file-system/
官方原文 https://storage.googleapis.com/gweb-research2023-media/pubtools/4446.pdf
同文 https://pdos.csail.mit.edu/6.824/papers/gfs.pdf
直接阅读 PDF 相关章节。页码为 PDF 从 1 开始，不是出版物页码。
S2 MIT 6.5840 2026 Lecture 3: GFS
https://pdos.csail.mit.edu/6.824/notes/l-gfs.txt
2026 教学版本；直接阅读。课程顺序 https://pdos.csail.mit.edu/6.824/schedule.html
S3 GFS: Evolution on Fast-forward，McKusick/Quinlan，ACM Queue，2009-08-07。
https://queue.acm.org/detail.cfm?id=1594206
原站正文工具 Internal Error；日期核对 ACM https://queue.acm.org/casestudies.cfm 。
直接读取原始访谈的高校 PDF 副本 https://www.cs.jhu.edu/~huang/cs718/spring18/readings/gfs-evolution.pdf
S4 Colossus under the hood: a peek into Google’s scalable storage system，Hildebrand/Serenyi，Google Cloud，2021-04-19。
https://cloud.google.com/blog/products/storage-data-transfer/a-peek-behind-colossus-googles-file-system
直接读取，只用于版本演进，未推断现行产品 API 保证。

C01 元数据和内容路径不同。S1 §2.3、§2.6（PDF 2–4页）；S2 29–59 行交叉核对。VERIFIED_SOURCE。
C02 primary 顺序只在限定故障与租约前提下解释副本一致。S1 §3.1（5–6页）；S2 75–98、190–212、259–271 行交叉核对。VERIFIED_SOURCE；归纳证明为正文自行推导，不是正式完整协议证明。
C03 push 到 buffer 不等于修改。S1 §3.1–3.2（5–6页）；S2 86–98 行。VERIFIED_SOURCE；代码 data 为有限转换演示。
C04 失败修改可能只影响部分副本。S1 §3.1（6页）；S2 99–144 行。VERIFIED_SOURCE；retry 为自行设计反例。
C05 record append 至少一次，可能重复和padding，成功记录区不等于全chunk相同。S1 §2.7、§3.3（4–7页）；S3 PDF10页独立核对工程代价。VERIFIED_SOURCE。
C06 新租约前持久化chunk version；新目录过滤落后副本不保证旧缓存立即失效。S1 §4.5（9页）与 §2.7.1（5页），S2 233–257 行交叉核对。VERIFIED_SOURCE。
C07 早期GFS文件数/master恢复/宽松语义有成本。S3 PDF4–5、8、10页；S2 287–315 行。VERIFIED_SOURCE。
C08 Colossus采用分布式元数据，是后继系统。S4 Colossus in a nutshell。VERIFIED_SOURCE；非2003 GFS契约。
C09 Go五场景输出。来自 verification.txt 的本地实际命令。VERIFIED_LOCAL；无真实GFS集群或网络磁盘E2E。

反向检索："Google File System" errata correction lease；site:research.google "The Google File System" "errata"；原工程师访谈与Colossus官方演进。
本轮未找到作者正式errata；不能据此断言不存在。2009访谈构成工程假设和代价的后续反思，不写成数学勘误。
搜索结果意外包含课程测验答案；未用作资料、代码或习题来源。所有实验与两习题独立设计。
未照搬课程作业答案。未复用原论文性能数字作为当前系统或本地测量。

写作流程：blog-editor；临时稿 /private/tmp/ds-gfs03-draft.md；落盘前 anti-ai-tone tech 检查 3708汉字、0错误0提醒，并逐段核对材料支撑/推进/节奏/连续性；之后 anti-persona-fabrication 正则0命中及全文人工三红线检查。顺序未反转。
相关旧文：深入-Hadoop-02-文件写入路径与流水线；仅作为对照链接，新文独立讨论GFS2003。