一、信号量概念
它是一个用来同步进程的特殊变量,一个特殊的计数器,只能对它进行等待和发送信号这两种操作。大于0时记录资源的数量,小于0时,记录等待资源的进程数量,最简单的信号量只能取值0和1的变量。即二进制信号量(二元信号量或双态信号量)。可以取多个正整数的信号量被称为通用信号量。
信号量(semaphore)的数据结构为一个值和一个指针,指针指向等待该信号量的下一个进程。信号量的值与相应资源的使用情况有关。
信号量:相当于计数器,>0时,表示当前可用资源的数量;进程总是可以获取到资源并使用
<0时,其绝对值表示等待使用该资源的进程个数;进程必须阻塞等待其他进程释放资源
=0时,没有临界资源,如果进程访问临界资源,则进程会被阻塞。
注意,信号量的值仅能由PV操作来改变。
信号量相当于一个临界资源的计数器,我们可以预先定义好临界资源的个数,然后在相应的地方对该信号量所控制的临界资源数量进行加减操作,当我们要运行一个会用到该临界资源的进程时,我们先将临界资源的数量减一,表示我们这个进程使用了一个临界资源。进程结束时,再对该临界资源的数量进行加一操作,表示我们已经用完了这个临界资源。这时如果有其他进程想要使用该临界资源,就执行和该进程相同的加减操作。
二、 临界资源和临界区域