《实验3--读者-写者问题与进程同步》由会员分享，可在线阅读，更多相关《实验3--读者-写者问题与进程同步（9页珍藏版）》请在金锄头文库上搜索。
1、实验 3 读者/写者问题与进程同步3.1 实验目的理解临界区和进程互斥的概念，掌握用信号量和PV操作实现进程互斥的方法。3.2 实验要求在linux环境下编写一个控制台应用程序，该程序运行时能创建N个线程或者进程 其中既有读者线程又有写者线程，它们按照事先设计好的测试数据进行读写操作。请用信号 量和PV操作实现读者/写者问题。读者/写者问题的描述如下： 有一个被许多进程共享的数据区，这个数据区可以是一个文件，或者主存的一块空间比 方一个数组或一个变量，甚至可以是一组处理器寄存器。有一些只读取这个数据区的进程reader和一些只往数据区中写数据的进程writer。以下假设共享数据区是文件。这些
2、读者和写者对数据区的操作必须满足以下条件：读读允许；读写互斥；写写互斥。这 些条件具体来说就是：1任意多的读进程可以同时读这个文件； 2一次只允许一个写进程往文件中写； 3如果一个写进程正在往文件中写，禁止任何读进程或写进程访问文件； 4写进程执行写操作前，应让已有的写者或读者全部退出。这说明当有读者在读文 件时不允许写者写文件。对于读者-写者问题，有三种解决方法：1、读者优先 除了上述四个规则外，还增加读者优先的规定，当有读者在读文件时，对随后到达的读者和写者，要首先满足读者，阻塞写者。这说明只要有一个读者活跃，那么随后而来的读者 都将被允许访问文件，从而导致写者长时间等待，甚至有可能出现写
3、者被饿死的情况。2、写者优先 除了上述四个规则外，还增加写者优先的规定，即当有读者和写者同时等待时，首先满足写者。当一个写者声明想写文件时，不允许新的读者再访问文件。3、无优先 除了上述四个规则外，不再规定读写的优先权，谁先等待谁就先使用文件。实验步骤算法分析1、错误的解法semaphore r_w_w=1;reader()writer()P(r_w_w)；P(r_w_w)；读文件写文件V(r w w)；V(r w w)；JJ LZ图王1错误的解法I有同学认为，可以将文件视为临界资源， 使用临界资源的代码就构成临界区，为了对临 界区进行管理，只需设置一个互斥信号量 r_w_w,读或者写之前执行
4、P(r_w_w),之后执 行V(r_w_w)即可，从而得到图3-1所示的算法 描述。该方法虽然能满足读写互斥和写写互斥，但是不满足读读允许，只要有一个读者在读文件，其他的读者都被阻塞了。可见，单纯使用互斥信号量不能解决读者/写者问题，还需要引入计数器对读者进行记 数。2、读者优先如何纠正上述解法中存在的错误呢？其实，对于相继到达的一批读者，并不是每个读者都需要执行P(r_w_w)和V(r_w_w)。 在这批读者中，只有最先到达的读者才需要执行P(r_w_w),与写者竞争对文件的访问权， 假设执行P(r_w_w)成功则获得了文件的访问权，其他的读者可直接访问文件；同理，只有 最后退出临界区的读者
5、需要执行V(r_w_w)来归还文件访问权。为了记录正在读文件的一批读者的数量，需要设置一个整型变量readercount，每一个读 者到达时都要将readercount加1,退出时都要将readercount减1。由于只要有一个读者在读文件，便不允许写者写文件，所以，仅当readercount=0时， 即尚无读者在读文件时，读者才需要执行P(r_w_w)操作。假设P(r_w_w)操作成功，读者便 可去读文件，相应地，readercount+1。同理，仅当在执行了readercount减1操作后其值为0 时，才需要执行V(r_w_w)操作，以便让写者写文件。又因为readercount是一个可被
6、多个读 者访问的临界资源，所以应该为它设置一个互斥信号量readercount_mutex.。每个读者在访 问 readercount 之前执行 P(readercount_mutex), 之后执行 V(readercount_mutex)。通过上述分析得到图3-2所示的算法描述，其中的数字表示语句对应的行号。图3-2读者优先算法01semaphore r_w_w=1;02semaphore readercount_mutex=1;03in t readerco un t=0;04reader()16writer()05P(readerco un t_mutex);17P(r_w_w);06i
7、f(readerco un t=0) P(r_w_w);18写文件；07readerco un t+;19V(r_w_w);08V(readerco un t_mutex);2009读文件；10P(readerco un t_mutex);11readerco un t-;12if(readerco un t=0) V(r_w_w);13V(readercount mutex);14153、写者优先通过增加信号量并修改上述程序可以得到写者优先算法。为了实现写者优先算法，需要 将写者和读者分开排队，并且第一个读者和其它读者也要分开排队。这样就需要三个队列， 一个是写者排队的地方，另一个是第一个读
8、者排队的地方，第三个是其它读者排队的地方。 相应地需要设置三个信号量，r_w_w、first_reader_wait和reader_wait。当一个写者声明想写 文件时，可以让新的读者中的第一个到 first_reader_wait 上排队等待；当有读者阻塞在 first_reader_wait 上时，让其它读者阻塞在 reader_wait 上；当有一个写者在写文件时，其它 写者到 r_w_w 上排队。只要有活跃的写者或者写者队列不为空，则阻塞新到达的读者。为了记录已经发出声明 的写者数量，需要设置一个整数writercount，以表示声明要写文件的写者数目。由于只要有 一个写者到达，就不允
9、许读者去读，因此仅当writercount=0,表示无写者声明写时，写者才 需要执行P(first_reader_wait)操作，假设操作成功，写者便可以执行P(r_w_w)去竞争写文件 权利。其它写者不需要再向读者声明，可以直接执行P(r_w_w)去竞争写文件权利。同理仅 当写者在执行writercount减1操作后其值为0时，才需要执行V(first_reader_wait)操作，以 便唤醒第一个被阻塞的读者去读文件。又因为 writercount 是一个可被多个写者访问的临界 资源，所以，应该为它设置一个互斥信号量 writer_mutex。4、无优先除了在读者优先时需要的信号量r_w_
10、w和readercount_mutex之外，还需要设置一个信 号量wait供读者和写者排队。读者和写者都排在wait队列上。假设有读者在读文件，则第 一个写者阻塞在r_w_w上，其它的写者和读者阻塞在wait上；假设有一个写者在写文件， 则其它写者和读者都阻塞在wait上。无优先的算法描述如图3-3 所示。I图3-3 无优先算法01semaphore r_w_w=1;02semaphore wait=1;03semaphore readercount_mutex=1;04in t readerco un t=0;05reader()18writer()06P(wait);19P(wait);0
11、7p(readerco un t_mutex);20p(r_w_w);08if(readerco un t=0) P(r_w_w);21写文件；09readerco un t+;22V(r_w_w);10V(readerco un t_mutex);23V(wait);11V(wait);2412读文件；13P(readerco un t_mutex);14readerco un t-;15if(readerco un t=0) V(r_w_w);16V(readercount mutex);173.3.2 程序功能及界面设计 该程序采用简单的控制台应用程序界面，在主界面上显示程序的功能。该程
12、序的功能如下：1. 演示读者优先算法；2. 演示写者优先算法；3. 演示无优先算法；4. 退出。3.3.3 函数设计实现读者/写者问题的源程序名称是reader_and_writer.cpp。该程序共包括10个函数。这些函数可以分成4组。各组包含的函数及其功能如图3-4。组别包括函数函数功能一main()显示主菜单，接收用户的选择并执行相应的功能。二RF_reader_thread() RF_writer_thread() reader first()读者优先算法的读者线程函数读者优先算法的写者线程函数读者优先算法的初始化函数：创建10个线程并等待它们结束三WF reader thread()
13、写者优先算法的读者线程函数WF_writer_thread()writer first()写者优先算法的写者线程函数写者优先算法的初始化函数：创建10个线程并等待它们结束四FIFO_reader_thread()FIFO_writer_thread()first come first serverd()无优先算法的读者线程函数无者优先算法的写者线程函数无者优先算法的初始化函数：创建10个线程并等待它们结束图 3-4 函数功能简述程序开始部分定义了宏MAX_THREAD，表示程序中创建的线程数。还定义了测试数 据的结构体TEST_INFO,该结构体包含三个数据项：线程名称；提出请求的时刻；操作持
14、 续时间。接着定义了全局变量，这些全局变量的作用如下：数组test_data保存了 10个线程的测试数据；整数read_count记录一段时间内同时对文件进行读操作的线程数；整数 write_count 记录一段时间内提出写操作请求的线程数，该整数只在写者优先算法 中使用；CS_DATA是临界区变量，用来保护文件，实现对文件的读一写互斥和写一写互斥相 当于算法描述中的r_w_w；互斥体h_mutex_read_count用来保护整数read_count，以保证多个读者对read_count的 互斥访问；互斥体h_mutex_write_count用来保护整数write_count，以保证多个写者对write_count 的互斥访问，该互斥体只在写者优先算法中使用；互斥体h_mutex_first_reader_wait和h_mutex_reader_wait只在写者优先算法中使用，当 有写者在写文件时，提出读请求的第一个读者阻塞在h_mutex_first_reader_wait上，其余的 读者阻塞在 h_mutex_reader_wait 上；互斥体 h_mutex_wait 只在无优先算法中使用，当文件被使用时，后继的读请求和写请 求依次阻塞在h_mutex_wait上。3.3.4 参考源程序3.3.4.1 Linux 下的参考源程序Q编译命令gcc reader_a
