信号量

       信号量是一种用于提供不同进程间或者一个给定进程的不同线程间同步手段的原语。

三种类型的信号量：

（1）Posix有名信号量：使用Posix IPC名字标识，可用于进程或者线程间的同步。

（2）Posix基于内存的信号量：存放在共享内存区中，可用于进程或者线程间的同步。

（3）System V信号量：在内核中维护，可用于进程或者线程间的同步。

一个进程或者线程可以在某个信号量上执行的三种操作：

（1）创建（create）一个信号量。

（2）等待（wait）一个信号量。该操作会测试这个信号量的值，如果其值小于或者等于0，那就等待（阻塞），一旦其值变为大于0就将它减1.

（3）挂出（post）一个信号量。该操作将信号量的值加1。

       二值信号量可以用于互斥目的，就像互斥锁一样。如图：

        除了可以像互斥锁那样使用外，信号量还有一个互斥锁没有提供的特性：互斥锁必须总是由锁住它的线程解锁，信号量的挂出却不必由执行过它的等待操作的同一个线程执行。如图：

Posix提供两类信号量，有名信号量和基于内存的信号量，后者也称无名信号量。两种类型的信号量使用的函数如图：

互斥锁、条件变量和信号量之间的差别：

（1）首先，互斥锁必须总是由给它上锁的线程解锁。信号量没有这种限制：一个线程可以等待某个给定信号量，而另一个线程可以挂出该信号量。

（2）其次，一个信号量有一个与之关联的值。当一个线程挂出某个信号时，即使没有其他线程在等待该信号，信号值也不会丢失，延后再等待仍然可以取到挂出的值。然而，如果某个线程调用了pthread_cond_signal，不过当时没有任何线程阻塞在pthread_cond_wait调用中，那么发往相应条件变量的信号将丢失。

（3）最后，在各种同步原语中，能够从信号处理程序中安全调用的唯一函数是信号量挂出函数sem_post。