设置三个互斥信号量：rwmutex 用于写者与其他读者/写者互斥的访问共享数据
                    rmutex  用于读者互斥的访问读者计数器readcount                                                   nrmutex 用于写者等待已进入读者退出，所有读者退出前互斥写操作

var rwmutex, rmutex，nrmutex ： semaphore := 1，1，1 ；
int readcount = 0;
cobegin
       readeri begin  // i=1,2,….
              P(rwmutex);
              P(rmutex);
              Readcount++;
              If (readcount == 1) P(nrmutex); //有读者进入，互斥写操作
              V(rmutex);
              V(rwmutex); // 及时释放读写互斥信号量，允许其它读、写进程申请资源
              读数据；
              P(rmutex);
              Readcount--;
              If (readcount == 0) V(nrmutex); //所有读者退出，允许写更新
              V(rmutex);
       End

       Writerj begin // j = 1,2,….
              P(rwmutex);  // 互斥后续其它读者、写者
              P(nrmutex);  //如有读者正在读，等待所有读者读完
              写更新；
              V(nrmutex);   //允许后续新的第一个读者进入后互斥写操作
              V(rwmutex);  //允许后续新读者及其它写者
       End
Coend

再有，当一个读进程已准备开始读，而现在只有写进程等待，没有读进程等待，因此当前读进程做V(rwmutex)时就将写进程推进到信号量nrmutex的队列里，这时当读进程正在读时，后续来多个读进程，都可以读，但此时写进程却始终等在队列里，只要读进程不断地来，写进程永远没有机会。因此这个算法不满足“写者优先”的条件，即如有写进程来临，它要尽可能快地写，所以读进程在读完时，应该先看队列里有没有写进程等待，如有，要让写进程跨过队列先写。
大家想想吧，据说这个算法还是斯大林操作系统上的算法。

假设目前已经有读者（不妨记为R1）在读，新的读者R2和新的写者W1几乎同时到达。但他们中必有一个先执行P(rwmutex)。如果是R2先执行，那么W1会被挂在rwmutex上，而R2可以顺利的执行完相关操作，开始进行读操作。如果是W1先执行，那么R2会被挂在rwmutex上，这时W1可以成功地执行P(rwmutex)，并被挂在nrmutex上，直到所有在关键区中的读进程退出（注意，R2被挂在rwmutex上的，根本没有机会修改readcount，所以目前不属于“在关键区中的读进程”）。

你所说的前一个问题：“如果这个时刻又有读进程，写进程来临，显然它们都等待在信号量rwmutex的队列中，如果想要写者优先，必须让这个当前读进程作V(rwmutex)时，让写进程先写，但是如果等待的读进程先来，写进程无法跨越的。”实际上是假定R2比W1先到一点，这时本来就应该让R2进入，W1不可能剥夺比它先到的进程的控制权。假如R2比W1后到一点，R2就进不去了。

第二个问题：“再有，当一个读进程已准备开始读，而现在只有写进程等待，没有读进程等待，因此当前读进程做V(rwmutex)时就将写进程推进到信号量nrmutex的队列里，这时当读进程正在读时，后续来多个读进程，都可以读，”这显然是不对的。后续的每一个读进程都得先P(rwmutex)，可这时由于写进程运行过P(rwmutex)，rwmutex已经是0（或者是负数）了，后面的读进程都会挂在rwmutex上，怎么可能“都可以读”呢？

“实际上是假定R2比W1先到一点，这时本来就应该让R2进入，W1不可能剥夺比它先到的进程的控制权。假如R2比W1后到一点，R2就进不去了“
对于这句话，我想我们应该理解一下什么叫优先。
大家都在队列中等待，如果先到先服务，就谈不上什么优先了。
你觉得呢？

不过我明白你的意思。这个程序确实可以改进得让写者“更优先”一点。比如：

1、当有多个新的读进程同时到达时，他们会在P(rwmutex)处排队，以便依次访问Readcount计数器，这时，新来的writer应该可以乘机跨越这个队列，抢先访问关键区。
2、如果目前是写者W1正在访问关键区，在排队的进程中既有读者也有写者，则W1访问结束后，由下一个写者继续进入关键区。

你所说的“真正的写者优先”是指实现了上述两个功能的，是吗？

以下是引用Logician在2006-10-15 16:31:00的发言： 我觉得优先是相对于以前的“只要有读进程在关键区中，之后所有的读进程就可以直接进去，写者永远等待”的情况而言的。 不过我明白你的意思。这个程序确实可以改进得让写者“更优先”一点。比如： 1、当有多个新的读进程同时到达时，他们会在P(rwmutex)处排队，以便依次访问Readcount计数器，这时，新来的writer应该可以乘机跨越这个队列，抢先访问关键区。 2、如果目前是写者W1正在访问关键区，在排队的进程中既有读者也有写者，则W1访问结束后，由下一个写者继续进入关键区。 你所说的“真正的写者优先”是指实现了上述两个功能的，是吗？