读者 - 写者问题

读者 - 写者问题

问题描述

有读者和写者两组并发进程，共享一个文件，当两个或两个以上的读进程同时访问共享数据时不会产生副作用，但若某个写进程和其他进程（读进程或写进程）同时访问共享数据时则可能导致数据不一致的错误。

因此要求：

• ①允许多个读者可以同时对文件执行读操作；
• ②只允许一个写者往文件中写信息；
• ③任一写者在完成写操作之前不允许其他读者或写者工作；
• ④写者执行写操作前，应让已有的读者和写者全部退出。

问题分析

两类进程：写进程、读进程
互斥关系：写进程—写进程、写进程—读进程。读进程与读进程不存在互斥问题。

如何实现

• 读进程优先

semaphore rw=1; // 用于实现对共享文件的互斥访问
int count = 0; // 记录当前有几个读进程在访问文件
semaphore mutex = 1;// 用于保证对count变量的互斥访问

思考：就是mutex变量存在的意义

若两个读进程并发执行，则count=0时两个进程也许都能满足if 条件，都会执行P(rw) ，从而使第二个读进程阻塞的情况。

如何解决：出现上述问题的原因在于对count 变量的检查和赋值无法一气呵成，因此可以设置另一个互斥信号量来保证各读进程对count 的访问是互斥的。

• 读写公平

  semaphore rw=1; // 用于实现对共享文件的互斥访问
  int count = 0; // 记录当前有几个读进程在访问文件
  semaphore mutex = 1; // 用于保证对count变量的互斥访问
  semaphore w = 1; // 用于实现“写优先”
  

结论：在这种算法中，连续进入的多个读者可以同时读文件；写者和其他进程不能同时访问文件；写者不会饥饿，但也并不是真正

的“写优先”，而是相对公平的先来先服务原则。
有的书上把这种算法称为“读写公平法”。

小结

读者 - 写者问题为我们解决复杂的互斥问题提供了一个参考思路。

其核心思想在于设置了一个计数器count 用来记录当前正在访问共享文件的读进程数。我们可以用count 的值来判断当前进入的进程是否是第一个 / 最后一个读进程，从而做出不同的处理。另外，对count 变量的检查和赋值不能一气呵成导致了一些错误，如果需要实现“一气呵成”，自然应该想到用互斥信号量。