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談帥才的洞察力