读者写者问题

这篇文章参考了该链接http://blog.sina.cn/dpool/blog/s/blog_a3eacdb20101ct0c.html

2.读者—写者问题 读者—写者问题（Readers-Writers problem）也是一个经典的并发程序设计问题，是经常出现的一种同步问题。计算机系统中的数据（文件、记录）常被多个进程共享，但其中某些进程可能只要求读数据（称为读者Reader）；另一些进程则要求修改数据（称为写者Writer）。就共享数据而言，Reader和Writer是两组并发进程共享一组数据区，要求：

（1）允许多个读者同时执行读操作；
（2）不允许读者、写者同时操作；
（3）不允许多个写者同时操作。
Reader和Writer的同步问题分为读者优先、弱写者优先（公平竞争）和强写者优先三种情况，它们的处理方式不同。
（1）读者优先。对于读者优先，应满足下列条件：
如果新读者到：
①无读者、写者，新读者可以读；
②有写者等待，但有其它读者正在读，则新读者也可以读；
③有写者写，新读者等待。
如果新写者到：
①无读者，新写者可以写；
②有读者，新写者等待；
③有其它写者，新写者等待。
单纯使用信号量不能解决读者与写者问题，必须引入计数器rc 对读进程计数；rc_mutex 是用于对计数器rc 操作的互斥信号量；write表示是否允许写的信号量；于是读者优先的程序设计如下：
int rc=0; //用于记录当前的读者数量
semaphore rc_mutex=1; //用于对共享变量rc 操作的互斥信号量
semaphore write=1; //用于保证读者和写者互斥地访问的信号量
void reader()
do{
P(rc_mutex); //开始对rc共享变量进行互斥访问
rc ++;  //来了一个读进程，读进程数加1
if (rc==1) P(write)； //如是第一个读进程，判断是否有写进程在临界区，
//若有，读进程等待，若无，阻塞写进程
V(rc_mutex); //结束对rc共享变量的互斥访问
读文件；
P(rc_mutex); //开始对rc共享变量的互斥访问
rc--; //一个读进程读完，读进程数减1
if (rc == 0) V(write)； //最后一个离开临界区的读进程需要判断是否有写进程//需要进入临界区，若有，唤醒一个写进程进临界区
V(rc_mutex); //结束对rc共享变量的互斥访问
} while(1)
void writer()
do{
P(write); //无读进程，进入写进程；若有读进程，写进程等待
写文件;
V(write); //写进程完成；判断是否有读进程需要进入临界区，
//若有，唤醒一个读进程进临界区
} while(1)
读者优先的设计思想是读进程只要看到有其它读进程正在读，就可以继续进行读；写进程必须等待所有读进程都不读时才能写，即使写进程可能比一些读进程更早提出申请。该算法只要还有一个读者在活动，就允许后续的读者进来，该策略的结果是，如果有一个稳定的读者流存在，那么这些读者将在到达后被允许进入。而写者就始终被挂起，直到没有读者为止。
（2）写者优先1。为了解决以上问题，写者优先1的设计思想是在一个写者到达时如果有正在工作的读 者，那么该写者只要等待正在工作的读者完成，而不必等候其后面到来的读者就可以进行写操作。注意，该算法当一个写者在等待时，后到达的读者是在写者之后被挂起，而不是立即允许进入。
在读者优先的算法的基础上增加了一个排队信号量read，读、写进程在每次操作前都要等待read信号量。写者优先1的程序设计如下：
int rc=0; //用于记录当前的读者数量
semaphore rc_mutex=1; //用于对共享变量rc 操作的互斥信号量
semaphore write=1; //用于保证读者和写者互斥地访问的信号量
semaphore add_reader=1; //该信号量记录是否允许新来的读者添加到rc（既使得rc++）
void reader()
do{
P(add_reader); //该操作允许后面的rc++，也就是说此时来的读者可以和前面的读者一起读操作
P(rc_mutex); //开始对rc共享变量进行互斥访问
rc++; //来了一个读进程，读进程数加1
if rc=1 then P(write); //第一个读进程需要判断是否有写进程在临界区，若有，
//读进程需要等待，若没有，阻塞写进程
V(rc_mutex); //结束对rc共享变量的互斥访问
V(add_reader); //允许后续的writer跟read竞争add_reader，其实该操作加在P(add_reader);后面应该是没有问题的，因为这时候说明该读者已经有资格加入读操作队列里面了，不用等待，这时候的add_reader资源可以让后面的读者写者自己去竞争了。
Reading the file;
P(rc_mutex); //开始对rc共享变量的互斥访问
rc--; //一个读进程读完，读进程数减1
if rc=0 then V(write); //最后一个离开临界区的读进程需要判断是否有写进程
/ //需要进入临界区，若有，唤醒一个写进程进临界区
V(rc_mutex); //结束对rc共享变量的互斥访问
}
void writer()
do{
P(add_reader); //不允许后面的rc++，也就是说此时来的读者不可以和前面的读者一起读操作，不能再往队列里面加了，必须等着我完成了，你们才能让rc++。这时候的只等着获取rc_mutex，就可以执行了。
P(rc_mutex); //开始对rc共享变量进行互斥访问
//到来的读进程排在该队列写者之后
P(write); //若有读进程在读，等待现有读进程读完才可写
Writeing the file;
V(write); //写进程完成；判断是否有读进程需要进入临界区，若有，
//唤醒一个读进程进临界区
V(add_reader); //允许后面的rc++，我已经执行完了，这时候我后面来的读者可以竞争我释放的add_reader资源了
注意，该算法当第一个写者已经P(add_reader)后，add_reader变为0，来了N个读者，他们都停留在它的P(add_reader)这一句。那么会出现什么问题呢？此时，如果原来的写者完成了，紧接又来了一个写者，写者需要P(read)。这个时候，由于N个读者都已经在这个写者之前P(read)了，所以这个写者需要排队排在这N个读者分别都得到P(read)后才能得到执行，这个就不是写者优先了，而是读者写者公平竞争。
（3）写者优先2。为了保证写者相对于读者的优先,需要提高写者进程的优先级。这里除增加一个排队 信号量read，让读者和写者在读写之前都在此信号量上排队。还需增加一个信号量write_first，来保证写者优先。写者优先2的程序设计如下：
int rc, wc = 0; //用于读者，写者的计数
semaphore add_reader, write = 1; //用于读进程和写进程的互斥信号量
semaphore rc_mutex, wc_mutex, write_first = 0;//用于读时、写时和写者优先的互斥
void reader(){
while(1){
P(write_first); //用来保证写者优先。只有写者释放了信号量，这里才能获得
P(add_reader); //竞争add_reader资源，如果被一批写进程获取了，就需要写进程就绪队列全部执行过了，才有机会获得add_reader，
P(rc_mutex); //开始对rc共享变量进行互斥访问
rc++; //更新读进程数
if (rc==1) P(write); //第一个读进程需要判断是否有写进程在执行写操作，不然的话大家可以一起读
V(rc_mutex); //结束对rc共享变量的互斥访问
V(add_reader); //从 read队列中唤醒一个进程，还是同样的，这句话应该是可以放在P(add_reader)后面的
V(write_first);//允许后面的来读
doReading();
P(rc_mutex); //开始对rc共享变量进行互斥访问
rc--; //更新读进程数量
if (rc==0) V(write); 
V(rc_mutex); //结束对rc共享变量的互斥访问
}
}
void writer(){

while(1){

P(wc_mutex); //开始对wc共享变量进行互斥访问

wc++; //更新写进程数
if (wc==1) P(add_reader); //第一个写进程有必要阻止后面的读者加入到就绪读者队列，需要让后续的读者加入到竞争add_reader的等待队列
V(wc_mutex); //结束对wc共享变量的互斥访问
P(write); //限制同一时刻只能有一个写进程进行写操作
do writing();
V(write); //结束对写操作的限制
P(wc_mutex); //开始对wc的互斥访问
wc--; //更新写进程数量
if (wc==0) V(add_reader); //最后一个进程需要提醒在add_reader等待队列的读者开始竞争add_reader，注意和上面（2）不同的地方在于这里是提醒在add_reader等待队列的读者开始竞争add_reader，而不是提醒所有在等待队列的读者和写者去竞争add_reader

V(wc_mutex); //结束对wc的互斥访问

V（writer_first）；//为了保证写操作优先，先要释放至少一个writer_first资源，后面的读者才能读取

}
}
这里write_first的设立是为了保证写者优先。因为write_first的初值是0，只有第一个写者写完之后，才可以进行读操作。在读进程，执行完P(write_first)后等在P(read)这一句的读者最多只有1个。
对于read信号量，每个读进程最开始都要申请一次，之后在真正做读操作前即让出，这使得写进程可以随时申请到 read。而写进程，只有第一个写进程需要申请 read，之后就一直占着不放了，直到所有写进程都完成后才让出。等于只要有写进程提出申请就禁止读进程在read信号量上排队。
假设一个写进程正在写时，接着后续有n个读者正在等待，这时又有一个新的写者要写，比较一下写者优先1和写者优先2的情况：写者优先1新来的写者需要等待n+1次V（read）操作，而写者优先2新来的写者只需等待2次V（read）操作，变相提高了写进程的优先级。