读者写者问题

读者写者问题是指保证一个Writer进程必须与其他进程互斥地访问共享对象的同步问题,读者写者问题常被用来测试新同步原语。(关于原语:是由若干条指令组成的,用于完成一定功能的一个过程。primitive or atomic action 是由若干个机器构成的完成某种特定功能的一段程序,具有不可分割性.即原语的执行必须是连续的,在执行过程中不允许被中断。

利用记录型信号量解决读者写者问题。Wmutex:互斥信号量。Readcount:整型变量用来表示正在读的进程数目。描述如下。

semaphore rmutex=1,wmutex=1;
int readcount=0;
void reader(){
do{
wait(rmutex);
if(readcount==0) wait(wmutex);
readcount++;
signal(rmutex);  //允许多个进程同时读一个共享对象,故释放rmutex
…
perform read operation;
…
wait(rmutex);    //完成读操作后,访问rmutex
readcount--;
if(readcount==0) signal(wmutex); //如果没有reader进程在读就释放wmutex
signal(rmutex);   //释放rmutex
}while(TRUE);
}
void writer(){
do{
   wait(wmutex);
   perform wait operation;
   signal(wmutex);
}while(TRUE);
}
void main(){
cobegin
 reader(); writer();
coend
}

个人理解:

读者过程分为三块,第一块将readcount++,表示有reader进程在读且访问互斥资源wmutex,因为允许多个进程同时读一个共享对象,故先释放rmutex。第二块完成读操作。第三块访问rmutex(但这里就不进行读操作了),readcount--后,判断是否还有reader进程在读,如果没有就释放互斥资源wmutex。

其他都好理解对吧~

阅读更多

没有更多推荐了,返回首页