原文：Peter Bailis & Ali Ghods, Eventual Consistency Today: Limitations, Extensions, and Beyond, Communications of the ACM, May 2013. DOI: 10.1145/2447976.2447992
学习目标：在 B1 词汇量基础上，先背生词再读原文，不要求一次读懂全部证明。
一、这篇文章在讲什么？
2000 年，Eric Brewer 提出 CAP 定理：分布式系统在网络分区时，很难同时保证 一致性（consistency） 和 可用性（availability）。
很多互联网服务因此采用 eventual consistency（最终一致性）——允许短时间内数据不一致，但相信系统最终会“收敛”到相同状态。
作者的问题很直白：保证这么弱，为什么还能做出可用产品？ 文章从三个方向回答：
- “最终”到底有多快？（可测量、可预测）
- 程序员如何在弱保证下写代码？（补偿、CALM、CRDT）
- 能否比“最终一致”更强，又保留其好处？
二、核心概念词（建议先背这 20 个）
| 英文 | 中文 | 记忆提示 |
|---|---|---|
| eventual consistency | 最终一致性 | 停止更新后，各副本最终会一致 |
| distributed | 分布式的 | 数据/服务在多台机器上 |
| consistency | 一致性 | 各处读到的数据是否“对得上” |
| availability | 可用性 | 出故障时能否继续响应 |
| partition | 分区 / 网络割裂 | 部分节点之间无法通信 |
| replica | 副本 | 同一份数据的复制件 |
| replication | 复制 | 把数据同步到多个节点 |
| guarantee | 保证 | 系统承诺的行为（本文常说很“弱”） |
| converge | 收敛 | 各副本最终变成相同状态 |
| inconsistent | 不一致的 | 不同节点或不同时间读到不同数据 |
| update | 更新 | 对数据的写入或修改 |
| latency | 延迟 | 请求多久才有响应 |
| infrastructure | 基础设施 | 底层存储、网络等 |
| architect | 架构师 | 设计系统的人 |
| deploy | 部署 | 把系统跑在生产环境 |
| database | 数据库 | 存储与查询数据的系统 |
| theorem | 定理 | CAP theorem |
| tolerance | 容忍度 | partition tolerance |
| trade-off | 权衡 | 一致性 vs 可用性 vs 延迟 |
| propagate | 传播 | 把更新扩散到其他节点 |
三、通用学术词汇（B1 以上，文中高频）
| 英文 | 词性 | 中文 | 例句语境 |
|---|---|---|---|
| postulate | v. | 提出（理论） | Brewer postulated the CAP theorem |
| conjecture | n. | 猜想 | Brewer’s conjecture |
| prescient | adj. | 有先见之明的 | proved prescient |
| coherent | adj. | 连贯的、一致的 | coherent single-system operation |
| arbitrary | adj. | 任意的 | return arbitrary values |
| apparent | adj. | 表面的 | apparent lack of guarantees |
| pragmatic | adj. | 务实的 | a pragmatic introduction |
| preliminary | adj. | 初步的 | preliminary answers |
| quantify | v. | 量化 | quantify system behavior |
| advocate | v. | 提倡 | architects advocate eventual consistency |
| practitioner | n. | 从业者 | for practitioners in the wild |
| takeaway | n. | 要点 | immediately applicable takeaways |
| notable | adj. | 值得注意的 | notable developments |
| strengthen | v. | 加强 | strengthen weak models |
| violation | n. | 违反 | safety violations |
| compensation | n. | 补偿 | external compensation |
| speculation | n. | 推测式做法 | programming is similar to speculation |
| retroactively | adv. | 事后地 | restore guarantees retroactively |
| tangible | adj. | 实实在在的 | tangible monetary consequences |
| anecdotal | adj. | 轶事式的 | anecdotal evidence |
| forgo | v. | 放弃 | forgo compensation |
| onerous | adj. | 繁重的 | more onerous than strong consistency |
| immutable | adj. | 不可变的 | immutable historical data |
| retract | v. | 撤回（已承认的事实） | do not retract emitted facts |
| deviate | v. | 偏离 | deviate from linearizability |
| probabilistic | adj. | 概率的 | probabilistically bounded staleness |
| staleness | n. | 陈旧度 | bounded staleness |
| configuration | n. | 配置 | system configuration |
| workload | n. | 工作负载 | under a given workload |
| measurement | n. | 测量 | runtime measurement |
| prediction | n. | 预测 | consistency prediction |
| asynchronous | adj. | 异步的 | asynchronous anti-entropy |
| deterministic | adj. | 确定性的 | deterministically choose a winner |
| durability | n. | 持久性 | put data durability at risk |
| safety | n. | 安全性（形式化） | “nothing bad happens” |
| liveness | n. | 活性 | “something good eventually happens” |
四、计算机专业术语（认识即可，配合原文阅读）
| 英文 | 中文 | 一句话 |
|---|---|---|
| CAP (theorem) | CAP 定理 | 一致性、可用性、分区容忍不可兼得 |
| linearizability | 线性一致性 | 很强的“像单机一样”的一致性 |
| SSI (single-system image) | 单机映像 | 用起来像只有一台机器 |
| anti-entropy | 反熵 | 副本之间交换信息、趋向一致 |
| NoSQL | 非关系型数据库 | 如 Cassandra |
| ACID | 原子性、一致性、隔离性、持久性 | 传统数据库事务 |
| causality | 因果性 | 比最终一致更强的一类保证 |
| CRDT | 可交换复制数据类型 | 设计上避免很多不一致 |
| CALM theorem | CALM 定理 | 说明哪些程序在最终一致下仍“安全” |
| PBS | 概率有界陈旧度 | 预测“多久后读到最新值” |
| key-value store | 键值存储 | 简单的数据库模型 |
| fault tolerance | 容错 | 部分机器坏了仍可用 |
| coordination | 协调 | 节点为一致而协作 |
| anomaly | 异常 | 不一致导致的奇怪现象 |
| idempotence | 幂等性 | 同一操作多次，结果相同 |
| commutative | 可交换的 | 操作顺序不影响结果 |
| monotonic | 单调的 | 只增不减、不“收回”已承认的事实 |
| Monte Carlo simulation | 蒙特卡洛模拟 | 用随机抽样估计一致性表现 |
五、三个值得收藏的英文句子（精读用）
-
Eventual consistency provides few guarantees.
最终一致性提供的保证很少。 -
At no given time can the user rule out the possibility of inconsistent behavior.
在任意时刻，用户都无法排除读到不一致数据的可能。 -
The only guarantee is that, at some point in the future, something good will happen.
唯一的保证是：将来某个时刻，“好事”会发生（副本会收敛）。
六、B1 学习建议（三步走）
- 第 1 天：背完第二节 20 个核心词，浏览论文摘要（Abstract 附近的首段）。
- 第 2–3 天：每天 15 个第三节学术词，对照表中“例句语境”在 PDF 里搜原词。
- 第 4 天起：只查第四节术语表，按章节读 How eventual is eventual consistency? 和 Programming eventual consistency。
全文难度大约 B2–C1 + 专业英语；用本表不是为了一次读懂，而是降低查词成本，把精力放在思路上。
七、相关 Skill
本次整理流程已固化为 Skill：english-paper-b1-blog
- Cursor：
C:\Users\CGY\.cursor\skills\english-paper-b1-blog\SKILL.md - OpenCode：
C:\Users\CGY\.config\opencode\skill\english-paper-b1-blog\SKILL.md
需要 提交并推送到 GitHub Pages 时，可说「用 blog-repo-publish 推送」，或指定 commit。
本地 PDF 工作区：D:\论文\2447976.2447992.pdf
