读者写者问题

读者写者问题是指保证一个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。

其他都好理解对吧~