16、读写问题
16.1、描述
- 读进程是不会改变数据的。
- 写进程会改变数据。
- 要求:
- 可以有多个读同时对文件进行读操作。
- 只允许一个写进程进行写操作。
- 任意一个写进程完成操作之前不允许其他读进程或者写进程进行工作。
- 写进程执行写操作之前,要让已有的写进程和读进程全部退出。
16.2、分析
- rw表示此时是否有别的进程访问文件。
16.3、实现
16.3.1、使用count+mutex进行访问
- 为什么需要mutex?
- 如果不设置mutex的话,那么两个读进程在判断count的时候都会进行P操作,这会导致第二个进程会被阻塞。这样就不满足读读不互斥。
- 当count=0时,第一个读者进程执行到p(rw),rw=0,假设此时时间片到了,切换到第二个读者进程,第二个进程发现count=0,则执行p(rw),但是此时rw=0,于是第二个进程被堵在p(rw)这里,同理,后面的可能会有多个进程堵在p(rw),只有当第一个进程再次获得时间片,执行count++,让count不为0,然后其他进程就可以直接绕过if直接进行count++来访问文件,但是第三个读者进程和后面的几个可能堵在p(rw)的多个读者进程则必须得等count–为0后才可以再次和写进程竞争来访问文件,对count的访问没有做到一气呵成,会导致本来一些进程一直堵在p(rw)。
- 总结一下就是:当第一个进程进行P操作之后,如果此时切换到第二进程的时候,不能让他们再进行判断,需要跳过这个判断,而判断的条件就是count==0,那么只要第一个进程能够对这个count++操作,其余的线程就可以完成读操作。
- 存在的问题:第一个读进程进行读文件,之后后很多的读进程读文件,读进程会跳过前面的操作,都进行读文件,此时如果有一个写进程会阻塞的话,那么该写进程会被一直阻塞。
16.3.2、加一个新的互斥信号量w实现“读写公平法”
- 若希望写进程优先,即当有读进程正在读共享文件时,有写进程请求访问,这时应禁止后续读进程的请求,等到已在共享文件的读进程执行完毕,立即让写进程执行,只有在无写进程执行的情况下才允许读进程再次运行。为此,增加一个信号量并在上面程序的writer()和 reader()函数中各增加一对PV操作,就可以得到写进程优先的解决程序。