那些在计算机科学领域闪耀的女性

器优化的先行者 ——Frances Allen 　　

　　Frances Allen 是第一位获得图灵奖的女性。事实上，在 1966 年图灵奖创立之后的 40 年间，这一计算机领域最富盛名的奖项都由男性垄断，直到 2007 年 2 月，Allen 才打破了这一局面。ACM 的官方声明这样评价她：“在优化编译器技术的理论和实践领域做出了先驱性贡献，奠定了现代优化编译器和自动并行执行技术的基础”。　　

　　作为编译器组织和优化算法的先行者，Allen 对计算世界做出了开创性的贡献。1957 年，她开始任职于 IBM，致力于高性能计算的编译器开发；她在并行计算方面的工作，至今仍处于编译器研究的前沿。当 2002 年从 IBM 退休时，她研究的蓝色基因计算机仍然是世界上运行得最快的机器。　　

　　有趣的是，Allen 进入 IBM 时并没有想到，自己在这里一待就是大半辈子。起初，她计划偿还了读研欠下的债务就离开，然而在这里的第一份工作就激发了她对编译的兴趣，成为她一生的热爱与追求。　　

　　去年的 8 月 4 日，在她的 88 岁生日当天，Allen 因阿尔茨海默病并发症去世，永远地离开了我们。她的离去，是计算机乃至整个科学领域的一大损失。加州大学伯克利分校名誉电子工程和计算机科学教授 Ruzena Bajcsy 曾表示，Allen 的贡献涵盖了计算机科学的大部分历史；她以一己之力，影响了整个计算机发展历程。她开发的并行处理技术，是如今的高速计算机得以运行的基础，使今天在商业和科技领域内使用的许多计算技术成为可能。　　序的设计师 ——Barbara Liskov 　　

　　继 Frances Allen，图灵奖在 2008 年迎来了历史上第二位女性得主 ——Barbara Liskov，以表彰她在编程语言和系统设计的理论和实践方面做出的一系列创造性和奠基性贡献。　　

　　1974 年，年仅 35 岁的 Liskov 已经成为麻省理工学院的教授，并且带领她的学生发明了一种新的编程语言 ——CLU。这是学术界公认的，计算机早期历史上最完善的程序设计语言之一。虽然没有被广泛采用，但其代码思想为后来众多高级语言的设计与实现奠定了基础，成为其后大多数新语言设计的起点；我们所熟知的 C++、Java、C#、Python，无一不受到 CLU 语言的影响。　　

　　Liskov 还有一项在程序设计中有广泛应用的成就。现代面向对象程序设计的 5 大原则 “SOLID” 中的 L，指代的正是她在 1987 年提出的里氏替换原则（Liskov Substitute Principle），即派生类（子类）对象可以在程序中代替其基类（超类）对象。在这一原则下，扩展的子类不会给已有的系统引入新的错误，从而降低了代码出错的可能性。　　

　　此外，Liskov 还在 CLU 的基础上实现了一种分布式程序设计语言 Argus，其设计思想和原理成为当今网络环境下分布式系统设计的基础，也是如今我们广泛使用的搜索引擎的基础。近期，她将研究重点转向容错系统方面，并且开发出名为 “拜占庭” 的分布式容错系统。这一系列的研究成果，对于互联网时代数据的一致性、安全性等都具有重大的意义。　　

（编辑：开发网_郴州站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!