信号量机制（一）

信号量

第一节知识总览

（注：若考试中出现 P(S)、V(S)的操作，除非特别说明，否则默认 S 为记录型信号量。）

复习回顾+思考：之前学习的这些进程互斥的解决方案分别存在哪些问题？

进程互斥的四种软件实现方式(单标志法、双标志先检查、双标志后检查、Peterson 算法)
进程互斥的三种硬件实现方式(中断屏蔽方法、TS/TSL 指令、Swap/XCHG 指令）
1.在双标志先检查法中,进入区的“检查”、“上锁”操作无法一气呵成,从而导致了两个进程有可能同时进入临界区的问题;
2.所有的解决方案都无法实现“让权等待”

1965 年、荷兰学者 Dijkstra 提出了一种卓有成效的实现进程互斥、同步的方法–信号量机制

信号量的定义

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

信号量其实就是一个变量(可以是一个整数,也可以是更复杂的记录型变量),可以用一个信号量来表示系统中某种资源的数量,比如:系统中只有一台打印机,就可以设置一个初值为 1 的信号量。

原语是一种特殊的程序段,其执行只能一气呵成,不可被中断。原语是由关中断/开中断指令实现的。软件解决方案的主要问题是由“进入区的各种操作无法一气呵成”,因此如果能把进入区、退出区的操作都用“原语”实现,使这些操作能“一气呵成”就能避免问题。

一对原语:wait(S)原语和 signal(S)原语,可以把原语理解为我们自己写的函数,函数名分别为 wait 和 signal,括号里的信号量 S 其实就是函数调用时传入的一个参数 wait、 signal 原语常简称为 P、V 操作(来自荷兰语 proberen 和 verhogen)因此,做题的时候常把 wait(s)、 signal(s)两个操作分别写为 P(S)、V(S)。

整型信号量的一个列子

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

与普通整数变量的区别：对信号量的操作只有三种，即初始化、P、V 操作

例：某计算机系统中有一台打印机…

int S = 1;              //初始化整型信号量S，表示当前系统中可
                        //用的打印机资源数

void wait (int S){      //wait原语，相当于“进入区”。
    while (S <= 0);     //如果资源数不够，就一直循环等待
    S=S-1;              //如果资源数够，则占用一个资源
}

void signal (int S){    //signal原语，相当于“退出区”
    S=S+1;              //使用完资源后，在退出区释放资源
}

wait()：“检查”和“上锁”一气呵成，避免了并发、异步导致的问题。
仍存在的问题：wait()中的 while 循环不满足“让权等待”原则，会发生“忙等”。

进程$P_0$:

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

进程$P_1$:

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

进程$P_2$:

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

根据原语的特性可知，同一时刻只会有一个进程在使用打印机资源。当该进程使用完打印机资源后，其余两个进程才有机会使用打印机。

记录型信号量的一个列子

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

/*记录型信号量的定义*/
typedef struct{
    int value;          //剩余资源数
    struct process *L;  //等待队列
}semaphore;

/*某进程需要使用资源时，通过wait原语申请*/
void wait(semaphore S){
    S.value--;
    if (S.value<0){
        block (S.L);
    }
}

如果剩余资源数不够，使用block原语使进程从运行态进入阻塞态，并把当前进程挂到信号量 S 的等待队列（即阻塞队列）中。

/*进程使用完资源后，通过signal原语释放*/
void signal (semaphore S){
    s.value++;
    if (S.value <= 0){
        wakeup(S.L);
    }
}

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

例：某计算机系统中有 2 台打印机…，则可在初始化信号量 S 时将 S.value 的值设为 2，队列 S.L 设置为空。

假设现在有 4 个相同的进程$P_0、P_1、P_2、P_3$想要使用打印机资源

wait(S);
使用打印机...
signal(S);

• 最开始$P_0、P_1$进程首先申请打印机资源。此时 S.value=0，资源恰好分配完
• 若$P_2、P_3$也想要申请资源，则会被$wait$原语阻塞。此时，S.value=-1，表示有 1 个进程在等待，S.value=-2，表示有 2 个进程在等待。
• $P_0$进程使用完资源后，执行$signal$原语释放一个打印机资源。此时，S.value=-1，说明有进程在等待该资源。所以从信号量的等待队列中唤醒在头指针位置的进程，即$P_2$进程。
• 同样的，$P_1$进程使用完资源后，将打印机资源分配给$P_3$进程。
• 当$P_2、P_3$使用完资源后，将打印机资源还给系统即可。

总结

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

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

3. 对信号量 S 的一次 P 操作意味着进程请求一个单位的该类资源,因此需要执行 S.value–,表示资源数减 1,当 S.value<0 时表示该类资源已分配完毕,因此进程应调用 block 原语进行自我阻塞(当前运行的进程从运行态 → 阻塞态),主动放弃处理机,并插入该类资源的等待队列 S.L 中。可见,该机制遵循了“让权等待”原则,不会出现“忙等”现象。

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