PV原语 & 信号量（Semaphore）

艾兹格·迪科斯彻 荷兰计算机科学家
Edsger Wybe Dijkstra，1930年5月11日~2002年8月6日
1972年 图灵奖
1974年 AFIPS Harry Goode Memorial Award
1989年 ACM SIGCSE计算机科学教育教学杰出贡献奖
2002年 ACM PODC最具影响力论文奖
1）提出“goto有害论”;
2）提出信号量和PV原语;
3）解决了“哲学家就餐”问题;
4）Dijkstra最短路径算法和[银行家算法]
5）第一个Algol 60编译器的设计者和实现者;
6）THE操作系统的设计者和开发者;

信号量机制

1965年，荷兰学者 Dijkstra 提出的信号量机制时候一种卓有成效的进程同步与互斥的工具。

P( ) & V( ) 的历史

翻译如下：
在操作系统上，荷兰计算机科学家 E. W. Dijkstra 提出了一对同步原语 synchronization primitives， P( ) 和 V( )。

为了便于了解，有时候也称为 Down( ) and Up( ), or Wait( ) and Signal( )等等。

学生们经常问这代表什么意思。所以，我请教了一位同事，荷兰 Groningen University 的 Gert Vegter 教授。

Concerning Dijkstra's semaphores:
it's simple: P = Plantinga, V = Vegter (:-))

In fact, P = Probeer ('Try')
and V = Verhoog ('Increment', 'Increase by one').
These are the operations embracing the critical section.
Dijkstra introduced these ops in 1963\. Attached are 1974 lecture notes bij
Dijkstra explaining the PV mechanism. In dutch, unfortunately...
('Over seinpalen' = 'On semaphores')

这是 原始论文 。

荷兰语
Probeer : try，尝试
Verhoog : increse，提升