---

各位看官们。大家好，上一回中咱们说的是进程间同步与相互排斥的样例，这一回咱们说的样例是：使用信号量进行进程间同步与相互排斥。

闲话休提，言归正转。让我们一起talk C栗子吧！

看官们，信号量是由著名计算机科学家迪杰斯特拉(Dijkstra)提出的一种概念，专门用来解决进程间同步与相互排斥。在他提出的概念中信号量是一个非负整数值.

信号量的操作仅仅能有两种原子操作：

• 等待信号;
• 发送信号。

“什么是原子操作呢？”台下有看官在提问。原子操作就是指某个动作在运行时不能被其他动作中断，它会一直进行，直到该动作运行完毕为止。比方，我们在写代码的时候，突然收到一封邮件，这时候系统会临时中断写代码的程序vim（我用的是vim),然后让邮箱client发一个收到邮件的通知。然后再恢复到vim写代码的动作中。样例中使用vim写代码的动作就不是一个原子操作，仅仅有它不能被其他动作中断时，它才是一个原子操作。

接下来我们介绍对信号量的原子操作。

等待信号

等待信号也叫P操作。

例P(sem)表示对信号量sem进行P操作。

• 假设sem的值大于零，p操作会把sem的值减去1。
• 假设sem的值等于零，那么挂起运行p操作的进程；

发送信号

发送信号也叫V操作。比如V(sem)表示对信号量sem进行V操作。

• 假设有进程在由于等待sem而被挂起，那么唤醒等待的进程；
• 假设没有进程由于等待sem而被挂起。那么把sem的值加上1.

伪代码

以下是使用信号量进行进程同步与相互排斥的伪代码：

nocritical code     //非临界区的代码

P(sem);             //运行P操作，进入临界区。运行临界区中的代码

{

    critical code;  //临界区代码

    do something

}

V(sem);            //运行V操作，离开临界区

nocritical code    //非临界区的代码

假设上面伪代码中的信号量sem值为1,进程A開始运行上面的伪代码。在进入临界区前先对信号量进行P操作，这时sem的值变为0,然后进程A运行临界区中的代码，这个时候进程B也開始运行上面的伪代码，在进入临界区前先对信号量进行P操作，这时进程A还没有离开临界区，信号量sem的值为零。进程B就会被挂起。直到进程A离开临界区运行V操作时，sem的值变为1,然后唤醒等待sem的进程B。接着进程B进入临界区而且运行临界区中的代码。

大家能够看到。通过信号量的P/V操作。能够保证在同一个时间内。仅仅有一个进程在运行临界区中的代码，也就是说实现了进程的同步与相互排斥。

看官们。本章回中就不写代码了。由于我们还没有介怎样使用信号量。在后面的章回中，我们会介绍信号量的操作。而且结合详细的样例，把伪代码转换成实际的代码。

各位看官，关于使用信号量进行进程间同步与相互排斥的样例咱们就讲到这里。欲知后面还有什么样例，且听下回分解 。

---