操作系统-课堂笔记-信号量（南航）

进程同步-信号量

上篇博客地址

本节目录

1. 信号量的两种实现方式：整型信号量、记录型信号量
2. 信号量的应用：互斥、同步、前趋关系
3. 信号量集
4. 信号量应用：生产者消费者问题、哲学家进餐问题

信号量的两种实现方式

上一篇博客中我们已经讲到了一种信号量的实现方式，那是一种记录型信号量，现在我们来探讨下两种信号量实现方式的不同。

整型信号量：

整型信号量的实现方式：

wait(s){
	while(s<=0); //忙等
	s-=1;
}

signal(s){
	s+=1;
}

整型信号量的使用：

semaphore s=1;
do{
	wait(s);
		critical_section;
	signal(s);
		remainder_section;
}while(true);

Dijkstra将整型信号量定义为一个整型量，用来表示资源的使用情况

除初始化外，仅能通过两个标准的原子操作：wait(s), signal(s)来访问信号量，分别成为P、V操作。

上篇博客中讲到过s的含义，表示可利用资源个数，P操作申请一个资源，V操作释放一个资源。

缺点：忙等，将这种PV操作成为忙等PV操作。

注意：PV操作必须为原子操作，PV操作必须成对出现。

记录型信号量

记录型信号量在上一篇博客中已经给出了实现方式，下面再复习一下：

typedef struct{
  int value;
  struct process *list;
} semaphore;

void wait(semaphore *s){
  s->value--;
  if(s->value<0){ //表示没有服务员可用（没有资源可用，即临界资源已经被占用）
	  //将该进程加入到s->list中
	  //使该进程进入阻塞状态
	}
}

void signal(semaphore *s){
  s->value++;
  if(s->value<=0){
    //将s->list中的一个进程拿出来
    //将拿出来的进程唤醒，使其进入活动状态
  }
}

记录型信号量的使用：

semaphore s;
s.value=1;
do{
	wait(&s);
		critical_section;
	signal(&s);
		remainder_section;
}while(true);

思考：为何称其为记录型信号量？因为信号量的数据结构中有一个链表，将申请资源的进程都记录了下来，所以称其为记录型信号量。

s.value>0 表示某类资源还有s.value个可用。回想下上篇博客中提到的银行服务员的比喻，这里的s.value表示空闲银行服务员的个数，也表示如果现在来了s.value个客户，他们都能直接办理业务，无需等待。

s.value<=0 表示有|s.value|个进程因为请求该资源而阻塞。即有|s.value|个客户因为想要办理业务，但没有空闲服务员可用，导致需要排队。

s.value的初值为1时，表示允许一个进程访问临界资源，此时的信号量为互斥信号量。某银行只有一个服务员，那么这就和锁机制是一个道理了：同一时刻只能有一个客户可以接受服务，相当于某客户给银行服务员加了锁，其他客户在此期间不可办理业务。

信号量的应用

1. 互斥
2. 同步
3. 前趋关系

互斥

互斥是多线程/多进程问题最常见的问题，下面通过一个实例来演示如何用信号量解决互斥问题。
考虑三个进程同时工作：信号量为s，初值s.value=1, s.list=#（空），程序代码如下：

1. p1进程先执行wait(s)操作，一直执行到第7行，此时s.value=0, s.list=#；
2. 然后p2进程执行wait(s)操作，发现s.value-=1后s.value<0，于是p2进程被阻塞，此时s.value=-1, s.list=p2；注：此时p2的代码执行完了第6行，该执行第7行了（恢复的时候从第7行开始运行）；
3. 然后p3进程执行wait(s)操作，发现s.value-=1后s.value<0，于是p3进程被阻塞，此时s.value=-2, s.list=p2, p3。此时表示有两个进程因为不能访问到该资源而被阻塞，这两个进程分别是p2和p3。
4. 然后p1进程继续执行，直接执行完毕signal(s)，此时s.value+=1，而且从s.list中取出p2进程，并将其唤醒。此时：s.value=-1, s.list=p3；
5. 此时p2进程从第7行继续执行，执行完毕后signal(s)，步骤同上，再次唤醒了p3。此时s.value=0, s.list=#，表示目前因无法访问该资源而阻塞的进程数为0；
6. 此时p3进程从第7行继续执行，执行完毕后signal(s)，发现s.list中已经为空，不用唤醒其他进程。
7. 此时：s.value=1, s.list=#与初始状态一样。

• 注意s.value初始为1，当s.value=-n时，表示因为无法访问该资源而被阻塞的进程数为n。

同步问题

首先明确下什么是同步问题：

• 单单从同步两个字来看不好理解。
• 就像之前的临界区问题不如翻译成关键区一样，这里的同步不如称为合作问题。
• 举例：两个进程共享一个缓冲区：一个进程读，一个进程写，这不就是典型的两个人合作嘛！为什么叫同