读者-写者问题（详解）

目录

1.问题描述

2.问题分析

3.问题实现

3.1 读者优先

3.2 写者优先

3.3 考虑读者1->写者1->读者2

4.总结

---

1.问题描述

 要求如下：

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

2.问题分析

核心问题：如何处理多个读者可以同时对文件的读操作。

3.问题实现

3.1 读者优先

初始化

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

写者 

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

 读者

reader(){
	while(1){
		P(mutex);//各读进程互斥访问count
		if(count==0)
			P(rw);//写进程加锁，不允许在读操作过程中执行写操作
        count++;//访问文件读进程数+1
		V(mutex);
		读文件...           //上面这一部分使得多个读者能够同时访问
		P(mutex);//各读进程互斥访问count
		count--;//每当一个读进程完成读操作，读者数量-1
		if(count==0)
			V(rw);//当没有读者，读操作结束后，写进程解锁
		V(mutex);
		}
	}

这种情况下只有源源不断的读进程存在，写进程一直阻塞等待，可能会造成“饿死”，在上述算法中，读进程是优先的。

思考：若两个读进程并发执行，则个读进程可能先后执行P(rw)，从而使第二个读进程阻塞的情况。

如何解决：出现上述问题的原因在于对count变量的检查和赋值无法一气呵成

3.2 写者优先

初始化

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);//各读进程互斥访问count
		if(count==0)
			P(rw);//写进程加锁，不允许在读操作过程中执行写操作
        count++;//访问文件读进程数+1
		V(mutex);
        V(w);
		读文件...           //上面这一部分使得多个读者能够同时访问
		P(mutex);//各读进程互斥访问count
		count--;//每当一个读进程完成读操作，读者数量-1
		if(count==0)
			V(rw);//当没有读者，读操作结束后，写进程解锁
		V(mutex);
		}
	}

分析以下并发执行P(w)的情况：

• 读者1->读者2 
• 写者1->写者2 
• 写者1->读者2 
• 读者1->写者1->读者2
• 写者1->读者1->写者2 

结论：在这种算法中，连续进入的多个读进程可以同时读文件；写者和其他进程不能同时访问文件；写者不会饥饿，但也并不是真正的“写优先”，而是相对公平的先来先服务原则，也称“读写公平法”。

3.3 考虑读者1->写者1->读者2

第一个读者1在进行到读文件操作的时候，有一个写者1操作，由于第一个读者1执行了V(w)，所以写者1不会阻塞在P(w)，但由于第一个读者1执行了P(rw)但没有执行V(rw)，写者1将会被阻塞在P(rw)上，这时候再有一个读者2，由于前面的写者1进程执行了P(w)但没有执行V(w)，所以读者2将会被阻塞在P(w)上，这样写者1和读者2都将阻塞，只有当读者1结束时执行V(rw)，此时写者1才能够继续执行直到执行V(w)，读者2也将能够执行下去。

4.总结