图灵奖得主（三）

本文转自：本文转自：http://bbs.gxnu.edu.cn/bbsanc.php?path=%2Fgroups%2FGROUP_5%2FProgramming%2Fother%2FM.1029997222.A

        继1979年度图灵奖首次授予一位加拿大学者K.E.Iverson之后， 1989年度的图灵 奖又一次授予加拿大学者威廉·凯亨(William M.Kahan)。
        1933年6月，凯亨生于多伦多。完成中学学 业以后，凯亨进入著名的多伦多大学 。在那里，他实现了“三级 跳”——继1954年取得数学学士学位以后，1956年 和1958年又先后 获得硕士学位和博士学位。学成以后，  亨既在母校和加州大 学伯克利分校从事过教学和研究，又在Intel、NS、IBM、HP、Apple等 著名的计 算机元器件公司和整机制造厂家工作过。这些经历使 他积累了丰富的工程实践经 验，并为计算机科学技术，尤其是 在计算机运算技术的发展方面做出了重要贡献 。
          大家知道，计算机中的“数”有“定点数” 和“浮点数”之分，“定点数”的运 算部件的设计和实现比较容易， 而“浮点数”的运算部件的设计和实现却复杂得 多，困难得多。 因此，较早的计算机许多都不配备浮点运算，而是采用IBM的巴 科斯(J.Backus，1999年度图灵奖获得者)发明的软件，由定点运算部 件去完成浮 点运算。但这种做法使浮点运算的速度大大降低， 难以满足某些应用的需要。正 是凯亨，在Intel工作期间，主持设计 与开发了8087芯片，成功地实现了高速、 高效的浮点运算部件。目 前，以80×86为CPU的计算机，若需完成科学与工程计 算方面的课 题，必须同时配置8087这种数学协处理器。一些著名的数学软件 包 ，如Mathematica，也必须在配有8087数学协处理器的机器上才能 运行。由于有 这样的背景，凯亨受命主持制定了二进制的、与基 数无关的浮点运算标准， 即IEEE754标准和IEEE854标准。这两个标 准至今仍为绝大多数的计算机厂商所遵 守。
         除了以上主要贡献外，凯亨在科学、工 程、财会计算的数值算法的设计、误差分 析、验证与自动诊断方 面也有卓越的贡献，他是该领域中世界公认的权威，曾发 表过 许多有价值的论文。尤其是在矩阵计算方面，凯亨有极高的学 术造诣。
         作为一名数学家，凯亨在教学与研究工 作中素以作风严密、严谨、严格著称。但 为此，他也付出了一定 的代价。在本文，值得提一下这样一个小插曲，即凯亨获 得图灵 奖以后，引发了一场争议和争论。这在图灵奖的历史上是唯一 的一次。 事情是这样的：ACM于1990年1月宣布凯亨因在浮点运算 标准的制定上的贡献而获 得图灵奖，并在1990年2月于华盛顿召 开的?90CSC(计算机科学会议)上正式向凯 亨颁奖。这之后，ACM 收到了一名读者对凯亨获奖表示异议的信。按照“言论自 由”的 原则，ACM把这封信不加评论地发表在《ACM通讯》7月份的 “ACM论坛 ”(ACMForum)这一专栏中。
            这名读者提出异议的理由主要有两条： 一是凭“制定标准”就获奖，条件不足。 但对这一点，该读者大概 也觉得并不理直气壮，因而并未发挥，匆匆带过。重点 在第二条， 即凯亨在伯克利大学对学生不公正。不公正表现在哪里呢?该 读者说 ，伯克利大学的大学生绝大多数课程都能取得高分，只 有凯亨教授上的数据结构 和程序设计课例外，这是其一。其二 是该读者自己和其他5～6名同学在进入伯克 利的研究生院的 初试中，6门笔试课中的5门都顺利通过，只有凯亨教授主持的 数值分析课的考试通不过，不得不重考。而他之所以未能通过， 是因为他认为解 题的步数比运算结果的精度更加重要，凯亨教 授不同意他的这种观点。这封读者 来信发表以后，10月份出版 的《ACM通讯》上，在“ACM论坛”中发表了另一名读 者表示不同 意见的来信。这名读者认为，上述读者介绍的情况，恰恰说明凯 亨 教授对学生高标准、严要求，是值得称道的；而解题步数同运 算结果 谝□□□ ?nbsp;  者更重要，显然正确的一方是凯亨教授。因 此这名读者表示，在看了上述读者 的 信之后，他只是更加增加 了对凯亨教授的敬意，而不是相反。争论至此结束。在 这个过程 中，图灵奖的评奖委员会和凯亨教授本人都没有出来说任何 话。这一 小插曲也许对我国教育界和学术界有所启示。
          凯亨目前仍在伯克利计算机科学系任 教授。

 

        1990年度的图录奖授予著名的计算机系统专家、麻省理工学院 计算机科学与工程系教授费尔南多·考巴脱（Fenando.Jose Corbato）。

      考巴脱是西班牙移民的后裔，1926年6月生于奥克兰。考 巴脱念高中时，二次世界大战爆发。他在2年内完成了3年的学 业，提前毕业进入加州大学伯克利分校，但只念了一年书，就 被应征入伍，参加海军。在经过培训和当了一年见习电子技 师 后，考巴脱在一艘驱逐舰供应船上任正式的电子技师，负责维 护雷达、声纳等各种无线电电子设备。战时的硂段经历对于考 巴脱是一个极可贵的学习与锻炼，使他对电子线路和仪器设 备十分熟悉，也培养了他坚韧的性格，为他日后的成功奠定了 基础。

       战后，考巴脱进入加州理工学院学习，取得学士学位，然 后去MIT深造，继续学习物理。在这里，他首次接触到旋风计算 机，并产生了浓厚的兴趣。1956年，考巴脱获得博士学位后就留在学校的计算中心 工作。MIT的计算中心主 任是PhilipMorse教授，这个计算中心也是 由他努力争取建起来的。因为当时的计算机都是昂贵的庞然 大物，学校没有足够资金购置。Morse教授说服IBM公司把一台 最新的704型计算机安装在MIT，并成立计算中心，其条件是机 器三班工作 ，其中一班留给IBM使用。

        在20世纪50年代和60年代初期，计算机都是以批处理方式 工作的。所谓“批处理”，就是将编好的程序预行穿孔在卡片或 纸带上，通过光电的读卡机或读带机输入计算机，然后才能运 行程序。一批程序运行完以后，再输入另一批穿孔卡片(或纸带) 上的程序运行……。这种方式使计算机的使用效率极低，使大量资源大部分时间处于闲置状态。1959年1月，当时也在MIT工作的J.Mc Carthy ( 1971 年度图灵奖获得者，我们将另文介绍)给Morse教 授提交了一份备忘录，首次提出 “timesharing”(分时)的概念，以 解决批处理的弱点。 “分时 赤涤祢宾铥Q是将CPU时间划分 为许多小片，叫“时间片”(times lice)，轮流去为多个用户程序服务。 由于CPU速度很快，这多个用户都感觉好像自己在独占计算机 一样。Morse对McCarthy的设想十分赞赏，并鼓励手下的人去研究。 于是在MIT成立了一个“长期研究委员会”负责实现McCarthy的设 想，McCarthy、考巴脱都是该委员会的成员。但Mc Carthy由于与委员会主席产生矛盾，中途离开MIT去了斯坦福。这样，实瞷Mc Carthy 设想的重任落在了考巴脱身上。

        1961年，世界上第一个分时系统CTSS(CompatibleTimeSharingSystem， 名称中有Compatible这个词，是因为它作为分时系统，也能“兼容” 进行批处理)在考巴脱领导下研制成功并进行了表演，成为计 算机发展史上有里程碑性质的一个重大突破，开创了以交互方式由多用户同时共享计算机资源的新时代。分时系统的实 现也是计算机真正走向普及的开始。

        CTSS开发成功引起了美国国防部的高度重视。作为计算 机的最大用户的美国国防部立即作出反应，于1962年由ARPA出 资300万美元启动著名的MAC项目，MAC的目标是完善CTSS，实现 第二代分时系统。MAC仍由考巴脱带头，考巴脱曾力图动员 IBM、DEC、Burrough和UNIVAC等计算机的大公司参加MAC。但IBM当 时正集中力量开发360系列，未能参与，其他公司也因种种原因 不能如愿。最后由MIT、通用电气公司GE的计算机部、以及贝尔 实验室三家作为MAC的主要成员，承担了研制任务，于1969年推 出了著名的MULTICS，即多路信息计算系统(Multiplexed Information and Computer System)。作为一种通用的操作系统，MULTICS能有效地把 计算机资源分配给多个远程用户程序，同时解决了安全和保 密等问题。MULTICS还第一次在操作系统这样的大型系统软件 中全面地使用结构化程序设计方法，并用当时推出不久的高 级程序设计语言PL/I编写了功能上独立于机器的全部系统程序。
        MULTICS在商业上虽然没有取得很大成功(仅Honeywell公司 和法国的Bull公司在70年代初把它变成商品)，但在计算机系统 的发展史上仍占有重要的地位。以贝尔实验室的K.Thompson和 D.Ritchie而言(这两人是1983年图灵奖获得者)，他们当初就都是 MAC的成员，后来他们在开发UNIX系统时借鉴了来自MULTICS的 许多思想。
        考巴脱的主要著作有：
      《兼容的分时系统：程序员指南》(《The Compatible Time Sharing System: A Programmer's Guide》，MITPr.,1963)
      《高级计算机程序设计：课堂汇编语言程序实例分析》 (《Advanced Computer           Programming: A Case Study of a Classroom Assembly Program》，MIT  Pr.,1963)
         考巴脱获得的荣誉很多。1966年他获得IEEE的首届McDowell 将(这鮊是为纪念把IBM引上计算机产业之路并发展起来的 前任总裁McDowell而设立的)；1980年考巴脱获得AFIPS颁发的Harry Goode奖(HarryGoode是AFIPS的主要创始人之一)；1982年他又获得IEEE 的“计算机先锋奖”(“The Computer Pioneer Award”)。
        在接受图灵 碑□A考巴脱作为一个计算机系统专家，发 表了题为“论如何建造会出故障的系统”的精彩演说(“On Building Systems That Will Fail”)。他的演说以及与记者的对话，刊载于1991年 9月的《Communications of ACM》，p7290。