美国计算机协会(ACM)昨晚宣布,,ACM官方公布了2017年度图灵奖的获得者:两位计算机体系结构大师斯坦福大学前校长John L. Hennessy和加州伯克利大学的David Patterson教授获此殊荣,实至名归!
表彰他们在计算机体系结构的设计和评估方面开创了一套系统的、量化的方法,并对微处理器行业产生了深远的影响。
图灵奖 2017 同时颁发给前斯坦福大学校长 John L. Hennessy 与加州大学伯克利分校退休教授 David A. Patterson,两人目前都就职于Google公司,分别担任 Alphabet 的 董事长,以及 Google 的研究员。两人得奖的理由是发明了改变世界的低功耗精简指令集计算机 (RISC) 处理器,二者得奖的理由虽然相同,但其研究领域来看,一个是真正的 RISC 发明者,另一位则是基于 RISC 架构的二次研发,推同样推动 RISC 技术的发展,但本质上有着相当程度的差异。
ACM 将于 2018 年 6 月 23 日(星期六)在加利福尼亚州旧金山举行的 ACM 年度颁奖晚宴上正式将图灵奖颁发给 Hennessy 和 Patterson 两人。
RISC架构发明者--大卫·帕特森(David A. Patterson)
Patterson 出生于 1947 年,于 1969 年从加州大学洛杉矶分校获数学学士学位。1970 年和 1976 年,从加州大学洛杉矶分校分别获得计算机硕士和博士学位。1976 年,博士毕业后,加入加州大学伯克利分校计算机系。
1994 年,当选美国计算机协会会士(ACM Fellow)。
2004 年至 2006 年,任美国计算机协会主席。
2016 年,David Patterson 教授宣布从加州大学伯克利分校退休,学校给他举办了一个退休典礼,纪念他在计算机架构方面的 40 年学术生涯。一年之后,教授公开宣布自己加入谷歌 TPU 团队,谷歌的 TPU 论文中也有他的署名。
Patterson 教授在伯克利大学带领团队长期进行着 RISC 的研究,对全世界 RISC 处理器的研发和相关应用做出了巨大贡献;他在 2003 年到 2005 年间是美国总统信息技术咨询委员会成员,2004 到 2006 年间任国际计算机学会主席;他还是磁盘阵列 RAID 的研发者之一。
威斯康星大学麦迪逊分校计算机系的主任 Mark Hill 认为,Patterson 教授在计算机架构方面是「20 世纪后 50 年里最杰出的几个人之一」。他同时还表示,Patterson 教授与 Hennessy 教授合著的那本计算机架构书是这个领域近 25 年来最有影响力的教科书。
RISC,就是Hennessy和Patterson所提出的,全称是精简指令集计算机(reduced instruction set computer)。这种微处理器与之前的相比,速度更快、功耗更低。
从20世纪60年代开始,科学家们就在探索如何降低架构的复杂度,正是如今这两位图灵奖得主当年在斯坦福和伯克利分别领导的工作,清晰明确了RISC方法的可行性,让这个概念为学术界和工业界所熟知。
和当时流行的复杂指令集计算机(CISC)不同的是,RISC只需要很小一组简单的基本指令,降低计算机的工作量,也减少了所需晶体管的数量。
△https://www.cs.utexas.edu/users/fussell/courses/cs352h/papers/risc.pdf
1982年,Patterson的伯克利团队造出了第一款RISC处理器原型:RISC-1。这款处理器有44000个晶体管,性能却完胜10万个晶体管的CISC处理器。
之后,RISC处理器走上了商业化进程。1984年,Hennessy联合创立了MIPS计算机系统公司,尝试将斯坦福团队的工作商业化。
不久后,太阳微系统公司(Sun)推出SPARC微架构,商业化了伯克利团队的工作。
MIPS的发明者 --约翰·轩尼诗(John L. Hennessy)
Hennessy 出生于 1953 年。1973 年,他从维拉诺瓦大学获取电机工程学士学位。1975 年以及 1977 年,分别从纽约石溪大学获取计算机科学硕士及博士学位。Hennessy 于 1977 年成为斯坦福大学的教师。
1981 年,他开始进行 MIPS 项目,并研究 RISC 处理器。
1984 年,他利用年度休假的时间创建了 MIPS Computer Systems Inc.,将他研究开发的技术进行商业化。
1987 年,他成为电气工程和计算机科学的 Willard 和 Inez Kerr Bell 教授。
1989 年到 1993 年,Hennessy 担任了斯坦福大学计算机系统实验室主任。
1994 年到 1996 年,他曾担任斯坦福大学计算机科学系主任。
1996 年到 1999 年,他担任斯坦福大学工程学院院长。
1999 年,斯坦福大学校长格哈德·卡斯帕(Gerhard Casper)任命 Hennessy 接任斯坦福大学教务长。
随后 2000 年卡斯帕卸任后,斯坦福董事会任命 Hennessy 接替卡斯帕出任校长一职,并一直延续到 2016 年。在这段时间内斯坦福完成了从一个地区性教育机构到世界顶级大学的蜕变,斯坦福外围的硅谷也成为了世界创新的引擎,而 Hennessy 教授则成为公认的「硅谷教父」。
此外值得注意的是 Hennessy 从 2004 年起便加入了 Google(后来的 Alphabet 公司)的董事会,并于 2007 年担任独立董事。
在 2018 年 2 月,伴随着 Alphabet 公司(Google 的母公司)发布 2017 年财报,还同时宣布 66 岁的 Hennessy 为 Alphabet 的第三任董事长。
Hennessy的辉煌开始于1984年与 Skip Stritter 和 John Moussouris 博士共同创立了 MIPS 计算机系统公司,他也是最初的 MIPS 架构的设计者之一。
作为MIPS的设计者之一,有不少独创的CPU架构设计很多是出自 John L. Hennessy之手,虽然 MIPS 的荣光不再,但其相关专利的重要性与在历史上的地位不容抹灭
开创性的教科书
相信所有和计算机体系结构打过交道的朋友们都看过David Patterson与John Hennessy的煌煌巨作,《计算机体系架构:量化研究方法》。
这是一本非常有影响力的教科书,这本书1990年出版,现在英文已经更新到了第6版,中文也已更新到第5版,向一代又一代的工程师、科学家传递着他们二人的方法论。
Hennessy和Patterson的书引导了芯片设计界的一股潮流,让人们不再单纯的追求性能提升,而是开始在设计架构时将能耗、散热、片外通信等问题考虑在内。
在微处理器设计领域,这是第一本提供了分析和科学框架,还为工程师准备了方法论和评估工具的教材。
关于图灵奖:
ACM 图灵奖,通常被称为「计算机领域的诺贝尔奖」,是由美国计算机协会(ACM)于 1966 年设立,奖项设立的目的之一是为了纪念世界计算机科学的先驱艾伦·图灵(A.M. Turing),并专门奖励对计算机事业作出重要贡献的个人,获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。由于图灵奖的授予对获奖者要求极高,评奖程序也极为严格,一般每年只奖励一到两名科学家,从 1966 年至今 53 年的时间里也只有 67 位获奖者。图灵奖获得者将被授予 100 万美元的奖金(2014 年后),由 Google 全额赞助。
据相关资料统计,截止2017年,美国斯坦福大学的图灵奖人数(校友或教职工)位列世界第一(26位),美国麻省理工学院(25位)和美国加州大学伯克利分校(25位)并列世界第二,;哈佛大学(14位)和普林斯顿大学(13位)分列世界第四和第五名。
截至目前,获得图灵奖的华人学者仅有姚期智一人。(2000年)
历年图灵奖获奖名单:
年份
中文译名
姓名
贡献领域
1966年
艾伦·佩利
Alan J. Perlis
高级程序设计技巧,编译器构造
1967年
莫里斯·威尔克斯
Maurice V. Wilkes
存储程序式计算机EDSAC,程序库
1968年
理查德·卫斯里·汉明
Richard Hamming
数值方法,自动编码系统,错误检测和纠错码
1969年
马文·明斯基
Marvin Minsky
人工智能
1970年
詹姆斯·维尔金森
James H. Wilkinson
数值分析,线性代数,倒退错误分析
1971年
约翰·麦卡锡
John McCarthy
人工智能
1972年
艾兹格·迪科斯彻
Edsger Dijkstra
程序设计语言的科学与艺术
1973年
查理士·巴赫曼
Charles W. Bachman
数据库技术
1974年
高德纳
Donald E. Knuth
算法分析、程序设计语言的设计、程序设计
1975年
艾伦·纽厄尔
赫伯特·西蒙
Allen Newell
Herbert A. Simon
人工智能,人类认知心理学和列表处理 (list processing)
1976年
迈克尔·拉宾
达纳·斯科特
Michael O. Rabin
Dana S. Scott
非确定性自动机
1977年
约翰·巴克斯
John Backus
高级编程系统,程序设计语言规范的形式化定义
1978年
罗伯特·弗洛伊德
Robert W. Floyd
设计高效可靠软件的方法学
1979年
肯尼斯·艾佛森
Kenneth E. Iverson
程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践
1980年
东尼·霍尔
C. Antony R. Hoare
程序设计语言的定义与设计
1981年
埃德加·科德
Edgar F. Codd
数据库系统,尤其是关系型数据库
1982年
史提芬·古克
Stephen A. Cook
计算复杂度
1983年
肯·汤普逊
丹尼斯·里奇
Ken Thompson
Dennis M. Ritchie
UNⅨ操作系统和C语言
1984年
尼古拉斯·沃斯
Niklaus Wirth
程序设计语言设计、程序设计
1985年
理查德·卡普
Richard M. Karp
算法理论,尤其是NP-完全性理论
1986年
约翰·霍普克罗夫特
罗伯特·塔扬
John Hopcroft
Robert Tarjan
算法和数据结构的设计与分析
1987年
约翰·科克
John Cocke
编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发
1988年
伊凡·苏泽兰
Ivan Sutherland
计算机图形学
1989年
威廉·卡亨
William Morton Kahan
数值分析
1990年
费尔南多·考巴脱
Fernando J. Corbató
CTSS和Multics
1991年
罗宾·米尔纳
Robin Milner
LCF,ML语言,CCS
1992年
巴特勒·兰普森
Butler W. Lampson
分布式,个人计算环境
1993年
尤里斯·哈特马尼斯
理查德·斯特恩斯
Juris Hartmanis
Richard E. Stearns
计算复杂度理论
1994年
爱德华·费根鲍姆
拉吉·瑞迪
Edward Feigenbaum
Raj Reddy
大规模人工智能系统
1995年
曼纽尔·布卢姆
Manuel Blum
计算复杂度理论,及其在密码学和程序校验上的应用
1996年
阿米尔·伯努利
Amir Pnueli
时序逻辑,程序与系统验证
1997年
道格拉斯·恩格尔巴特
Douglas Engelbart
互动计算
1998年
詹姆斯·尼古拉·格雷
James Gray
数据库与事务处理
1999年
弗雷德里克·布鲁克斯
Frederick P. Brooks,Jr.
计算机体系结构,操作系统,软件工程
2000年
姚期智
Andrew Chi-Chih Yao
计算理论,包括伪随机数生成,密码学与通信复杂度
2001年
奥利-约翰·达尔
克利斯登·奈加特
Ole-Johan Dahl
Kristen Nygaard
面向对象编程
2002年
罗纳德·李维斯特
阿迪·萨莫尔
伦纳德·阿德曼
Ronald L. Rivest
Adi Shamir
Leonard M. Adleman
公钥密码学(RSA加密算法)
2003年
艾伦·凯
Alan Kay
面向对象编程
2004年
文特·瑟夫
罗伯特·卡恩
Vinton G. Cerf
Robert E. Kahn
TCP/IP协议
2005年
彼得·诺尔
Peter Naur
Algol 60语言
2006年
法兰西斯·艾伦
Frances E. Allen
优化编译器
2007年
爱德蒙·克拉克
艾伦·爱默生
约瑟夫·斯发基斯
Edmund M. Clarke
Allen Emerson
Joseph Sifakis
开发自动化方法检测计算机硬件和软件中的设计错误
2008年
芭芭拉·利斯科夫
Barbara Liskov
编程语言和系统设计的实践与理论
2009年
查尔斯·萨克尔
Charles Thacker
帮助设计、制造第一款现代PC
2010年
莱斯利·瓦伦特
Leslie Valiant
对众多计算理论所做的变革性的贡献
2011年
犹大·伯尔
Judea Pearl
人工智能
2012年莎菲·戈德瓦塞尔
希尔维奥·米卡利
Shafi Goldwasser
Silvio Micali
由于在密码学和复杂理论领域做出创举性工作2013年莱斯利·兰伯特Leslie Lamport在提升计算机系统的可靠性及稳定性领域的杰出贡献2014年迈克尔·斯通布雷克
Michael Stonebraker
对现代数据库系统底层的概念与实践所做出的基础性贡献[9]2015年惠特菲尔德·迪菲
马丁·赫尔曼
Whitfield Diffie and Martin Hellman这两个人是非对称加密的创始人2016年蒂姆·伯纳斯·李Tim Berners-Lee万维网的发明者2017年大卫·帕特森
约翰·轩尼诗
David A. Patterson
John L. Hennessy
发明 RISC 处理器黑科技从业者:一双科技的眼睛,欢迎关注!
:一双科技的眼睛,欢迎关注!