目录
读写者问题
问题描述
问题分析
进程互斥问题三部曲
读者写者算法实现
一、找进程——确定进程关系
二、找主营业务
三、找同步约束
a.互斥
b.资源
c.配额
理发店问题
问题描述
问题分析
进程互斥问题三部曲
理发店问题算法实现
一、找进程——确定进程关系
二、找主营业务
三、找同步约束
a.资源
b.互斥
c.配额
总结
读写者问题
问题描述
有一个许多进程共享的数据区。有一些只读取这个数据区的进程（Reader）和一些只往数据区写数据的进程(Writer)。现在要写一个程序，保证这些进程的运行是安全的。
问题分析
分析问题可以发现以下这些要点：
1、读者进程彼此可以同时访问共享数据区
2、读者和写者进程不可以同时访问共享数据区
3、写者进程彼此不可以同时访问共享数据区
进程互斥问题三部曲
任何进程互斥（PV问题）都可以按照以下三步思考（来源：山东大学高晓程老师）
一、找进程——确定进程关系
二、找主营业务——抛开互斥，确定每个进程的主要任务
三、找同步约束
- 互斥
- 资源（计数信号量、空闲空间信号量等）
- 限额
读者写者算法实现
接下来，我们按照上面三部曲的思路来实现这个PV经典算法
一、找进程——确定进程关系
进程有两类：1、读者进程；2、写者进程
进程关系如下：
1、读者写者是互斥的
2、写者之间是互斥的
3、读者之间不是互斥的
二、找主营业务
读者进程的主营业务就是：读取reading
写者进程的主营业务就是：写入writing
（此时不考虑任何同步约束~~）
代码如下：
//写者进程
writer(){
while(1){
writing;
}
}
//读者进程
reader(){
while(1){
reading;
}
}三、找同步约束
a.互斥
互斥约束：1、找到临界区；2、互斥变量紧贴临界区
在上面程序的基础上增加互斥约束，如下：
//写者进程
writer(){
while(1){
wait(rwmutex);
writing;
signal(rwmutex);
}
}
//读者进程
reader(){
while(1){
wait(mutex);
if(count==0){
wait(rwmutex);
}
count++;
signal(mutex);
reading;
wait(mutex);
count--;
if(count==0)
signal(rwmutex);
signal(mutex);
}
}关键点：
1、读者可以一起读取文件，但是读者和写者不能一起访问资源区。这表明如果没有读者访问，此时有一个读者想要访问资源区，他需要和写者竞争这个资源。一旦这个读者开始读取后，其他读者可以直接读取，不需要互斥访问。———需要一个读者和写者之间的互斥量rwmutex。
2、 由于只有第一个读者需要去竞争rwmutex，所以需要一个格外的变量count去记录目前有几个读者。
3、又由于count变量对于多个读者进程来说又是共享的变量（临界区），所以需要另外一个互斥量mutex去约束读者进程对count变量的访问
b.资源
资源视角主要包括有界缓存问题的计数信号量、先后执行问题的同步信号量等。本题显然没有这两个信号量的约束，所以这边资源视角没有新的代码修改。
但是资源视角是一个万能视角，我们可以从资源视角来看上面的互斥：
1、rwmutex是访问资源，第一个读者进程需要和众多写者进程去竞争。只有竞争成功才可以进一步操作
2、对count的访问也是一种读者进程间的访问资源，只有每个读者进程竞争到了这个资源，才可以访问count变量，对变量进行修改
c.配额
配额仅仅在特殊的进程互斥问题上才需要考虑，本题中并没有对配额进行限制。后续有遇到配额约束，我们再展开说说。
理发店问题
问题描述
理发店里有一位理发师、一把理发椅和 n 把供等候理发的顾客坐的椅子。如果没有顾客，理发师便在理发椅上睡觉；当一个顾客到来时，它必须叫醒理发师；如果理发师正在理发时又有顾客来到，那么，如果有空椅子可坐，顾客就坐下来等待，否则就离开理发店。
问题分析
1、只有n把顾客坐的等待椅子，一旦椅子满了，新顾客就离开
2、理发椅子只有一个
3、没有客人理发师就睡觉，客人来了理发师才理发
进程互斥问题三部曲
任何进程互斥（PV问题）都可以按照以下三步思考（来源：山东大学高晓程老师）
一、找进程——确定进程关系
二、找主营业务——抛开互斥，确定每个进程的主要任务
三、找同步约束
- 互斥
- 资源（计数信号量、空闲空间信号量等）
- 限额
理发店问题算法实现
一、找进程——确定进程关系
两个进程：1、理发师进程；2、顾客进程
1、理发师和顾客进程存在先后关系，顾客来了理发师才理发
2、顾客进程之间存在互斥关系，理发椅只有一张
3、顾客进程存在上限，一旦超过上限便不再添加
二、找主营业务
理发师：叫号+理发
顾客：取号+被理发
//理发师进程
Server(){
while(1){
叫号;
理发;
}
//顾客进程
Customer(){
while(1){
取号;
被理发;
}三、找同步约束
a.资源
顾客来了，给理发师释放一个资源；理发师理完发，给顾客们释放一种资源。所以这里需要两个资源customer、server：
//默认先对信号量操作，再进行实际操作
//理发师进程
Server(){
while(1){
wait(customer);
叫号; //减少一个顾客数，访问临界区
signal(server);
理发;
}
//顾客进程
Customer(){
while(1){
取号; //增加一个顾客数(可能失败，所以signal在后面），访问临界区
signal(customer);
wait(server)
被理发;
}只有n把顾客坐的等待椅子，一旦椅子满了，新顾客就离开。所以这里需要共享变量waiting，来记录等待的顾客数目：
//默认先对信号量操作，再进行实际操作
//理发师进程
Server(){
while(1){
wait(customer);
叫号; //减少一个顾客数，访问临界区
waiting--; //减少一个等待顾客数，访问临界区
signal(server);
理发;
}
//顾客进程
Customer(){
while(1){
if(waiting<n){
取号; //增加一个顾客数(可能失败，所以signal在后面），访问临界区
signal(customer);
wait(server)
被理发;
}
else{
离店;
}
}b.互斥
对所有临界区的变量加上互斥锁
//默认先对信号量操作，再进行实际操作
//理发师进程
Server(){
while(1){
wait(customer);
wait(mutex);
叫号; //减少一个顾客数，访问临界区
waiting--; //减少一个等待顾客数，访问临界区
signal(mutex);
signal(server);
理发;
}
}
//顾客进程
Customer(){
while(1){
wait(mutex); //这个wait同样也是保护if语句，所以在后面else结束if语句时也需要signal
if(waiting<n){
取号; //增加一个顾客数(可能失败，所以signal在后面），访问临界区
waiting++;
signal(mutex);
signal(customer);
wait(server)
被理发;
}
else{
signal(mutex);
离店;
}
}
}c.配额
配额仅仅在特殊的进程互斥问题上才需要考虑，本题中并没有对配额进行限制。后续有遇到配额约束，我们再展开说说。
总结
本文到这里就结束啦~~有时间我们再来进入其他的经典进程互斥算法
如果觉得对你有帮助，辛苦友友点个赞哦~
知识来源：操作系统概念（黑宝书）、山东大学高晓程老师PPT及课上讲解。不要私下外传
