荔园在线
荔园之美，在春之萌芽，在夏之绽放，在秋之收获，在冬之沉淀
[回到开始]
[上一篇][下一篇]
发信人: qyf (奋起), 信区: Program
标 题: 从Dijkstra谈帅才的洞察力(zz)
发信站: 荔园晨风BBS站 (Tue Jul 8 20:39:45 2003), 站内信件
编者按：9月5日，本期报纸即将截稿付印之际，方正集团转来了王选老师特别写给
《计算机世界》的这篇文章。
在文中，王选院士缅怀计算机科学先驱Dijkstra的历史功绩，在技术的时空中浓缩
大师的魅力、勾勒计算机科学发展的轨迹。但在缅怀的背后，更值得读者重视的，
是王选老师对中国软件产业缺乏既懂管理又懂技术的“师才”的忧虑。
《计算机世界》最近报道了计算机科学先驱Dijkstra于8月上旬逝世的消息。（见
《计算机世界》第31期，A10版——编者注）Dijkstra被西方学术界称为“结构程
序设计之父”和“先知先觉”（Oracle），他一生致力于把程序设计发展成一门科
学。科学研究的帅才最重要的素质是洞察力（Vision和Insight），能够发现有前
景的新领域或在新领域内发现和解决最关键的问题。下面仅举几例说明Dijkstra的
洞察力。
解决编译系统中的关键问题
FORTRAN是最早得到一定程度推广的高级语言，但FORTRAN的编译系统并未科学地解
决一些主要的难题。最早提出用堆栈（stack）来编译复杂公式的是德国的Bauer和
Samelson，他们的著名论文“顺序公式的翻译”（Sequential Formula
Translation）是编译方面的经典论文。最近有些报道说Dijkstra是堆栈的发明人
，这恐怕不符事实。Dijkstra发展了堆栈的概念，使之用于整个编译，以及目标代
码运行时的动态存储分配，并在此基础上和Jenson完成了世界上第一个ALGOL60编
译系统，采用了他首创的优先数编译算法。其中递归调用子程序时的环境维护是
Dijkstra的重要贡献，Display这一术语就是当时他发明的，这是用来维护动态环
境的一组寄存器（软件），其结构清晰并能适应任何复杂情况。我于20世纪60年代
初看完他的文章后马上想到，假如计算机硬件中有对应的设备将极大地提高软件的
运行效率。
Dijkstra是ALGOL 60报告的主要起草者之一，1972年Dijkstra在他获得ACM图灵奖
的讲演中，仍对这一报告给予高度评价：“只有极少极少几个像ALGOL60报告这样
短的文件能给计算机界带来如此深远的影响。”
同步进程的协调和操作系统的结构
Dijkstra在1950～1952年期间曾当过三年程序员，在从事硬件中断处理程序的研制
中，他发现一些程序错误在多个中断同时出现的情况下无法再现，很容易被当作硬
件的瞬间故障，这一现象使Dijkstra毛骨悚然，促使他后来钻研用科学方法从事软
件研制。操作系统是当时最复杂的软件，1965年Dijkstra在ACM通讯上发表了仅一
页长的短文“并行程序的控制”，这是他在操作系统领域的第一个重要贡献。该文
提出了并行程序互锁问题的一个解决方案。“死锁”（Deadly embrace）这一术语
是Dijkstra发明的。1967年在首届操作系统原理研讨会上，Dijkstra介绍了他和几
个博士生研制的THE多道程序系统。THE系统的目的是验证Dijkstra关于操作系统原
理、结构、同步进程通信机制等方面的一系列新想法。今天已经普遍采用的系统的
多层结构、抽象、上层不需了解下层的详细细节等科学原则就是当时Dijkstra提出
的，引起了强烈反响；同步进程通信的信号量Semaphore这一术语也是Dijkstra当
时创造的。
同步进程协调方面的程序错误是很难发现的，为此我曾吃过大苦头。1979年我开始
设计Ⅱ型照排系统，用了两台双极型高速微处理器平行工作实现轮廓字形的复原和
控制激光扫描，两台微处理器通过信号量彼此协调。设计和编程均无错误，但在把
微程序翻译成二进制代码时错了一位，结果造成了无法再现的随机故障：激光打印
机输出的汉字有时拖尾巴。这一故障持续了一年多，引起用户不满，后由潍坊计算
机公司的一位协作人员挖空心思地发现了错误的原因，即二进制码错误，问题才得
以解决。
上世纪六十年代操作系统的研制经受了一系列重大挫折，典型的例子是OS 360。而
Dijkstra为首的一批科学家的努力，使操作系统走上了健康发展的道路。
Go To语句有害和结构程序设计
结构程序设计被称为软件发展中的第三个里程碑（第一、二个里程碑是子程序和高
级语言）。早在1965年召开的IFIP会议上，Dijkstra就提出“Go To语句可以从高
级语言中取消”，“一个程序的质量与程序中所含的Go To语句的数量成反比”。
但是，Dijkstra讲话的影响很小，当时人们正忙于IBM 360系列的使用；而IBM
360的主要语言之一是FORTRAN，Go To语句则是FORTRAN的支柱。
1968年Dijkstra给ACM通讯写了一篇短文，该文后改成信件形式刊登，以便早日发
表，这就是具有历史意义的、著名的“Go To Letter”。Dijkstra在信中建议：“
Go To语句太容易把程序弄乱，应从一切高级语言中去掉；只用三种基本控制结构
就可以写各种程序，而这样的程序可以由上而下阅读而不会返回”。这封信引起了
激烈的讨论。人们逐渐认识到：不是一个简单地去掉Go To的问题，而是促进一种
新的程序设计观念、方法和风格，以期显著提高软件生产率和降低软件维护代价。
当时采用结构程序设计方法的两个最著名项目是：
1． 纽约时报信息库管理系统，含8.3万行源代码，只化了11人年，第一年使用过
程中，只发生过一次使系统失效的软件故障；
2． 美国宇航局空间实验室操作的模拟系统，含40万行源代码，只用两年时间就全
部完成。
上个世纪六十年代末到七十年代初，上述这两个系统可以算得上是大型软件了。
结构程序设计概念影响了后来的高级语言，也影响了一代程序员的风格和习惯。
坚持真理，不惜反对恩师
ALGOL 68语言是Van Wijingaarden为主设计的，得到了IFIP下属的工作小组的多数
票通过。Wirth、Dijkstra和Hoare等工作小组成员发表了“少数派报告”，强烈反
对这一语言及其表达方式。ALGOL 68的表达方式独特而严格,但不易理解，是
Wijingaarden的发明。事实证明，少数派是正确的，ALGOL 68很快就夭折了。
要知道，Wijingaarden是Dijkstra的恩师。上世纪五十年代初Dijkstra在阿姆斯特
丹数学中心编程序时Wijingaarden是他的领导。Dijkstra当时正在攻读理论物理学
位，他发现理论物理课程和程序设计在精力上越来越冲突，他又拿不定主意，到底
成为一个理论物理学家还是选择程序设计作为自己的职业，而他当时又担心程序设
计能否成为被尊敬的学科。充满不安心情的Dijkstra于1952年春的一个早晨敲开了
Wijingaarden办公室的门。几个小时的谈话，使Dijkstra变了另外一个人，因为
Wijingaarden向他指明了程序设计这门学科正处在起步阶段，因而有重大的机会，
Dijkstra可以努力使程序设计变成一个受人尊敬的学科。Dijkstra把这次谈话称为
他一生中的转折点，于是决定尽快结束理论物理研究，全身心地投入程序设计。
Dijkstra说，为此他应该终生感谢Wijingaarden。但是Dijkstra还是强烈地反对其
恩师的得意之作ALGOL 68，少数派报告虽被IFIP压制，但真理终究得到了证明，后
来的成功语言都是背离ALGOL 68方向的。
Dijkstra的名言今天仍有现实意义
Dijkstra的主要贡献是在上个世纪五十年代末到七十年代初，也就是他二十多岁到
四十岁出头这段时间完成的。回忆这些过去的成就是想强调：洞察力对一个科学家
是何等的重要! Dijkstra获图灵奖以后，软件领域又涌现出图形用户界面、面向对
象技术等一系列新的里程碑，因特网更是带来一个全新的时代。但是三十年前
Dijkstra关于程序可靠性的一些名言至今仍有意义：
“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障
引入。”
“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无
能为力的。”
Dijkstra大力鼓吹程序正确性证明，但这一方法离实用还有相当距离，因为一段源
程序的正确性证明的文字往往比源代码还要长，所以充分的软件测试今天仍不可或
缺。但是程序员的科学训练是十分重要的，有人曾做过一个试验：一个题目由一批
印度程序员编程，其结果惊人地相似；而由一批中国程序员来做，编出的程序五花
八门。中国的软件人员有时把创造性放在不恰当的地方。只有规范的科学的编程，
一个大项目才能得到有效的管理，其质量才有保证。
中国软件产业的发展需要有洞察力的帅才，也需要一大批训练有素的程序设计人员
和既懂技术又懂管理的项目领导人。
2002年9月3日
王选简历
王选教授，男，汉族，江苏无锡人，1937年2月生于上海，1958年毕业于北京大学
数学力学系。现为北京大学计算机研究所所长、教授、博士生导师，中国科学院院
士、中国工程院院士、第三世界科学院院士，文字信息处理技术国家重点实验室主
任，电子出版新技术国家工程研究中心主任，北大方正集团董事，方正控股有限公
司首席科技顾问，全国人大常委，人大教科文卫委员会副主任委员，九三学社副主
席，中国科协副主席。
王选院士是著名的计算机应用专家，主要致力于文字、图形、图象的计算机处理研
究。1975年开始主持我国计算机汉字激光照排系统和以后的电子出版系统的研究开
发，跨越当时日本的光机式二代机和欧美的阴极射线管式三代机阶段，开创性地研
制当时国外尚无商品的第四代激光照排系统。并在国内外得到迅速推广应用，使中
国报业技术和应用水平处于世界最前列。被誉为“当代毕”。
王选院士曾荣获联合国教科文组织科学奖，日内瓦国际发明展览金牌，首届毕奖，
首届中国专利金奖，陈嘉庚奖，何梁何利科学与技术进步奖，美洲华人工程师学会
成就奖、海外华人设立的潘文渊奖、王丹萍奖，香港蒋氏科技成就奖，以及全国先
进工作者、北京市劳模、“首都楷模”、首都精神文明建设奖等荣誉。鉴于王选教
授在科技领域作出的杰出贡献，国务院隆重授予他2001年度国家最高科学技术奖。
本文未经许可 谢绝转载！
--
你可是天边的那片，伴我同行的云彩？
※ 来源:·荔园晨风BBS站 bbs.szu.edu.cn·[FROM: 192.168.14.2]
[回到开始]
[上一篇][下一篇]
荔园在线首页 友情链接：深圳大学 深大招生 荔园晨风BBS S-Term软件 网络书店