“读者-写者问题”的写者优先算法实现

转自http://blog.csdn.net/zoudaokou2006/article/details/3966694

读者一写者问题是一个用信号量实现的经典进程同步问题。在系统中，一个数据集( 如文件或记录) 被几个并发进程共享，这些线程分两类，一部分只要求进行复操做，称之为“读者”；另外一类要求写或修改操做，咱们称之为“写者“。

通常而言，对一个数据集，为了保证数据的完整性、正确性，容许多个读者进程同时访问，可是不容许一个写者进程同其它任何一个进程（读者或者写者）同时访问，而这类问题就称之为”读者-写者“问题。

读者优先的算法在操做系统相关的书籍中都有介绍，这是一种最简单的解决办法：当没有写进程正在访问共享数据集时，读进程能够进入访问，不然必须等待。而读者优先的算法存在“饿死写者”线程的问题：只要有读者不断到来，写者就要持久地等待，直到 全部的读者都读完且没有新的读者到来时写者才能写数据集。而在不少状况下咱们须要避免”饿死写者“，故而采用写者优先算法：

在写者优先算法中，咱们要实现的目标是：

1.要让读者与写者之间、以及写者与写者之问要互斥地访同数据集；

2.在无写进程到来时各读者可同时访问数据集；

3.在读者和写者都等待时访问时写者优先．

一种算法实现：
咱们将用两个不一样的互斥信号量分别实现读者与写者间的互斥及各写者进程间的互斥：以互斥信号量Wmutex实现各写者问的互斥，互斥信号量Rmutex实现各读者与写者问的互斥；
设置两个整型变量Wcount和Rcount分别记录等待的写者数和正在读的读者数，因Wcount、Rcount都是共享变量，所以还要设置两个互斥信号量Mutl和Mut2以实现进程对这两个变最的互斥访问．

用信号量机制实现的写者优先的算法如 ：

[c-sharp] view plain copy Var Mut1,Mut2,Wmutex,Fmutex:Semaphore; Rcount,Wcount:integer; Mut1:=Mut2:=WMutex:=Fmutex:=1; Rcount:=Wcount:=0; //Fmutex --> 读者写者互斥 //WMutex --> 写者互斥 //Mut1 --> access to Rcount && 竞争Fmutex //Mut2 --> access to Wcount 
 Writer:begin Wait(Mut1); Wcount:=Wcount+1； If Wcount=1 then Wait(Fmutex); //若有读者，写者阻塞在此处 
Signal(Mut1); Wait(WMutex); 

写者优先 

Signal(Mut1); //当即释放Mut1，使写者能够随时申请到Mut1 
Wait(Mut2); Rcount:=Rcount+1; If Rcount=1 then Wait(Fmutex); //第一个读者进入时，申请Fmutex；若有写者，第一个读者会阻塞在此处 
Signal(Mut2);

读操做：

Wait(Mut2); Rcount:=Rcount-1; If Rcount=0 then Signal(Fmutex); //最后一个读者退出时，释放Fmutex 
Singal(Mut2); end 

代码解释：

1: 
读者、写者均按照Mut一、Fmutex的顺序申请信号量。

2:
写者得到Fmutex后，直至最后一个写者释放Fmutex，读者均被阻塞。
读者得到Fmutex后，直至最后一个读者(不包含因为Mut1被阻塞的读者)释放Fmutex，写者均被阻塞。

3.
读者申请到Mut1后当即释放；
而写者申请到Mut1后，就一直占用不放，直至申请到Fmutex。

4.总结
Fmutex的做用就是写者、读者间的互斥；
Mut1的额外做用就是帮助写者优先竞争到Fmutex。