仓库
数据库与基础设施
ACID,一个字母一个字母看
数据库到底是怎么兑现 Atomicity、Consistency、Isolation、Durability 的——预写日志、MVCC、锁调度,以及那个让大多数存储栈至少丢过一次脸的 fsync 问题。
Codd 1970 年论文,逐段注解
走一遍《A Relational Model of Data for Large Shared Data Banks》——'关系'在数学上到底指什么、哪些想法活到了 SQL、哪些又悄悄被丢弃。
'Lo' 崩溃:互联网的第一份 bug 报告
为什么 Charley Kline 敲了三个字母之后 SRI 的计算机就崩了?到底是什么坏了?一个自动补全功能的缓冲区溢出如何成了互联网的起源故事?
范式:1NF → BCNF,配例子
Codd 的建表规则——每种异常长什么样、下一个范式怎么修它、以及什么时候为了性能故意打破规则。
查询优化器:SQL 到底是怎么跑起来的
你写你想要什么,数据库决定怎么做。走一遍优化器如何解析、改写、估算、并规划一条 SQL 查询——以及为什么同一条查询周一很快、周五很慢。
JOIN:通过值、而非指针来表达关系
用共享的值而不是物理引用来表达关系,是关系模型真正的突破。五十年后,四种连接类型、三种连接算法,和一个根本问题,仍在驱动世界上大多数的数据。
OAuth: Delegating Trust
The authorization framework that lets you 'Sign in with Google' solved the password-sharing problem and enabled the platform economy.
Cookies: Giving HTTP a Memory
Lou Montulli's small text files solved HTTP's statelessness problem — and accidentally created the infrastructure for login sessions, shopping carts, and the ad-tracking economy.
SSL/TLS: Securing the Web
Netscape needed online shopping to work. That meant encrypting HTTP — so two engineers built the protocol that now protects every connection on the internet.
关系模型与 SQL:整理世界的数据
Edgar Codd 1970 年的论文给了我们数据库的数学基础,SQL 给了我们一门查询它的语言。IBM 压着它,Oracle 抢先发布了它。
ARPANET:一切的开端
一次登录崩溃、一个紧张的研究生,还有一封不该发的邮件——一个冷战时期的研究项目如何意外地为互联网打下了地基。