操作系统：第一个读写器同步问题解决方案中的混乱

Question

我正在研究《操作系统概念》（第9版）一书中的第一读者-作者问题的解决方案，它描述了：

第一个读者-作者问题，要求没有读者等待，除非作者已经获得使用共享对象的权限。换句话说，任何读者都不应该仅仅因为作者在等待而等待其他读者完成。

我由此理解的是，如果有任何读者在运行，而一个作家来了；那么那个作家将被阻止，直到读者完成。但是在第一个读者完成期间，如果有另一个读者（或多个读者），那么那个（那些）读者将优先于作者。

首先，如果我错了，请纠正我。但是如果我是对的，那么我所理解的是，Reader的代码不能保证这一点。

读写器代码如下：

//data structures
semaphore rw_mutex = 1;
semaphore mutex = 1;
int read_count = 0;

//Code for writer
do {
   wait(rw_mutex);
   . . .
   /* writing is performed */
   . . .
   signal(rw_mutex);
} while (true);

//Code for reader
do {
   wait(mutex);            //Line 01
   read_count++;

   if (read_count == 1)
      wait(rw_mutex);      //Line 02

   signal(mutex);
   . . .
   /* reading is performed */
   . . .

   wait(mutex);            //Line 03
   read_count--;

   if (read_count == 0)
      signal(rw_mutex);    //Line 04

   signal(mutex);
} while (true);

现在假设发生以下事件序列：

• 假设第一个读者来了，它阻止了注释中提到的行02上的作者
• 然后一个作家来了，正在等待rw_mutex
• 然后第一个阅读器执行代码中注释中提到的Line 03代码行，并锁定了互斥锁信号量
• 与此同时，第二个阅读器来了，它开始等待代码中注释中的第01行
• 现在，当第一个读取器执行第04行时；它释放了对rw_mutex的锁，并且在其同时循环中等待的写入器现在被解锁并开始执行
• 当第一个读取器执行Line 04之后的行时，第二个读取器将被解锁，该行发出信号互斥锁信号量

现在，如果我们看到整个流程，那么编写器在第二个读卡器之前运行。那么，代码逻辑的工作原理是否与上述相同？

如果我错了，请纠正我。




Answer 1

是的，代码的工作原理与您所理解的相同。您可以在这里参考wiki页面，该页面具有您在讨论中包含的类似伪代码。

Reader-Thread1释放rw_互斥锁后，Writer线程将立即获得该互斥锁。但正如您在用例中所解释的，这不会有什么问题。

在第一个读写器问题中，如果进行了太多的读操作，写写器可能会饿死。