读者写者问题
一、设计要求:
在 Windows2000 环境下,创建一个控制台进程,此进程包含 n 个线程。用这 n 个线程来表示 n 个读者或写
者。每个线程按相应测试数据文件(后面介绍)的要求进行读写操作。用信号量机制分别实现读者优先和写者优
先问题。
读者-写者问题的读写操作限制(包括读者优先和写者优先)
1) 写-写互斥:不能有两个写者同时进行写操作
2) 读-写互斥:不能同时有一个线程在读,而另一个线程在写。
3) 读-读允许:可以有一个或多个读者在读。
读者优先的附加限制:如果读者申请进行读操作时已有另一个读者正在进行读操作,则该读者可直接开始读
操作。
写者优先的附加限制:如果一个读者申请进行读操作时已有另一个写者在等待访问共享资源,则该读者必须
等到没有写者处于等待状态后才能开始读操作。
运行结果显示要求:要求在每个线程创建、发出读写申请、开始读写操作和结束读写操作时分别显示一行提
示信息,以确定所有处理都遵守相应的读写操作限制。
二、测试数据文件格式:
测试数据文件包括 n 行测试数据,分别描述创建的 n 个线程是读者还是写者,以及读写操作的开始时间和持
续时间。每行测试数据包括四个字段,每个字段间用空格分隔。第 1 个字段为正整数,表示线程的序号。第 2 个
字段表示线程的角色,R 表示读者,W 表示写者。第 3 个字段为一个正数,表示读写开始时间:线程创建后,
延迟相应时间(单位为秒)后发出对共享资源的读写申请。第 4 个字段为一个正数,表示读写操作的延迟时间。
当线程读写申请成功后,开始对共享资源进行读写操作,该操作持续相应时间后结束,释放该资源。
下面是一个测试数据文件的例子(在记事本手工录入数据):
1 R 3 5
2 W 4 5
3 R 5 2
4 R 6 5
5 W 5.1 3
三、实习分析:
可以将所有读者和所有写者分别存于一个读者等待队列和一个写者等待队列中,每当读允许时,就从读者队
列中释放一个或多个读者线程进行读操作;每当写允许时,就从写者队列中释放一个写者线程进行写操作。
1. 读者优先:
读者优先指的是除非有写者在写文件,否则读者不需要等待。所以可以用一个整数变量 Read_count 记录当
前的读者数目,用于确定是否需要释放正在等待的写者进程(当 Read_count=0 时,表明所有的读者读完,需要
释放写者等待队列中的一个写者)。每当一个读者开始读文件时,必须修改 Read_count 变量。因此需要一个互斥
对象 mutex 来实现对全局变量 Read_count 修改时的互斥。
另外,为了实现写-写互斥,需要增加一个临界区对象 Write。当写者发出写请求时,必须申请临界区对象的
所有权。通过这种方法,可以实现读-写互斥,当 Read_count=1 时(即第一个读者到来时),读者线程也必须申
请临界区对象的所有权。
当读者拥有临界区的所有权时,写者阻塞在临界区对象 Write 上。当写者拥有临界区的所有权时,第一个读
者判断完”Read_count==1”后阻塞在 Write 上,其余的读者由于等待对 Read_count 的判断,阻塞在 mutex 上。
2. 写者优先:
写者优先与读者优先相类似。不同之处在于一旦一个写者到来,它应该尽快对文件进行写操作,如果有一个
写者在等待,则新到来的读者不允许进行读操作。为此应当填加一个整形变量 Write_count,用于记录正在等待
的写者的数目,当 Write_count=0 时,才可以释放等待的读者线程队列。
为了对全局变量 Write_count 实现互斥,必须增加一个互斥对象 mutex3。