八卦一把之Dijkstra

阅读更多

今天看《深入理解计算机系统》一书，Dijskstra提出了同步执行不同线程的方法，想起来最短路径算法，于是上网搜寻一番，摘录如下：

PV名字的起源
Edsger Dijkstra出生于荷兰，名字P和V来源于荷兰单词Proberen(测试)和Verhogen(增加)。

Edsger Wybe Dijkstra((1972 Turing Award) 1930-5-11 2002-8-6)

 

 

Edsger Wybe Dijkstra是计算机先驱之一，主要成就：结构化编程(建议取消goto)，提出并发pv抽象（用在操作系统层面），算法(dijkstra最短路径算法)。

 

语录：

“有效的程序员不应该浪费很多时间用于程序调试，他们应该一开始就不要把故障引入。”

“程序测试是表明存在故障的非常有效的方法，但对于证明没有故障，调试是很无能为力的。”

 

这句也可作为一个名词 voodoo programming的最好解释 ，程序正确性的证明是非常重要的。

 

ref:

Dijkstra生平介绍

http://www.topjoy.net/index.php/action_viewthread_tid_325.html

 

王选：从Dijkstra谈帅才的洞察力

http://www.lupaworld.com/39846/viewspace_17314.html