Jim Gray

图灵奖第三十三届（1998）| Jim Gray:数据库事务处理的奠基者,让每一笔转账都值得信赖

一句话概括:他定义了数据库事务的ACID性质,发明了两阶段提交协议,让全世界的银行转账、电商交易、支付系统成为可能——每一笔可靠的数字交易背后,都有他的身影。2007年,他神秘失踪在太平洋,科技界动用卫星和算法搜寻,成为传奇落幕。

🏆 获奖简介

James Nicholas “Jim” Gray(詹姆斯·尼古拉斯·“吉姆”·格雷,1944-2007失踪)是美国计算机科学家,数据库事务处理和容错系统的先驱。

• 出生时间:1944年1月12日
• 出生地点:美国加利福尼亚州旧金山
• 失踪时间:2007年1月28日(享年63岁,被推定死亡)
• 获奖年份:1998年
• 获奖原因:在数据库和事务处理研究与实现方面的开创性贡献

为什么他是第三十三位? 在Jim Gray之前,数据库只是”存数据的地方”,可靠性靠运气和祈祷;在他之后,数据库变成了”可信赖的交易平台”,支撑起整个数字经济。他定义的ACID性质成为数据库的黄金标准,他发明的两阶段提交协议让分布式事务成为可能,他的故障恢复算法确保数据永不丢失。从你刷卡买咖啡,到银行转账百万,从电商下单,到股票交易,背后都是Jim Gray的理论在默默守护。他不仅是学者,更是实践者——从IBM的System R到微软的TerraServer,他让理论变成了改变世界的产品。

🚀 他的重大贡献

1. ACID:数据库事务的黄金法则

1981年,Jim Gray系统化地提出ACID性质,成为数据库事务处理的基石。

什么是事务?

事务(Transaction):一组操作,要么全部成功,要么全部失败,没有中间状态。

经典例子:银行转账

开始事务 T1
  操作1: 账户A - 100元
  操作2: 账户B + 100元
提交事务 T1

如果没有事务保障会怎样?

• 执行完操作1,系统崩溃
• 结果:A扣了钱,B没收到
• 钱凭空消失了!

ACID的四大性质

A - Atomicity(原子性)

定义:事务是原子的,要么全做,要么全不做。

实现机制:

• 日志(Log):记录每个操作
• 回滚(Rollback):失败时撤销已做操作
• 提交(Commit):成功时确认所有操作

例子:

日志:
  <T1 开始>
  <T1, A, 旧值1000, 新值900>
  <T1, B, 旧值500, 新值600>
  <T1 提交>

如果崩溃发生在”提交”之前,重启后读日志,发现T1未提交,则回滚(用旧值恢复)。

C - Consistency(一致性)

定义:事务执行前后,数据库从一个一致状态到另一个一致状态。

一致性约束:

• 完整性约束:账户余额不能为负
• 业务规则:转账前后总金额不变

例子:

约束: A + B = 1500元(总额守恒)
事务前: A=1000, B=500 ✓
事务后: A=900,  B=600 ✓

如果事务违反约束(如导致A=-100),则自动回滚。

I - Isolation(隔离性)

定义:并发执行的事务互不干扰,就像串行执行一样。

问题场景: 两个事务同时给账户A转账:

T1: A = A + 100
T2: A = A + 200

没有隔离:

时刻1: T1读取A=1000
时刻2: T2读取A=1000
时刻3: T1写入A=1100
时刻4: T2写入A=1200
结果: A=1200 (丢失了T1的+100!)

有隔离(锁机制):

时刻1: T1锁定A,读取A=1000
时刻2: T2尝试锁定A,等待...
时刻3: T1写入A=1100,释放锁
时刻4: T2锁定A,读取A=1100
时刻5: T2写入A=1300
结果: A=1300 ✓

D - Durability(持久性)

定义:事务一旦提交,修改永久保存,即使系统崩溃也不丢失。

实现机制:

• 预写日志(Write-Ahead Logging, WAL):先写日志,再写数据
• 检查点(Checkpoint):定期将内存数据刷到磁盘
• 恢复(Recovery):崩溃后根据日志重做已提交事务

例子:

时刻1: 事务T1修改数据,写入内存
时刻2: 将修改记录写入磁盘日志
时刻3: 返回"提交成功"
时刻4: 系统崩溃(数据还在内存,未写磁盘)
重启后: 读日志,发现T1已提交,重做修改
结果: 数据未丢失 ✓

