读者写着问题系统设计书.docVIP

读者写着问题系统设计书 1 引 言 1.1 问题的提出 在Windows2000环境下，创建一个控制台进程，此进程包含n个线程。用这n个线程来表示n个读者或写者。每个线程按相应测试数据文件的要求进行读写操作。用信号量机制分别实现读者优先和写者优先问题。 1.2任务与分析 具体要求: 读者-写者问题的读写操作限制（包括读者优先和写者优先） 写-写互斥：不能有两个写者同时进行写操作 读-写互斥：不能同时有一个线程在读，而另一个线程在写。 读-读允许：可以有一个或多个读者在读。 读者优先的附加限制：如果读者申请进行读操作时已有另一个读者正在进行读操作，则该读者可直接开始读操作。 写者优先的附加限制：如果一个读者申请进行读操作时已有另一个写者在等待访问共享资源，则该读者必须等到没有写者处于等待状态后才能开始读操作。 运行结果显示要求：要求在每个线程创建、发出读写申请、开始读写操作和结束读写操作时分别显示一行提示信息，以确定所有处理都遵守相应的读写操作限制。 测试数据文件格式： 测试数据文件包括?n行测试数据，分别描述创建的n个线程是读者还是写者，以及读写操作的开始时间和持续时间。每行测试数据包括四个字段，每个字段间用空格分隔。第1个字段为正整数，表示线程的序号。第2个字段表示线程的角色，R表示读者，W表示写者。第3个字段为一个正数，表示读写开始时间：线程创建后，延迟相应时间（单位为秒）后发出对共享资源的读写申请。第4个字段为一个正数，表示读写操作的延迟时间。当线程读写申请成功后，开始对共享资源进行读写操作，该操作持续相应时间后结束，释放该资源。 课程设计目的： 通过实现经典的读者写者问题，巩固对线程及其同步机制的学习效果，加深对相关基本概念的理解，并学习如何将基本原理和实际设计有机的结合。 课程设计内容： 根据本设计书所提供的基础知识，分析相关代码得到相关的框图写出设计报告。 2 设计思路 可以将所有读者和所有写者分别存于一个读者等待队列和一个写者等待队列中，每当读允许时，就从读者队列中释放一个或多个读者线程进行读操作；每当写允许时，就从写者队列中释放一个写者线程进行写操作。 2.1 读者优先 读者优先指的是除非有写者在写文件，否则读者不需要等待。所以可以用一个整数变量Read_count记录当前的读者数目，用于确定是否需要释放正在等待的写者进程（当Read_count=0时，表明所有的读者读完，需要释放写者等待队列中的一个写者）。每当一个读者开始读文件时，必须修改Read_count变量。因此需要一个互斥对象mutex来实现对全局变量Read_count修改时的互斥。 另外，为了实现写-写互斥，需要增加一个临界区对象Write。当写者发出写请求时，必须申请临界区对象的所有权。通过这种方法，可以实现读-写互斥，当Read_count=1时（即第一个读者到来时），读者线程也必须申请临界区对象的所有权。 当读者拥有临界区的所有权时，写者阻塞在临界区对象Write上。当写者拥有临界区的所有权时，第一个读者判断完”Read_count==1”后阻塞在Write上，其余的读者由于等待对Read_count的判断，阻塞在mutex上。 读者优先 2.2 写者优先 写者优先与读者优先相类似。不同之处在于一旦一个写者到来，它应该尽快对文件进行写操作，如果有一个写者在等待，则新到来的读者不允许进行读操作。为此应当填加一个整形变量Write_count，用于记录正在等待的写者的数目，当Write_count=0时，才可以释放等待的读者线程队列。 为了对全局变量Write_count实现互斥，必须增加一个互斥对象mutex3。 为了实现写者优先，应当填加一个临界区对象read，当有写者在写文件或等待时，读者必须阻塞在read上。 读者线程除了要对全局变量Read_count实现操作上的互斥外，还必须有一个互斥对象对阻塞read这一过程实现互斥。这两个互斥对象分别命名为mutex1,mutex2。 3 程序调试运行和使用平台 3.1运行平台 操作系统原理课程的实验环境如下： ?硬件环境： 微型计算机（Intel x86系列CPU）一台? Windows98/2000/XP操作系统 3.2具体操作如下： 3.2.1.启动Visual C++ 6.0开发环境 从“开始”菜单中选择“程序”| Microsoft Visual Studio 6.0 | Microsoft Visual C++6.0，显示Visual C++ 6.0开发环境主窗口。 3.2.2.创建一个项目 单击File菜单中的New选项显示New（新建）对话框（如图3.1所示）。 图3.1 New对话框 单击Projects标签，在Projects（项目）选项卡中，选择MFC Ap