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谈帅才的洞察力