ACID的影响

成为数据库的黄金标准:

• Oracle、MySQL、PostgreSQL、SQL Server
• 所有关系数据库都实现ACID
• ACID成为”数据库”的定义性特征

商业价值:

• 金融系统:没有ACID,就没有现代银行
• 电商:确保订单不丢、库存不乱
• 支付:微信支付、支付宝的基础

2. 两阶段提交(Two-Phase Commit, 2PC):分布式事务的协调

问题:如果数据分散在多个数据库节点,如何保证事务的原子性?

场景

跨行转账:

• 银行A的数据库:账户X - 100元
• 银行B的数据库:账户Y + 100元

挑战:

• 两个操作在不同数据库
• 必须同时成功或同时失败
• 网络可能延迟、断线

Jim Gray的2PC协议(1978)

角色:

• 协调者(Coordinator):事务发起方
• 参与者(Participants):各个数据库节点

两个阶段:

阶段1:准备(Prepare)

1. 协调者向所有参与者发送”准备提交”请求
2. 参与者执行事务操作,但不提交
3. 参与者将状态写入日志(可以提交/不可以提交)
4. 参与者回复协调者:“准备好”或”失败”

阶段2:提交(Commit)

• 如果所有参与者都回复”准备好”:
  1. 协调者向所有参与者发送”提交”命令
  2. 参与者提交事务,回复”完成”
  3. 协调者记录”事务提交”
• 如果任何参与者回复”失败”:
  1. 协调者向所有参与者发送”回滚”命令
  2. 参与者撤销操作
  3. 协调者记录”事务中止”

例子:跨行转账

协调者:银行A的主系统
参与者1:银行A的数据库
参与者2:银行B的数据库

阶段1:
  协调者 → 参与者1: "准备提交 (X-100)"
  参与者1: 检查X余额足够,锁定账户,写日志
  参与者1 → 协调者: "准备好"

  协调者 → 参与者2: "准备提交 (Y+100)"
  参与者2: 锁定账户,写日志
  参与者2 → 协调者: "准备好"

阶段2:
  协调者: 收到两个"准备好",决定提交
  协调者 → 参与者1: "提交"
  参与者1: 提交,释放锁
  协调者 → 参与者2: "提交"
  参与者2: 提交,释放锁

结果: 转账成功 ✓

如果参与者2失败:

阶段1:
  参与者2 → 协调者: "失败"(如网络故障)

阶段2:
  协调者 → 参与者1: "回滚"
  参与者1: 撤销X-100
  协调者 → 参与者2: "回滚"

结果: 转账取消,数据一致 ✓

2PC的局限性

阻塞问题:

• 参与者在准备阶段后,必须等待协调者的决定
• 如果协调者崩溃,参与者被锁住

三阶段提交(3PC): 后续研究改进,增加”预提交”阶段,减少阻塞

现代替代:

• Paxos/Raft:分布式共识算法
• 最终一致性:NoSQL数据库(BASE模型)

但2PC仍广泛使用:

• Oracle RAC
• MySQL Cluster
• 分布式数据库(Google Spanner等)

3. 故障恢复算法:ARIES

ARIES(Algorithms for Recovery and Isolation Exploiting Semantics)是Jim Gray及其合作者在IBM开发的最先进的数据库恢复算法。

核心思想

预写日志(WAL): 所有修改先写日志,再写数据

日志记录:

<事务ID, 页面ID, 偏移量, 旧值, 新值, LSN>

• LSN(Log Sequence Number):日志序列号,全局递增

三个阶段

1. 分析(Analysis): 扫描日志,确定哪些事务已提交,哪些未提交

2. 重做(Redo): 重放日志,恢复所有已提交事务的修改

3. 撤销(Undo): 回滚所有未提交事务的修改

关键创新

重复历史(Repeating History):

• 先重做所有操作(包括未提交的)
• 再撤销未提交的
• 好处:简化逻辑,处理复杂的并发场景

细粒度锁: 记录级锁,而非页级或表级,提高并发性

影响:

• PostgreSQL、SQL Server、DB2都使用ARIES或其变体
• 成为现代数据库恢复的标准算法

4. 数据立方(Data Cube)与OLAP

1990年代,Jim Gray推动了OLAP(在线分析处理)的发展。

