信号量与生产者消费者模型

【信号量（semaphore）通过一个整型变量来记录可被唤醒的次数，以供后续使用。该变量的取值可以是0（表示没有剩余的唤醒操作）或正值（表示存在一个或多个未被使用的唤醒操作）。

该机制包含两种操作：down和up（即PV原语），它们分别对应于sleep和wakeup的一般化形式。当对某一信号量执行down操作时，首先会判断其当前值是否大于0。若该值大于0，则将其减1（即消耗一个可用的唤醒信号），并继续执行；若该值为0，则当前进程将进入睡眠状态，而down操作本身并未结束。在这一过程中，数值的检查、变量值的修改以及可能发生的睡眠行为均被视为一个不可分割的整体操作。这种原子性确保了在某个信号量的操作开始后，在其完成或阻塞之前，其他进程无法访问该信号量。原子性对于解决同步问题以及防止竞争条件具有至关重要的作用。所谓原子操作，是指一组相关联的操作要么全部连续完成，要么完全不执行。

up操作则将信号量的值加1。如果存在一些进程由于此前未能完成down操作而处于睡眠状态，则系统会从中选择一个进程（如随机选择）并允许其继续完成down过程。因此，在对某个存在等待进程的信号量执行一次up之后，虽然其数值仍为0，但等待的进程数量却减少了1。同样地，增加数值与唤醒进程这两个动作也必须作为一个整体进行处理，并且不会出现因执行up而导致阻塞的情况，这与前面模型中不会因wakeup而