死锁，活锁和锁的饥饿问题

前面的章节都是关于程序正确性的讨论，如果这些问题得到正确处理，程序永远不会给出错误的答案。不幸的是，即使你成功处理了这些类别的问题，还有另一类问题需要解决：死锁，活锁和饥饿。这些问题都涉及确保您的程序在任何时候都能够有效执行。如果处理不当，您的程序可能会进入某个状态中，最终停止运行。