概念

OLTP vs OLAP:

• OLTP(事务处理):银行转账、订单处理,关注单条记录
• OLAP(分析处理):销售分析、趋势预测,关注聚合数据

数据立方: 多维数据结构,支持快速”切片、切块”分析

例子:销售数据分析

维度:时间、地区、产品

立方:
  维度1(时间): 2023年1月、2月、3月...
  维度2(地区): 北京、上海、广州...
  维度3(产品): 手机、电脑、平板...
  度量: 销售额

查询:

• “2023年1月北京的手机销售额?”
• “上海全年所有产品的总销售额?”
• “手机在各地区的销售趋势?”

实现:

• 预计算聚合:空间换时间
• 维度建模:星型模式、雪花模式

影响:

• 商业智能(BI):Tableau、Power BI的基础
• 数据仓库:Teradata、Snowflake
• 大数据分析:Hadoop、Spark的OLAP引擎

5. 可伸缩性法则:Gray’s Laws

Jim Gray总结了数据库可伸缩性的经验法则:

五分钟法则(Five-Minute Rule)

问题:数据放内存还是磁盘?

规则: 如果数据访问频率 > 每5分钟一次,放内存划算;否则放磁盘。

计算:

内存成本 vs 磁盘成本+IO开销
随着硬件价格变化,阈值从5分钟变为...
1987年: 5分钟
1997年: 5小时
2007年: 5天

启示: 硬件进步改变软件设计决策

可伸缩性的三个层次

1. 垂直伸缩(Scale Up):

• 更大的机器(更多CPU、内存)
• 局限:单机性能上限

2. 水平伸缩(Scale Out):

• 更多的机器
• 挑战:分布式协调开销

3. 智能伸缩:

• 分区(Partitioning):按键范围分割数据
• 复制(Replication):多副本提高可用性
• 找到适合应用的平衡点

6. TerraServer:大规模图像数据库

1998年,Jim Gray在微软研究院领导开发TerraServer。

项目背景

目标: 将全球卫星图像和地图存储在数据库中,供公众在线浏览

规模:

• 2TB图像数据(在1998年是巨量!)
• SQL Server后端
• Web界面

技术挑战

1. 数据分块: 大图切分为小瓦片(Tiles),按需加载

2. 空间索引: 高效查询”某经纬度对应的图像”

3. 并发访问: 支持数百万用户同时浏览

影响

Google Earth的灵感来源:

• Google收购Keyhole公司(2004)
• 开发Google Earth,采用类似瓦片技术
• TerraServer是先驱

Virtual Earth(后来的Bing Maps): 微软自己的地图服务

开放数据运动: 证明大规模数据可以公开共享

7. 天文学数据库:SkyServer

Jim Gray晚年与天文学家合作,开发Sloan Digital Sky Survey(SDSS)的数据库。

挑战

数据规模:

• 数亿星系、恒星、星云
• 多波段图像、光谱数据
• 每晚产生TB级数据

科学查询:

• “找到所有红移>2的类星体”
• “某区域内的星系分布”
• 复杂的空间和统计查询

贡献

SQL Server扩展:

• 空间数据类型
• 天文学特定函数

数据发布:

• SkyServer公开数据库
• 全球天文学家和爱好者免费访问
• 催生数千篇科学论文

跨学科启示: 数据库不只服务商业,也能加速科学发现

🌍 对世界的深远影响

1. 数字经济的基石

金融系统:

• 全球银行:每天数十亿笔交易
• 股票交易所:纽交所、纳斯达克
• 支付网络:Visa、Mastercard、支付宝、微信支付
• 没有ACID,就没有可信赖的金融系统

电子商务:

• 亚马逊、淘宝、京东的订单处理
• 确保”下单扣库存""支付成功发货”的一致性

在线广告:

• Google AdWords、Facebook Ads
• 实时竞价、计费,依赖事务保障

2. 分布式系统的理论基础

Google Spanner:

• 全球分布式数据库
• 使用改进的2PC(TrueTime API)

区块链:

• 比特币、以太坊的”分布式账本”
• 本质是分布式事务一致性问题
• Gray的思想仍在指导新技术

NoSQL与最终一致性:

• Cassandra、DynamoDB等放宽ACID
• 但关键业务(如金融)仍需ACID
• Gray的工作定义了权衡的边界

3. 大数据与云计算

数据仓库:

