The Little Book of Semaphores 信号量小书 第四章 经典同步问题 4.3 无饿死互斥

第四章 经典同步问题   4.3 无饿死的互斥 在上一节中，我们讨论了被称之为绝对饥饿的问题，其中一类线程（读者）允许另一类别（写者）挨饿。 在更基本的层面上，我们必须解决线程饿死的问题，即一个线程可能无限期地等待而其他线程继续进行。 对于大多数并发应用程序，饿死是不可接受的，因此我们强制执行有限等待的要求，这意味着线程等待信号量（或其他任何地方，就此而言）的时间必须可证明为是有限的。 在某种程度

>>阅读原文<<