c.curionode图灵奖档案

1987 · 图灵奖

约翰·科克

John Cocke

硬件与编译器的设计可以相互促进。

出生地
1925, Charlotte, North Carolina, USA
国家或地区
美国
获奖时任职
IBM 公司
领域
计算机系统
阅读奖项故事 ↗
插画肖像:约翰·科克
Curionode 原创 AI 插画. IBM historical collection · 肖像参考来源 ↗

01 · 计算人生

成果背后的人

约翰·科克在 IBM 研究计算机体系结构与优化编译器之间的关系。他通过 IBM 801 项目推动精简指令集计算,同时系统化整理了消除多余计算、更有效使用机器资源的编译器变换。他把硬件与软件视为相互联系的设计问题。图灵奖表彰了他对编译器理论及大型系统体系结构的贡献。

理解这项贡献

约翰·科克对编译优化、大型系统架构和精简指令集计算作出了贡献。处理器采用精心选择的简单指令,编译器则负责有效安排它们。他还系统整理了在保留程序含义的同时消除冗余工作的转换方法。

为什么重要

将硬件和编译器视为相互联系的设计问题,帮助提升了系统效率。

资料与延伸阅读

  1. Heidelberg Laureate Forum ↗www.heidelberg-laureate-forum.org
  2. ACM 官方档案 ↗amturing.acm.org
  3. IBM — John Cocke ↗www.ibm.com