进程同步的经典问题1——读者写者问题(写者优先与公平竞争)
来源:互联网 发布:fdd lte 4g网络 编辑:程序博客网 时间:2024/04/27 17:20
出处:http://dantvt.spaces.live.com
读者-写者问题 写者优先与公平竞争
多进程对共享资源互斥访问及进程同步的经典问题
设有一文件F,多个并发读进程和写进程都要访问,要求:
(1)读写互斥
(2)写写互斥
(3)允许多个读进程同时访问
采用记录型信号量机制解决
较常见的写法:
semaphore fmutex=1, rdcntmutex=1;
//fmutex --> access to file; rdcntmutex --> access to readcount
int readcount = 0;
void reader(){
while(1){
wait(rdcntmutex);
if(0 == readcount)wait(fmutex);
readcount = readcount + 1;
signal(rdcntmutex);
//Do read operation ...
wait(rdcntmutex);
readcount = readcount - 1;
if(0 == readcount)signal(fmutex);
signal(rdcntmutex);
}
}
void writer(){
while(1){
wait(fmutex);
//Do write operation ...
signal(fmutex);
}
}
//fmutex --> access to file; rdcntmutex --> access to readcount
int readcount = 0;
void reader(){
while(1){
wait(rdcntmutex);
if(0 == readcount)wait(fmutex);
readcount = readcount + 1;
signal(rdcntmutex);
//Do read operation ...
wait(rdcntmutex);
readcount = readcount - 1;
if(0 == readcount)signal(fmutex);
signal(rdcntmutex);
}
}
void writer(){
while(1){
wait(fmutex);
//Do write operation ...
signal(fmutex);
}
}
读进程只要看到有其他读进程正在访问文件,就可以继续作读访问;写进程必须等待所有读进程都不访问时才能写文件,即使写进程可能比一些读进程更早提出申请。所以以上解法实际是 读者优先 的解法。如果在读访问非常频繁的场合,有可能造成写进程一直无法访问文件的局面....
为了解决以上问题,需要提高写进程的优先级。这里另增加一个排队信号量:queue。读写进程访问文件前都要在此信号量上排队,通过区别对待读写进程便可达到提高写进程优先级的目的。另外再增加一个 writecount 以记录提出写访问申请和正在写的进程总数:
semaphore fmutex=1, rdcntmutex=1, wtcntmutex=1, queue=1;
//fmutex --> access to file; rdcntmutex --> access to readcount
//fmutex --> access to file; rdcntmutex --> access to readcount
//wtcntmutex --> access to writecount
int readcount = 0, writecount = 0;
void reader(){
while(1){
wait(queue);
wait(rdcntmutex);
if(0 == readcount)wait(fmutex);
readcount = readcount + 1;
signal(rdcntmutex);
signal(queue);
//Do read operation ...
wait(rdcntmutex);
readcount = readcount - 1;
if(0 == readcount)signal(fmutex);
signal(rdcntmutex);
}
}
void writer(){
while(1){
wait(wtcntmutex);
if(0 == writecount)wait(queue);
writecount = writecount + 1;
signal(wtcntmutex);
wait(fmutex);
//Do write operation ...
signal(fmutex);
wait(wtcntmutex);
writecount = writecount - 1;
if(0 == writecount)signal(queue);
signal(wtcntmutex);
}
}
int readcount = 0, writecount = 0;
void reader(){
while(1){
wait(queue);
wait(rdcntmutex);
if(0 == readcount)wait(fmutex);
readcount = readcount + 1;
signal(rdcntmutex);
signal(queue);
//Do read operation ...
wait(rdcntmutex);
readcount = readcount - 1;
if(0 == readcount)signal(fmutex);
signal(rdcntmutex);
}
}
void writer(){
while(1){
wait(wtcntmutex);
if(0 == writecount)wait(queue);
writecount = writecount + 1;
signal(wtcntmutex);
wait(fmutex);
//Do write operation ...
signal(fmutex);
wait(wtcntmutex);
writecount = writecount - 1;
if(0 == writecount)signal(queue);
signal(wtcntmutex);
}
}
每个读进程最开始都要申请一下 queue 信号量,之后在真正做读操作前即让出(使得写进程可以随时申请到 queue)。而只有第一个写进程需要申请 queue,之后就一直占着不放了,直到所有写进程都完成后才让出。等于只要有写进程提出申请就禁止读进程排队,变相提高了写进程的优先级。
通过类似思想即可实现读写进程的公平竞争:
semaphore fmutex=1, rdcntmutex=1, queue=1;
//fmutex --> access to file; rdcntmutex --> access to readcount
int readcount = 0;
void reader(){
while(1){
wait(queue);
wait(rdcntmutex);
if(0 == readcount)wait(fmutex);
readcount = readcount + 1;
signal(rdcntmutex);
signal(queue);
//Do read operation ...
wait(rdcntmutex);
readcount = readcount - 1;
if(0 == readcount)signal(fmutex);
signal(rdcntmutex);
}
}
void writer(){
while(1){
wait(queue);
wait(fmutex);
//fmutex --> access to file; rdcntmutex --> access to readcount
int readcount = 0;
void reader(){
while(1){
wait(queue);
wait(rdcntmutex);
if(0 == readcount)wait(fmutex);
readcount = readcount + 1;
signal(rdcntmutex);
signal(queue);
//Do read operation ...
wait(rdcntmutex);
readcount = readcount - 1;
if(0 == readcount)signal(fmutex);
signal(rdcntmutex);
}
}
void writer(){
while(1){
wait(queue);
wait(fmutex);
signal(queue);
//Do write operation ...
signal(fmutex);
//Do write operation ...
signal(fmutex);
}
}
}
读进程没变,写进程变成在每次写操作前都要等待 queue 信号量。
课本上一般只会写第一种解法吧。看了后两种方法即可发现,在第一个解法中,fmutex 信号量实际是双重身份,首先实现对文件的互斥访问,其次起到了和后面排队信号量 queue 相同的作用,只不过在那种排序下只能是读者优先。如果直接看过后两种解法,应该会有更清楚的理解吧。
- 进程同步的经典问题1——读者写者问题(写者优先与公平竞争)
- 进程同步的经典问题1——读者写者问题(写者优先与公平竞争)
- 进程同步的经典问题1——读者写者问题(写者优先与公平竞争)
- 读者-写者问题 写者优先与公平竞争
- 读者-写者问题 写者优先与公平竞争
- 读者写者问题——读者优先,写者优先,公平竞争 解决方法
- 读者写者问题(读者优先、写者优先、公平竞争)
- 经典进程同步问题(二)——读者、写者问题
- 读者-写者同步问题的写者优先实现
- 经典进程同步问题:读者-写者问题
- [原创]C#编写的读者写者问题(公平竞争的读者写者)
- C#编写的读者写者问题(公平竞争的读者写者)
- 优先读者/写者问题—操作系统
- 进程同步互斥——读者写者问题
- 进程同步问题(1)——生产者,消费者 & 读者,写者问题
- 经典同步问题(三)---读者写者问题
- 读者写者问题--使用信号量的读者优先与写者优先程序分析
- 读者写者问题--使用信号量的读者优先与写者优先程序分析
- 用gdi+将内存位图文件保存为其它格式的图片
- 自己整理得一个JavaScript写的一个DIV 弹出网页对话框
- fatal error C1189: #error : _WIN32_WINNT settings conflicts with _WIN32_IE setting
- 五大内存分区--堆、栈、自由存储区、全局/静态存储区和常量存储区
- buffered printf issue
- 进程同步的经典问题1——读者写者问题(写者优先与公平竞争)
- labelmx商品条码编制软件
- Python核心编程(第二版)
- oracle连接
- SQL:数据库日期处理
- HDU 1004 Let the Balloon Rise
- .bash_profile或者.profile中PS1提示符定义
- AJax / JQuery 注册应用小实例
- 漂亮的俄罗斯方块