• Snowflake、BigQuery、Redshift
• 继承Gray的OLAP思想

云数据库:

• AWS RDS、Azure SQL Database
• 提供”数据库即服务”
• Gray在微软推动的云数据库愿景实现了

4. 科学研究

SkyServer启示:

• 基因组数据库:GenBank
• 气候数据:NASA的地球观测数据库
• 粒子物理:CERN的LHC数据
• Gray证明:数据库技术能加速科学发现

🏆 获奖理由(通俗版)

ACM官方表彰:“在数据库和事务处理研究与实现方面的开创性贡献。”

更通俗的理解:

Jim Gray做了三件了不起的事:

1. 定义了”可靠”的标准:ACID性质让我们知道什么是可信赖的数据库
2. 解决了分布式协调:2PC让跨机器、跨地域的事务成为可能
3. 连接理论与实践:从IBM System R到微软TerraServer,理论变成产品

最重要的是: 他的工作是”看不见的基础设施”——每次你刷卡、网购、转账,ACID和2PC都在默默工作,确保数据不出错,钱不会凭空消失。

你可能不知道Jim Gray的名字,但你每天都在使用他的发明。

👤 个人生平与传奇

早年:加州的少年

1944年1月12日:出生于旧金山

• 童年:二战后的美国,科技乐观主义时代
• 兴趣:数学、物理、电子学

教育:

• 加州大学伯克利分校(UC Berkeley)工程物理学士(1966)
• UC Berkeley计算机科学博士(1969)
• 导师:Gene Amdahl(后来创立Amdahl公司,挑战IBM大型机)

IBM时代:System R与事务处理(1969-1981)

1969年:加入IBM Research,圣何塞

• IBM正启动System R项目:世界上第一个关系数据库原型

System R的革命:

• 关系模型:Ted Codd(1970年图灵奖得主)提出
• SQL语言:Don Chamberlin等人设计
• Jim Gray的贡献:事务管理子系统

关键工作:

• 1975年:定义事务的原子性和恢复
• 1978年:发表两阶段提交协议
• 1981年:系统化提出ACID性质

论文: “The Transaction Concept: Virtues and Limitations”(1981)

• 奠基性论文
• 被引用数千次

性格:

• 实干家:不只写论文,更写代码
• 合作者:与工程师紧密协作
• 同事评价:“Jim能把复杂理论解释得清晰易懂”

Tandem Computers时代:容错系统(1981-1990)

1981年:离开IBM,加入Tandem Computers

• Tandem专注容错计算:银行、证券交易所的核心系统

贡献:

• NonStop SQL:高可用数据库
• 故障恢复算法:进一步完善ARIES
• 可靠性理论:系统如何做到”永不宕机”

Tandem的创新:

• 冗余硬件:所有组件都有备份
• 热切换:故障时无缝切换到备用
• Jim Gray的软件配合硬件,实现极高可靠性

荣誉: 1987年,当选ACM Fellow

DEC时代:分布式系统(1990-1995)

1990年:加入Digital Equipment Corporation(DEC)

• DEC是当时仅次于IBM的计算机公司

项目:

• Rdb/VMS:VAX/VMS操作系统上的关系数据库
• 分布式事务:跨机器的2PC实现

学术活动:

• 频繁发表论文:数据库顶会(SIGMOD、VLDB)
• 指导博士生:虽在工业界,仍与学术界紧密联系

微软研究院时代:大数据与科学(1995-2007)

1995年:加入微软研究院(MSR)

为什么选择微软?

• Bill Gates亲自邀请
• MSR承诺”工业界的自由度,学术界的资源”
• Jim Gray看到了未来:互联网+大数据

核心项目:

1. TerraServer(1998):

• 全球第一个大规模在线地图数据库
• 证明SQL Server能处理TB级数据
• 获奖后不久的重大成果

2. SkyServer(2000s):

• Sloan Digital Sky Survey数据库
• 天文学与计算机科学的结合
• Gray的新激情:科学数据管理

3. 数据密集型科学: Jim Gray提出”第四范式”科学:

• 第一范式:实验科学(伽利略)
• 第二范式:理论科学(牛顿)
• 第三范式:计算科学(天气模拟)
• 第四范式:数据科学(挖掘海量数据发现规律)

论文: “Jim Gray on eScience: A Transformed Scientific Method”(2009,去世后出版)

