信号量机制

实现进程互斥，同步的方法

整型信号量

记录型信号量

一、概念

用户进程可以通过使用操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互斥、进程同步。

1.信号量

信号量其实就是一个变量（可以是一个整数，也可以是更复杂的记录型变量)，

可以用一个信号量来表示系统中某种资源的数量，

比如:系统中只有一台打印机，就可以设置一个初值为1的信号量。

2.原语

原语是一种特殊的程序段，其执行只能一气呵成，不可被中断。原语是由关中断/开中断指令实现的。

软件解决方案的主要问题是由“进入区的各种操作无法一气呵成”，因此如果能把进入区、退出区的操作都用“原语”实现，使这些操作能“一气呵成”就能避免问题。

一对原语: wait(S)原语和signal(S)原语，可以把原语理解为我们自己写的函数，函数名分别为 wait和signal，括号里的信号量S其实就是函数调用时传入的一个参数。

wait、signal原语常简称为P、V操作（来自荷兰语 proberen和 verhogen)。因此，做题的时候常把wait(S)、signal(S)两个操作分别写为P(S)、v(S)

二、整型信号量

用一个整数型的变量作为信号量，用来表示系统中某种资源的数量。

与普通整数变量的区别:对信号量的操作只有三种：

即初始化、P操作、v操作

Eg :某计算机系统中有一台打印机...

int s=1;//初始化整型信号量s，表示当前系统中可用的打印机
​
//“检查”和“上锁”一气呵成，避免了并发、异步导致的问题
void wait(int s)    //wait原语，相当于进入区
{
    while(s<=0);    //如果没有空闲资源，就一直等待
    s=s-1;          //有空闲资源，就占用一个资源
}
​
​
​
void signal(int s)  //相当于退出区
{
    s=s+1;          //释放资源
}

进程1：

....;
wait(s);        //进入区，申请资源
使用打印机资源;   //临界区，访问资源
signal(s);      //退出区，释放资源

存在的问题：

不满足“让权等待”原则，会发生忙等。会占用CPU，浪费资源

三、记录型信号量

整型信号量的缺陷是存在“忙等”问题，因此人们又提出了“记录型信号量”，即用记录型数据结构表示的信号量。

//记录型信号量的定义
typedef struct 
{
    int value;          //剩余资源
    struct process *L;  //等待队列
}semaphor;
​
void wait(semaphore s)
{
    s.value--;//只要使用了wait原语，就减少一个资源量
    if(s.value<0)//资源量大于0，就直接使用，没有资源就在这里阻塞等待，这个进程被放入到等待队列中
    {
        block(s.L);
    }
}
​
void signal(semaphore s)
{
    s.value++;//只要是要了signal原语，就释放一个资源量
    if(s.value<=0)//如果释放之后，信号量<=0，说明之前有进程申请过使用资源，现在还在等待队列中，所以应该唤醒在等待对列队头的一个进程
    {
        wakeuo(s.L);
    }
}

block(s.L)：

如果剩余资源数不够，

使用block原语使进程从运行态进入阻塞态，并当前进程挂到信号量s的等待队列（(即阻塞队列）中

wakeuo(s.L)：

释放资源后，若还有别的进程在等待这种资源，则使用wakeup原语唤醒等待队列中的一个进程，该进程从阻塞态变为就绪态

P0:

...;
wait(s);
使用打印机资源;
signal(s);

s.value+1后，<=0;说明还有进程在等待该资源

s.value+1后，>0;说明没有进程在等待该资源

四、总结

在考研题目中 wait(S)、signal(S)也可以记为P(S)、v(S)，这对原语可用于实现系统资源的“申请”和“释放”。

S.value的初值表示系统中某种资源的数目。

对信号量s的一次Р操作意味着进程请求一个单位的该类资源，因此需要执行S.value--，表示资源数减1，

当S.value <0时表示该类资源已分配完毕，因此进程应调用block原语进行自我阻塞（当前运行的进程从运行态→阻塞态），主动放弃处理机，并插入该类资源的等待队列s.L中。

可见，该机制遵循了“让权等待”原则，不会出现“忙等”现象。

对信号量s的一次V操作意味着进程释放一个单位的该类资源，因此需要执行S.value++，表示资源数加1，若加1后仍是S.value <=0，表示依然有进程在等待该类资源，因此应调用wakeup 原语唤醒等待队列中的第一个进程（被唤醒进程从阻塞态→就绪态）。