分享

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

图灵奖获得时间：

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

图灵奖引用(Turing Award 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

RISC与CISC体系结构的比较：

RISC vs. CISC: the Post-RISC Era:

http://arstechnica.com/cpu/4q99/risc-cisc/rvc-1.html

CISC and RISC 体系结构比较：

RISC vs. CISC Still Matters

关于计算机体系体系结构，可参见：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去世的官方消息。

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一生获得过许多荣誉，例如：

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历史照片:
 

分享