性格转变:

• 年轻时:技术极客,专注代码和论文
• 晚年:思想家,思考技术对科学和社会的影响

传奇落幕:失踪之谜(2007)

2007年1月28日,星期日:

出发:

• Jim Gray驾驶他的40英尺帆船Tenacious
• 从旧金山湾出发,前往Farallon Islands(约50公里外)
• 目的:为母亲撒骨灰(母亲去世,Gray想在她喜欢的地方纪念)
• 独自一人

失联:

• 当天下午应该返回,但未归
• 家人报警
• 海岸警卫队启动搜救

史无前例的搜救:

传统手段:

• 飞机搜索:48小时内飞行24架次
• 船只搜索:海岸警卫队、志愿者
• 覆盖5万平方公里海域

科技界动员:

NASA:

• 提供卫星图像(高分辨率)
• 覆盖Farallon Islands周边海域

Google:

• Larry Page亲自关注
• 动员员工人工标注卫星图像(Amazon Mechanical Turk)
• 10万志愿者在线帮助寻找

微软:

• 同事用算法分析洋流、风向
• 预测漂流物可能位置
• 实时更新搜索区域

全球科技界:

• Werner Vogels(Amazon CTO)、Jeff Dean(Google)等发声
• 悬赏10万美元寻找线索

结果:

• 什么都没找到
• 船没找到,人没找到,残骸也没有
• 就像蒸发了一样

2012年5月: 法院宣布Jim Gray死亡(失踪5年后法定推定)

可能的原因

官方推测:

• 船只碰撞:被货船撞击(Farallon附近是航线)
  • 货船可能未察觉(帆船小,雾天能见度低)
  • 解释船和人都未找到(沉入深海)
• 天气突变:虽预报良好,但海况可能突然恶化

其他理论:

• 心脏病发(Gray有心脏问题)
• 船只故障

Gray的朋友:

“Jim非常有经验,谨慎。出事一定是意外。“

遗产与纪念

微软:

• 设立Jim Gray Systems Lab
• 年度Jim Gray Seed Fund资助研究

ACM:

• 设立Jim Gray Doctoral Dissertation Award
  • 数据库领域最佳博士论文
  • 每年颁发

SIGMOD:

• Jim Gray Memorial Lecture
  • 数据库顶会的特邀演讲

他的船: Jim Gray的失踪地点,现在是旧金山湾区水手的纪念地标。

💭 为什么他值得纪念?

1. 他定义了”可靠”

之前:数据库可靠性靠经验和运气 之后:ACID提供了精确的可靠性定义和实现方法

今天的影响: 每次你网购、转账、刷卡,ACID都在确保数据正确。

2. 他是理论与实践的桥梁

不只写论文:

• System R:第一个关系数据库
• TerraServer:大规模Web数据库
• SkyServer:科学数据管理

Gray证明: 最好的理论来自解决真实问题,最好的实践基于坚实理论。

3. 他跨越边界

学术↔工业: 在IBM、Tandem、DEC、微软,都保持学术活力

计算机↔科学: 晚年投入天文学,提出”第四范式”科学

技术↔人文: 关心技术如何改变社会,如何服务人类

4. 他的失踪象征着一个时代

搜救:

• 科技界动用最先进技术(卫星、算法、众包)
• 但面对自然,技术仍有无力之处
• 提醒我们:技术不是万能的

遗产: Gray的工作继续守护数字世界的可靠性,而他的故事提醒我们敬畏自然、珍惜生命。

🔍 技术深度:ACID的实现细节

日志结构

逻辑日志(Logical Log):

<T1, 开始>
<T1, UPDATE, 表=账户, 键=A, 旧值=1000, 新值=900>
<T1, UPDATE, 表=账户, 键=B, 旧值=500, 新值=600>
<T1, 提交>

物理日志(Physical Log):

<T1, 开始>
<T1, 页=5, 偏移=100, 旧字节=[...], 新字节=[...]>
<T1, 页=7, 偏移=200, 旧字节=[...], 新字节=[...]>
<T1, 提交>

Gray的贡献: 定义了日志格式和语义,成为工业标准

锁的粒度

表级锁:

• 简单,但并发性差

页级锁:

• 折中方案

行级锁:

• Gray推动的方向
• 最大化并发性
• 现代数据库标配

隔离级别

SQL标准定义四个级别(Gray参与制定):

