吸烟者问题

问题描述

有读者和写者两组并发进程，共享一个文件，多个读进程可以同时访问共享数据，同一时刻只允许一个写进程往文件写数据(即一个写进程不能和另一个读/写进程同时访问文件)
1.找出题中描述的各个进程，确定他们之间的同步和互斥关系
进程有：写进程、读进程
互斥关系：写进程和其他进程对文件的访问，即写进程——写进程，写进程——读进程
同步关系：无
2.根据各个进程操作流程确定P，V操作的大致顺序
3.设置信号量。写进程和如何进程都互斥，设置一个互斥信号量rw,在写者访问文件前后进行PV操作，读进程和写进程也互斥，所以读进程访问文件前后也进行PV操作。但读进程之间不能互斥，故另外设置一个count信号量记录当前有几个读进程在访问文件，让第一个访问文件的读进程对文件加锁(P操作)，最后一个访问文件的读进程对文件解锁(V操作)。

semaphore rw = 1;//实现互斥访问文件，表示当前是否有进程在访问文件
semaphore mutex = 1;//用于保证对count变量的互斥访问
int count = 0; //记录当前有几个读进程在访问文件
writer()                     reader() 
{                            {
	while(1)                     while(1) 
	{                            {                   
		P(rw);//写之前加锁          P(mutex);
        写文件                      if(count==0)          
		V(rw);//写之后解锁             P(rw);
	}                    }          count++;
}                    }              V(mutex);
                                    读文件
                                    P(mutex);
                                    count--;
                                    if(count==0)
                                       V(rw);
                                    V(mutex);
                                }
                            }	

其中mutex互斥信号量是为了保证对count变量的检查和赋值操作一气呵成，否则可能导致多个读进程重复执行P(rw)操作，对文件重复加锁。这种是否默认是读进程优先的，因为只要有读进程在读，写进程就会一直阻塞，可能“饿死”。可另外设置一个信号量w实现写优先，如下：

semaphore rw = 1;//实现互斥访问文件，表示当前是否有进程在访问文件
semaphore mutex = 1;//用于保证对count变量的互斥访问
int count = 0; //记录当前有几个读进程在访问文件
semaphore w = 1;//实现写优先
writer()                     reader() 
{                            {
	while(1)                     while(1) 
	{   						{     
        P(w);                       P(w);	
		P(rw);//写之前加锁          P(mutex);
        写文件                      if(count==0)          
		V(rw);//写之后解锁             P(rw);
		V(w);
	}                    }          count++;
}                    }              V(mutex);
									V(w);
                                    读文件
                                    P(mutex);
                                    count--;
                                    if(count==0)
                                       V(rw);
                                    V(mutex);
                                }
                            }								

考虑读者1→写者1→读者2并发执行P(w)的情况:
首先读者1可以顺利执行P(w),P(mutex)，而写者1需等到读者1进行V(w)后执行P(w)，读者2因为写者1执行了P(w)被阻塞，当读者1进行P(rw)后，写者1可以进行P(rw)并执行写文件，等写者1写完文件执行V(w)后读者2才继续执行…；故写进程不会被饥饿，虽然不会真正实现写进程优先，但会相对公平。