八卦一把之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