操作系统导论习题解答（31. Semaphores）

Semaphores

带着问题学习：如何使用信号量(semaphores)？

1. Semaphores: A Definition

semaphore是一个具有整数值的对象，可以使用两个例程来对其进行操作。
POSIX中两个例程为sem_wait()和sem_post()。
在使用之前必须初始化，如下所示：
该例程sem_init()的第三个参数表示初始化值为1，第二个参数0表示在一个进程中线程可共享semaphore。
注：当semaphore的值为负数时，其值表示为处于等待状态的线程的数量。

2. Binary Semaphores(Locks)

使用一个semaphore作为锁(lock)，如下所示：
注：上图中X应该为1。

假设有两个线程0和1：
第一种情况：线程0一直运行到结束