操作系统 -- 信号量

信号量机制

1965年，荷兰学者Dijkstra提出了一种卓有成效的实现进程互斥，同步的方法 – 信号量机制。
用户进程可以使用操作系统提供的一对原语来对信号量进行操作，从而很方便的实现了进程互斥和进程同步。
信号量其实就是一种变量，可以用一个信号量来表示系统中某种资源的数量。
一对原语 ：wait（S）原语和signal（S）原语，可以把理解为我们自己写的函数，函数名分别为wait和signal，括号里的S其实就是使用函数调用时传入的一个参数。
wait和signal原语简称为P，V操作（来自荷兰语proberen和verhogen,是高度和增量的意思）。

1:整形信号量
用一个整数型的变量作为信号量，用来表示系统中某种资源的数量。
与普通整数变量的区别：对信号量的操作只有三种：初始化，P操作，V操作。
“检查”和“上锁”一气呵成，避免了并发、异步的问题。
存在的问题：不满足“让权等待”原则，会发生“忙等”。

2:记录型信号量
解决整型信号量的“忙等”问题。即用记录型数据结构表示的信号量。

S.value表示某种资源数
S.L表示指向等待该资源的队列
P操作中，一定是S.value–,之后可能需要执行block原语
S操作中，一定是先S.value++,之后可能需要wakeup原语

信号量机制实现进程互斥

1:分析并发进程的关键活动，划定临界区
2:设置互斥信号mutex,初值为1
3:在临界区之前执行P（mutex）
4:在临界区之后执行V（mutex）

注意：对于不同的临界资源需要设置不同的互斥信号量。P，V操作必须成对出现。

信号量机制实现进程同步

进程同步 ： 要求各并发进程按要求有序地推进。
1:分析什么地方需要实现同步关系。
2:设置同步信号量S，初始为0
3:在“前操作”之后执行V（s）
4:在“后操作”之前执行P（s）

生产者-消费者问题

系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区取出一个产品并使用。

生产者，消费者共享一个初始为空，大小为n的缓冲区
只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。
只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。
缓冲区是临界资源，各进程必须互斥的访问。

PV操作题目分析步骤
1:关系分析，找出各个进程之间的同步和互斥关系
2:整理思路，根据各进程的操作流程确定P，V操作的大致顺序
3:设置信号量。设置需要的信号量，并根据题目条件确定信号量初值。

多生产者-多消费者问题

桌子上有一个盘子，每次只能向其中放入一个水果。爸爸专向盘子中放苹果，妈妈专向盘子中放橘子，儿子专等着吃盘中的橘子，女儿专等着吃盘子中的苹果。只有盘子空时，爸爸或妈妈才可向盘子中放入一个水果。仅当盘子中有自己需要的水果时，儿子和女儿才可以从盘子中取出水果。