读者和写者问题(操作系统)

都读者和写着两组并发进程,共享一个文件夹,当两个或者两个以上的读进程同时访问共享数据时,不会产生副作用,但若某个写进程和其他进程(都进程或写进程)同时访问共享数据时则可能导致数据不一致问题。因此要求

  1. 允许多个读者可以同时对文件执行读操作
  2. 只允许一个写者往文件中写信息
  3. 任一写者在完成写操作之前不允许其他读者或写者工作
  4. 写者执行写操作前,应让已有的读者和写者全部退出

两类进程:写进程、读进程
互斥关系:写进程—写进程、写进程—读进程。读进程之间不存在互斥关系

写者进程和任何进程都互斥、设置一个互斥信号量rw,在写者访问共享文件前后分别执行P、V操作。

读者进程和写者进程也要互斥,因此读者访问共享文件前后也要对rw执行P、V操作。

如果所有读者进程在访问共享文件之前都执行P(rw)操作,那么会导致各个进程之间无法同时访问文件。那么读者写者问题的核心思想——怎么处理该问题呢?
P(rw)和V(rw)其实就是对共享文件的"加锁"和"解锁“。既然各个读进程需要同时访问,而读进程与写进程又必须互斥访问,那么我们可以让第一个访问文件的读进程”加锁”,让最后一个访问完文件的读进程解锁。可以设置一个整数变量count来记录当前有几个读进程在访问文件。

代码实现

semaphore rw1=1 //用于实现对文件的互斥访问。表示当前是否有进程在访问共享文件。
int count=0; //记录当前有几个读进程在访问文件。

writer(){
	while(1){
		P(rw);  //写之前“加锁”
		写文件...
		V(rw); //写之后“解锁”
	}
}

reader(){
	while(1){
		if(count==0)
			P(rw);  //第一个读进程负责“加锁”
		count++; //访问文件的读进程数+1
		读文件...
		count--;  //访问文件的读进程数-1
		if(count==0) //最后一个读进程负责解锁
			V(rw);
	}
	
}

思考:若两个读进程并发执行,则两个读进程有可能先后执行P(rw),从而使第二个读进程阻塞的状况。
如何解决:出现上诉问题的原因在于对count变量的检查和赋值无法一气呵成,因此可以设置另一个互斥变量来保证各读进程对count的访问是互斥的。

代码实现:

semaphore rw=1;
int count=0;
semaphore mutex=1; //用于保证对count变量的互斥访问  

writer(){
	while(1){
		P(rw);  //写之前“加锁”
		写文件...
		V(rw); //写之后“解锁”
	}
}

reader(){
	while(1){
		p(mutex);
		if(count==0)
			P(rw);  //第一个读进程负责“加锁”
		count++; //访问文件的读进程数+1
		V(mutex);
		读文件...
		count--;  //访问文件的读进程数-1
		if(count==0) //最后一个读进程负责解锁
			V(rw);
	}
}

潜在的问题:只要有读进程还在读,写进程就要一直阻塞等待,可能"饿死”,因此,这种算法中,读进程是优先的。

代码实现:解决潜在的问题


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

writer(){
	while(1){
		P(w);
		P(rw);  //写之前“加锁”
		写文件...
		V(rw); //写之后“解锁”
		V(w);
	}
}

reader(){
	while(1){
		P(w);
		p(mutex);
		if(count==0)
			P(rw);  //第一个读进程负责“加锁”
		count++; //访问文件的读进程数+1
		V(mutex);
		V(w);
		读文件...
		count--;  //访问文件的读进程数-1
		if(count==0) //最后一个读进程负责解锁
			V(rw);
	}
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值