1987年的图灵奖获得者-John Cocke

John Cocke(05/30/1925—07/16/2002)

图 灵 奖 获 得 时 间 ：

1987年 。 第二十二位 图 灵 奖 (1987年 ) 获 得 者 。

 

图 灵 奖 引 用 (Turing Award Citation) ：

 

Citation

For significant contributions in the design and theory of compilers, the architecture of large systems and the development of reduced instruction set computers (RISC); for discovering and systematizing many fundamental transformations now used in optimizing compilers including reduction of operator strength, elimination of common subexpressions, register allocation, constant propagation, and dead code elimination.

 

中 文 翻 译 ：

 

( 授 予John Cocke 图 灵 奖 以 表 彰 其在)编译理论与实践领域的重要贡献，大型系统的体系结构，精简指令集(RISC)的开发，和发现与系统化被用在优化编译领域的许多基本的变换理论，例如：reduction of operator strength, elimination of common subexpressons, register allocation, constant propagation, and dead code elimination。

 

编 者 注 ：

 

John Cocke被认为是RISC体系结构之父。其图灵奖的获得通常被学术与工业界认为是对其在RISC方面工作的肯定。

 

关于RISC体系结构，可参见：

 

Reduced Instruction Set Computer:  http://en.wikipedia.org/wiki/RISC

 

关于CISC体系结构，可参见：

Complex Instruction Set Computer:  http://en.wikipedia.org/wiki/Complex_instruction_set_computer

 

RISC与CISC体系结构的比较：

RISC vs. CISC: the Post-RISC Era: http://arstechnica.com/cpu/4q99/risc-cisc/rvc-1.html

Comparison between CISC and RISC architecture

RISC vs. CISC Still Matters:  http://ctas.poly.asu.edu/bgannod/CET520/Spring02/Projects/demone.htm

 

关于计算机体系体系结构，可参见：

 

http://en.wikipedia.org/wiki/Computer_architecture

 

WWW Computer Architecture Page:  http://www.cs.wisc.edu/~arch/www/

 

Turing Award Lecture(图灵奖演讲文章)：

 

The Search for Performance in Scientific Processors (Turing Award Lecture). Commun. ACM 31(3): 250-253(1988)

 

John Cocke简 介 :

 

Jonh Cocke Wiki:

http://en.wikipedia.org/wiki/John_Cocke

 

IBM于2002年7月17日发布的关于John Cocke去世的官方消息：http://domino.watson.ibm.com/comm/pr.nsf/pages/news.20020717_cocke.html

 

IBM Waston研究中心关于John Cocke的介绍：

http://domino.watson.ibm.com/comm/pr.nsf/pages/bio.cocke.html

 

杜克大学关于其校友John Cocke的介绍：

http://www.pratt.duke.edu/alumni/profiles_cocke.php

 

John Cocke于1925年5月30日出生于Charlotte, North Carolina ，美国，去世于2002 年7 月16 日于Valhalla ，纽约。

 

John Cocke于1946年从杜克大学( Duke University www.duke.edu )获得其机械工程的学士学位，1953年从杜克大学获得其数学博士学位。从1956年到1992年，Cocke一直在IBM公司从事研发工作。

 

1975年在参与领导研制IBM 801微型计算机时，Cocke提出了精简指令集(RISC)的概念和设计。

关于IBM 801计算机的介绍，可参见：http://en.wikipedia.org/wiki/IBM_801

另外，目前流行的PowerPC体系结构也是从IBM 801的基础上演变而来的。关于PowerPC体系结构，可参见：

 

http://en.wikipedia.org/wiki/PowerPC

http://www-128.ibm.com/developerworks/power/library/pa-powerppl/index.html?ca=drs-

http://www-03.ibm.com/chips/power/powerpc/

 

RISC，相对于CISC技术，通过优化的编译器的方法来利用寄存器等等，得到了广泛的应用。Cocke也为学术界和工业界尊称为RISC之父。

John Cocke一生获得过许多荣誉，例如：

John Cocke's External Honors and Awards

1994 National Medal of Science
1994 The Computers & Communications Prize (NEC Foundation)
1993 Member, National Academy of Sciences
1992 Inventor of the Year Award (with G. Radin, N. Kreitzer, F. Carrubba)
1991 National Medal of Technology
1989 IEEE Computer Society Pioneer Award
1988 Honorary Doctor of Science, Duke University
1987 ACM A.M. Turing Award
1986 Fellow, American Academy of Arts and Sciences
1985 ACM/IEEE Computer Society Eckert-Mauchly Award
1979 Member, National Academy of Engineering
1976 ACM Programming Systems and Languages Paper Award (with F. Allen)

IBM Honors and Awards
1992 Hierarchical Memory System for RISC - Corporate Patent Portfolio Award (with N. Kreitzer and G. Radin)
1990 John E. Bertram Award for Sustained Excellence
1986 Logic Simulation Machine (LSM) - Corporate Outstanding Award
1982 Low Mass Actuator - Outstanding Innovation Award
1979 System Architecture Concepts of the 801 Minicomputer System - Corporate Outstanding Award
1972 IBM Fellow (a rank recognizing sustained outstanding contributions)
1968 Algorithms for Generation Highly Efficient Code - Corporate Award (with E. Lowry, F. Allen, J. Beatty)

 

John Cocke历史照片:

 

http://images.google.com/images?q=john+cocke&hl=en&lr=&sa=N&tab=wi&sourceid=tipimg

 

 

 

转自http://www.xtrj.org/