经典论文与在线资源

本章要点

• Lamport (1978) “Time, Clocks, and the Ordering of Events”；Ongaro & Ousterhout (2014) “In Search of an Understandable Consensus Algorithm” (Raft)（→ 第九卷）
• Mohan et al. (1992) “ARIES”；Codd (1970) 关系模型原始论文（→ 第八卷）
• Brewer (2000) CAP；Gilbert & Lynch (2002) 形式化证明；Abadi (2012) PACELC（→ 第九卷）
• Jacobson (1988) “Congestion Avoidance and Control”；Saltzer et al. (1984) “End-to-End Arguments”（→ 第七卷）
• Cook (1971)；Karp (1972) “Reducibility Among Combinatorial Problems”（→ 第十卷）
• Aleph One (1996) “Smashing the Stack for Fun and Profit”；Kocher et al. (2019) “Spectre Attacks”（→ 第十二卷）
• 在线：OSTEP、DDIA 读书笔记、Jepsen 分析报告、Papers We Love、Teach Yourself CS