操作系统内核实验之 读者-写者实现

操作系统内核实验之 读者-写者实现

第一部分：说明

读者-写者问题经典的线程同步问题的一个模型，于是我制作本文，希望对学习操作系统实现的有所帮助！更希望和广大编程爱好者交朋友！至于读者-写者问题我在这也不详细的叙述了，既然您看到这个文档，我想你应该是理解了读者写者问题的了，所以我直接从代码入手，同时有简单的说明。如果你有什么地方看不懂，可以以以下的方式联系我：

■■■，E-mail:■■  QQ:■■■■   MSN:■■■■■■(推荐)

我的主页：http://www.■r■.com  

特别说明：本问文档的实现技术是：

《windows内核实验教程》 机械工业出版社ISBN:7-111-10880-9/TP.2600

其中的版权也归原书所有！我希望见到本文档的人可以保证原书的版权！我只是对其中的部分进行了整理！

特别提示：

如果为了测试您对操作系统理论水平和设计，那么希望你先不要看本文档！自己独立的试着设计！

                                                                    第二部分：实现

   操作系统实验之 读者-写者实现代码说明文档

/

读者-写者的读写限制（包括读者优先和写者优先）

1）写-写互斥，即不能有两个写者同时进行写操作

2）读-写互斥，即不能同时有一个读者在读，同时却有一个写者在写

3）读读允许，即可以有2个以上的读者同时读

读者优先的限制：

        如果一个读者申请读操作时，已经有一个读者在读，则该读者可以直接读

写者优先的限制：

        如果一个读者申请读操作时，有写者在等待访问共享资源时，则该读者要等到没有写者处于等的状态时才能开始读操作

/

测试数据的格式

    在文件 thread.dat 中，

1 r 3 5

2 w 4 5

....

其中第一个代表线程的ID，第二个字段代表是读操作还是写操作，第三个字段代表操作的开始时间，第4个字段是持续时间。

/

分析：

 

 将所有的读者和所有的写者分别放进两个等待队列中，当读允许时就让读者队列释放一个或多个读者，当写允许时，释放第一个写者操作。

 

读者优先：

         如果没有写者正在操作，则读者不需要等待，用一个整型变量readcount记录当前的读者数目，用于确定是否释放写者线程，（当readcout=0 时，说明所有的读者都已经读完，释放一个写者线程），每个 读者开始读之前都要修改readcount,为了互斥的实现对readcount 的修改，需要一个互斥对象Mutex来实现互斥。

         另外，为了实现写-写互斥，需要一个临界区对象 write,当写者发出写的请求时，必须先得到临界区对象的所有权。通过这种方法，可以实现读写互斥，当readcount=1 时，（即第一个读者的到来时，），读者线程也必须申请临界区对象的所有权.

         当读者拥有临界区的所有权，写者都阻塞在临界区对象write上。当写者拥有临界区对象所有权时，第一个判断完readcount==1 后，其余的读者由于等待对readcount的判断，阻塞在Mutex上！

 

写者优先：

写者优先和读者优先有相同之处，不同的地方在：一旦有一个写者到来时，应该尽快让写者进行写，如果有一个写者在等待，则新到的读者操作不能读操作，为此添加一个整型变量writecount,记录写者的数目，当writecount=0时才可以释放读者进行读操作！

    为了实现对全局变量writecount的互斥访问，设置了一个互斥对象Mutex3。

    为了实现写者优先，设置一个临界区对象read,当有写者在写或等待时，读者必须阻塞在临界区对象read上。

    读者除了要一个全局变量readcount实现操作上的互斥外，还需要一个互斥对象对阻塞在read这一个过程实现互斥，这两个互斥对象分别为mutex1和mutex2。

//

 

 所用的API: 参数略（MSDN查看）//代码中有部分没有使用，但是可以在其他地方自己设计程序的时候使用。

1.CreateThread()；

2.ExitThread();

3.Sleep();

4.CreateMutex();

5.ReleaseMutex();

6.WaitForSingleObject();