定义

• 阻塞原因定义为条件变量condition

有两种操作

• x.wait：阻塞进程，将其插入到阻塞队列中
• x.signal：唤醒进程，将其插入到就绪队列中

与信号量的相似点

• wait/signal类似于信号量的P/V操作，实现进程的阻塞/唤醒

与信号量的不同点

• 条件变量没有值，仅实现“排队等待”功能
• 信号量有值，这个值反映了剩余资源数

P操作

• 将信号量值S减 1，表示「申请占用一个资源」
• 如果 s≤ 0，表示已经没有可用资源，则执行 P 操作的进程被阻塞
• 如果 s>0，表示现有的资源足够使用，则执行 P 操作的进程继续执行
• 举例：
  • 当信号量的值为2时，表示有 2 个资源可以使用；
  • 当信号量的值为-2的时候，表示有两个进程正在等待使用这个资源

V操作

• 将信号量值S加 1，表示「释放一个资源」，即使用完资源后归还资源
• 由于我们已经释放出一个资源了，因此需要唤醒阻塞进程

1、S>0表示有临界资源可供使用，这个时候为什么不需要唤醒进程？

• 所谓唤醒进程是从就绪队列（阻塞队列）中唤醒进程，而信号量的值大于 0 表示有临界资源可供使用
• 也就是说这个时候没有进程被阻塞在这个资源上，所以不需要唤醒，正常运行即可

2、S=0表示没有临界资源可供使用，为什么还要唤醒进程？

• V 操作是先执行S+1，也就是说，把信号量的值加1后才变成了0
• 在此之前，信号量的值是-1，即有一个进程正在等待这个临界资源，我们需要唤醒它

整型信号量

• 该信号量被定义为一个用于表示资源数目的整型量S
• 该机制不遵循“让权等待”的准则

记录型信号量

• 是一种不存在“忙等”现象的进程同步机制【遵循“让权等待”的准则】
• 需要一个用于代表资源数目的变量Value
• 需要一个进程链表L，用于链接所有等待该资源的进程
• wait操作 = P操作 = 请求一个资源
• signal操作 = V操作 = 释放一个资源

利用信号量实现同步
 

• 用资源P操作；
• 释放资源V操作；
• 此时信号量表示资源量

利用信号量实现互斥

• PV操作夹着互斥资源；
• 此时信号量表示互斥量

利用信号量实现前驱关系

• 描述程序之间或语句之间的前驱关系