《读者写着问题系统设计书》由会员分享，可在线阅读，更多相关《读者写着问题系统设计书（25页珍藏版）》请在金锄头文库上搜索。
1、读者写着问题系统设计书1 引 言1.1 问题的提出 在Windows2000环境下，创建一个控制台进程，此进程包含n个线程。用这n个线程来表示n个读者或写者。每个线程按相应测试数据文件的要求进行读写操作。用信号量机制分别实现读者优先和写者优先问题。1.2任务与分析 具体要求:读者-写者问题的读写操作限制（包括读者优先和写者优先）1） 写-写互斥：不能有两个写者同时进行写操作2） 读-写互斥：不能同时有一个线程在读，而另一个线程在写。3） 读-读允许：可以有一个或多个读者在读。读者优先的附加限制：如果读者申请进行读操作时已有另一个读者正在进行读操作，则该读者可直接开始读操作。 写者优先的附加限制
2、：如果一个读者申请进行读操作时已有另一个写者在等待访问共享资源，则该读者必须等到没有写者处于等待状态后才能开始读操作。运行结果显示要求：要求在每个线程创建、发出读写申请、开始读写操作和结束读写操作时分别显示一行提示信息，以确定所有处理都遵守相应的读写操作限制。测试数据文件格式：测试数据文件包括n行测试数据，分别描述创建的n个线程是读者还是写者，以及读写操作的开始时间和持续时间。每行测试数据包括四个字段，每个字段间用空格分隔。第1个字段为正整数，表示线程的序号。第2个字段表示线程的角色，R表示读者，W表示写者。第3个字段为一个正数，表示读写开始时间：线程创建后，延迟相应时间（单位为秒）后发出对共
3、享资源的读写申请。第4个字段为一个正数，表示读写操作的延迟时间。当线程读写申请成功后，开始对共享资源进行读写操作，该操作持续相应时间后结束，释放该资源。课程设计目的： 通过实现经典的读者写者问题，巩固对线程及其同步机制的学习效果，加深对相关基本概念的理解，并学习如何将基本原理和实际设计有机的结合。课程设计容： 根据本设计书所提供的基础知识，分析相关代码得到相关的框图写出设计报告。2 设计思路可以将所有读者和所有写者分别存于一个读者等待队列和一个写者等待队列中，每当读允许时，就从读者队列中释放一个或多个读者线程进行读操作；每当写允许时，就从写者队列中释放一个写者线程进行写操作。2.1 读者优先读
4、者优先指的是除非有写者在写文件，否则读者不需要等待。所以可以用一个整数变量Read_count记录当前的读者数目，用于确定是否需要释放正在等待的写者进程（当Read_count=0时，表明所有的读者读完，需要释放写者等待队列中的一个写者）。每当一个读者开始读文件时，必须修改Read_count变量。因此需要一个互斥对象mutex来实现对全局变量Read_count修改时的互斥。另外，为了实现写-写互斥，需要增加一个临界区对象Write。当写者发出写请求时，必须申请临界区对象的所有权。通过这种方法，可以实现读-写互斥，当Read_count=1时（即第一个读者到来时），读者线程也必须申请临界区对
5、象的所有权。当读者拥有临界区的所有权时，写者阻塞在临界区对象Write上。当写者拥有临界区的所有权时，第一个读者判断完”Read_count=1”后阻塞在Write上，其余的读者由于等待对Read_count的判断，阻塞在mutex上。读者优先2.2 写者优先写者优先与读者优先相类似。不同之处在于一旦一个写者到来，它应该尽快对文件进行写操作，如果有一个写者在等待，则新到来的读者不允许进行读操作。为此应当填加一个整形变量Write_count，用于记录正在等待的写者的数目，当Write_count=0时，才可以释放等待的读者线程队列。为了对全局变量Write_count实现互斥，必须增加一个互斥
6、对象mutex3。为了实现写者优先，应当填加一个临界区对象read，当有写者在写文件或等待时，读者必须阻塞在read上。读者线程除了要对全局变量Read_count实现操作上的互斥外，还必须有一个互斥对象对阻塞read这一过程实现互斥。这两个互斥对象分别命名为mutex1,mutex2。3 程序调试运行和使用平台3.1运行平台操作系统原理课程的实验环境如下：硬件环境：微型计算机（Intel x86系列CPU）一台软件环境：Windows98/2000/XP操作系统，以VC+ 6.0集成开发环境为主要开发工具。3.2具体操作如下：3.2.1.启动Visual C+ 6.0开发环境从“开始”菜单中
7、选择“程序”| 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 AppWizard(.exe)。在Location（位置）文本框中指定一个路径，如E:TPOOP，在Preject Name（项目名称）文本框中为项目输入一个名字，最好是见名知意，如“ScoreInput”，单击OK（确定）按钮，便可勇M
8、FC 向导创建应用程序，其步骤如下：第一步 选择【Single document】应用类型，即单文档应用程序，其他使用默认值，单击【Next】按钮。第二步 让用户选择程序中是否加入数据库支持，在此使用默认值【None】，单击【Next】按钮。第三步 让用户选择在程序中加入复合文档，自动化或ActiveX控件的支持，在此使用默认值，单击【Next】按钮。第四步 让用户选择应用程序的一些特性，在此使用默认值，单击【Next】按钮。第五步 让用户选择应用程序主窗口的风格、在源文件中是否加入注释、使用怎样的MFC类库，在此使用默认值，单击【Next】按钮。第六步 用户可以对MFC AppWizard提
9、供的缺省类名、基类名、头文件名、源文件名进行修改，使用默认值，单击【Finish】按钮。则会显示出用户在前面几个步骤中作出的选择容，单击【OK】按钮，系统开始创建应用程序，并回到Visual C+ 6.0的主界面。运行过的应用程序ScoreInput可以脱离Visual C+ 6.0单独运行，运行该文档可以双击“E: E:TPOOP ScoreInput Debug”下的ScoreInput.exe文件。和所有的Windows应用程序一样，ScoreInput也包含标题栏、菜单栏、工具栏、状态栏等窗口元素。 3.2.3.关闭工作空间选择菜单命令File | Close Workspace关闭工
10、作空间。4课程设计理论基础4.1临界区：CRITICAL_SECTION RP_Write; /临界区CRITICAL_SECTION cs_Write;CRITICAL_SECTION cs_Read;临界区（Critical Section）是一段独占对某些共享资源访问的代码，在任意时刻只允许一个线程对共享资源进行访问。如果有多个线程试图同时访问临界区，那么在有一个线程进入后其他所有试图访问此临界区的线程将被挂起，并一直持续到进入临界区的线程离开。临界区在被释放后，其他线程可以继续抢占，并以此达到用原子方式操作共享资源的目的。临界区在使用时以CRITICAL_SECTION结构对象保护共享
11、资源，并分别用EnterCriticalSection（）和LeaveCriticalSection（）函数去标识和释放一个临界区。所用到的CRITICAL_SECTION结构对象必须经过InitializeCriticalSection（）的初始化后才能使用，而且必须确保所有线程中的任何试图访问此共享资源的代码都处在此临界区的保护之下。否则临界区将不会起到应有的作用，共享资源依然有被破坏的可能。4.2 定义线程结构:struct ThreadInfo int Threadhao; char ThreadClass; double ThreadStartTime; double ThreadR
12、unTime; ;此结构用来存放线程的信息,四个成员变量依次表示线程序号、线程类别、线程开始时间、线程读写持续时间。4.3 互斥对象创建互斥对象CreateMutex(NULL,FALSE,mutex_for_readcount);参数含义如下： NULL表示创建带有默认安全性的核对象FALSE表示该互斥对象没有被任何线程所拥有mutex_for_readcount是为核对象赋予名字。 释放互斥信号ReleaseMutex(h_Mutex); 对资源具有访问权的线程不再需要访问此资源而要离开时，必须通过ReleaseMutex（）函数来释放其拥有的互斥对象4.4 创建读者线程CreateThr
13、ead(NULL,0,(LPTHREAD_START_ROUTINE)(R_ReaderThread),&thread_infoi,0,&thread_ID);参数含义如下：NULL表示创建带有默认安全性的核对象0表示新读者线程拥有自己的堆栈，使用缺省大小：1MB。 (LPTHREAD_START_ROUTINE)(R_ReaderThread)表示新读者线程执行的线程函数的地址 &thread_infoi表示在线程启动执行时将该参数传递给读者线程函数。0表示读者线程创建后可以立即进行调度 &thread_ID表示CreateThread使用这个地址来存放系统分配 给新读者线程的I D4.5
14、等待函数WaitForMultipleObjects(n_thread,h_Thread,TRUE,-1);等待函数可使线程自愿进入等待状态，直到一个特定的核对象变为已通知状态为止参数含义如下：n_thread表示线程数量。h_Thread是指向线程对象句柄的数组的指针。ture表示:在所有线程对象变为已通知状态之前，该函数将不允许调用线程运行参数 -1 告诉系统，调用线程愿意永远等待下去（无限时间量），直到该进程终止运行。Linux 采用消息队列的方式来实现消息传递。消息的发送方式是发送方不必等待，接收方检查它所收到的消息就可以继续工作下去。而接收方如果没有收到消息，也不需等待。这种通信机制
15、相对简单，但是应用程序需要使用较复杂的方式来处理。新的消息总是放在队列的末尾，接收时并不总是从头来接收，也可以从中间来接收。 4.6 程序结构5运行结果5.1 读者优先结果图5.15.2 写者优先结果5.3数据结构以及核心算法以下是实现方法：void ReaderFun(char* file);/读者优先函数void R_ReaderThread(void *p);/处理读者优先读者线程 void R_WriterThread(void *p);/处理读者优先写者线程void WriterFun(char* file); void W_ReaderThread(void *p);void W_WriterThread(void *p);6 结论 本次
