2020-10-23

计算机理论界的泰斗——埃德斯佳·狄克斯特拉   1972年图灵奖授予荷兰的计算机科学家埃德斯佳·狄克斯特拉(Edsgar Wybe Dijkstra)。狄克斯特拉因最早指出“goto是有害的”以及首创结构化程序设计而闻名。在算法和算法理论、编译器、操作系统诸多方面，狄克斯特拉做出了杰出贡献。1983年，ACM为纪念Communications of ACM创刊25周年，评选出1958-1982年的四分之一世纪中在该杂志上发表的25篇有里程碑意义的论文，每年一篇，狄克斯特拉一人就有两篇入选，是仅有的两位学者之一。

        狄克斯特拉1930年出生，1948年进莱顿大学学习数学与物理。1951年，他自费赴英参加了剑桥大学的一个程序设计培训班，这使他成为世界上第一批程序员之一。1956年，他成功地设计并实现在有障碍物的两个地点之间找出一条最短路径的高效算法，这个算法被命名为“狄克斯特拉算法”，至今仍被广泛应用。1962年，狄克斯特拉在艾恩德霍芬技术大学参加了X8计算机的开发，设计与实现了具有多道程序运行能力的操作系统，他提出的一系列方法和技术奠定了计算机现代操作系统的基础，为了防止两个进程并发时产生错误，狄克斯特拉设计了一种同步机制叫“PV操作”，P操作和V操作是执行时不被打断的两个操作系统原语。在荷兰文中，“通过”为passeren，“释放”为vrijgeven，PV操作因此得名。这是在计算机术语中不是用英语表达的极少数的例子之一。

        1968年3月，Communications of ACM登出了狄克斯特拉的一封信，在信中他根据自己编程的实际经验和大量观察，得出如下结论：一个程序的易读性和易理解性同其中所包含的无条件转移控制的个数成反比关系，转向语句的个数愈多，程序愈难读、难懂。因此他认为“goto是有害的"，从而启发了结构化程序设计的思想。1972年，他与英国计算机科学家、1980年图灵奖获得者霍尔（C.A.R.Hoare)提出了另一个著名的论断：“程序测试只能用来证明有错，绝不能证明无错！”