1. 读未提交(Read Uncommitted):

• 可能读到未提交的数据(脏读)
• 最快,但不安全

2. 读已提交(Read Committed):

• 只读已提交的数据
• 大多数数据库默认级别

3. 可重复读(Repeatable Read):

• 事务内多次读同一数据,结果相同
• MySQL InnoDB默认

4. 串行化(Serializable):

• 完全隔离,等价于串行执行
• 最安全,但最慢

Gray的贡献: 形式化定义各级别的语义,平衡性能与正确性

🧪 实践意义:Gray的教训

对数据库开发者

可靠性优先:

• Gray:“宁可慢,不可错。”
• 金融、医疗等关键系统,正确性高于性能

日志是核心:

• 所有可靠性机制(恢复、复制、审计)都基于日志
• 设计数据库,先设计日志

对系统架构师

CAP定理的权衡:

• Consistency、Availability、Partition tolerance不可兼得
• Gray的工作偏重Consistency
• NoSQL偏重Availability
• 根据应用选择

分布式事务的代价:

• 2PC增加延迟、降低可用性
• 微服务时代:尽量避免分布式事务,用Saga模式(补偿事务)

对数据科学家

“第四范式”的启示:

• 数据驱动的科学发现
• 但需要可靠的数据管理
• Gray的遗产:数据库技术服务科学

📚 延伸阅读

经典论文

Jim Gray (1981): “The Transaction Concept: Virtues and Limitations”

• ACID的系统化阐述
• 必读经典

Jim Gray & Leslie Lamport (1976): “Consensus on Transaction Commit”

• 2PC的理论基础

Jim Gray et al. (1992): “The Recovery Manager of the System R Database Manager”

• ARIES算法详解

书籍

Jim Gray & Andreas Reuter: “Transaction Processing: Concepts and Techniques” (1992)

• 事务处理圣经
• 1000+页,全面深入

Jim Gray (ed.): “The Benchmark Handbook” (1993)

• 数据库性能测试标准

纪念文集

“Jim Gray on eScience: A Transformed Scientific Method” (Springer, 2009)

• 去世后出版的文集
• 收录Gray关于科学数据管理的论文和演讲

纪录片与访谈

“Jim Gray Tribute” (YouTube)

• 微软研究院制作
• 同事、朋友的回忆

ACM Turing Award Lecture (1998)

• Gray的获奖演讲
• 回顾职业生涯,展望未来

🌟 精神遗产

”可靠性不是事后补救,而是设计的核心”

Gray从System R开始就坚持: 数据库必须先保证可靠,再追求性能。

今天的启示: 系统设计之初就要考虑故障、并发、一致性,而非事后修补。

“理论必须接受实践的检验”

Gray不是纸上谈兵的学者,而是:

• 自己写代码
• 构建真实系统
• 解决工业问题

教训: 最有影响力的研究,往往来自解决真实痛点。

“技术服务于人类的更高追求”

Gray晚年投入科学数据管理:

• 不是为了商业利润
• 而是为了加速科学发现
• 造福全人类

精神: 技术人不应只盯着股价和估值,更要思考技术对世界的意义。

---

总结语: Jim Gray是”数据可靠性的守护者”。他用严谨的理论和精巧的协议,让数字世界的每一笔交易都值得信赖。从你刷卡买咖啡的0.1秒,到银行跨国转账的复杂流程,从淘宝的秒杀库存扣减,到NASA的火星任务数据管理,背后都是Jim Gray的ACID性质和2PC协议在默默工作。

他不仅是理论家,更是实践者——从IBM的System R到微软的TerraServer,他证明了最优雅的理论可以变成最实用的产品。他不仅是计算机科学家,更是思想家——“第四范式”科学的愿景,指引着大数据时代的科学研究。

2007年,他消失在太平洋的迷雾中,科技界动用卫星、算法、众包搜寻,但大海保守了秘密。这个悲剧性的结局,提醒我们技术的边界,也让他的传奇带上了神秘的色彩。但他的工作永存——每一秒,全球数十亿笔事务在他定义的ACID保障下执行,这才是对他最好的纪念。

这束始于1970年代IBM实验室的可靠性之光,至今照亮着数字经济的每一个角落,并将永远闪耀。

---

最后更新: 2024年12月 本文为图灵奖系列文章,旨在以通俗方式介绍计算机科学先驱的贡献