2.3_10 读写者问题

2.3_10 读写者问题

问题分析

有读者和写者两组并发进程,共享一个文件,当两个或两个以上的读进程同时访问共享数据时不会产生副作用,但若某个写进程和其他进程(读进程或写进程)同时访问共享数据时则可能导致数据不一致的错误。

因此要求:

1. 允许多个读者可以同时对文件执行读操作;

2. 只允许一个写者往文件中写信息;

3. 任一写者在完成写操作之前不允许其他读者或写者工作;

4. 4写者执行写操作前,应让已有的读者和写者全部退出。

5. **关系分析。**找出题目中描述的各个进程,分析它们之间的同步、互斥关系。

6. **整理思路。**根据各进程的操作流程确定P、V操作的大致顺序

7. **设置信号量。**设置需要的信号量,并根据题目条件确定信号量初值。(互斥信号量初值一般为1,
   同步信号量的初始值要看对应资源的初始值是多少)

两类进程：写进程、读进程
互斥关系 ：进程-写进程、写进程一读进程。读进程与读进程不存在互斥问题。

如何实现

semaphore rw=1; //用于实现对共享文件的互斥访问
int count=0; //记录当前有几个进程在访问文件
semaphore mutex=1; //用于保证对count变量的互斥访问
semaphore w=1; //用于实现“写优先”

writer(){
    while(1){
        P(w);
        P(rw); //写之前“加锁”
        写文件
        V(rw); //写完了“解锁”
        V(w);
    }
}

reader(){
    while(1){
        p(w);
        P(mutex); //各读进程互斥访问
        if(count==0) //由第一个读进程负责
            P(rw); //读之前“加锁”
        count++; //访问文件的读进程数+1
        V(mutex); //
        V(w);
        读文件
        P(mutex);
        count--; //访问文件的读进程数-1
        if(count==0) //由最后一个读进程负责
            V(rw); //读完了“解锁”
        V(mutex);
    }
}

---

知识回顾与重要考点

读者-写者问题为我们解决复杂的互斥问题提供了一个参考思路。

其核心思想在于设置了一个计数器count用来记录当前正在访问共享文件的读进程数。我们可以用count的值来判断当前进入的进程是否是第一个/最后一个读进程,从而做出不同的处理。

另外,对count变量的检查和赋值不能一气呵成导致了一些错误,如果需要实现“一气呵成”,自然应该想到用互斥信号量。

最后,还要认真体会我们是如何解决“写进程饥饿”问题的。

绝大多数的考研PV操作大题都可以用之前介绍的几种生产者-消费者问题的思想来解决,如果遇到更复杂的问题,可以想想能否用读者写者问题的这几个思想来解决。