没有饥饿的解决方案也是没有死锁的解决方案吗?反之亦然

Question

我只是想知道。。。

没有饥饿的解决方案也是没有死锁的解决方案吗？反之亦然，没有死锁的解决方案也是没有饥饿的解决方案吗？

Answer 1

没有饥饿的解决方案意味着系统是"公平的"；每个线程都有足够的权限访问共享的、有限的资源来进行进度。在这种情况下，我认为不存在死锁。死锁是饥饿线程之路的尽头。。。他们都饿了，没有人进步。

一个没有死锁的解决方案仍然可能存在只有一个子线程可以"公平"访问共享的有限资源的情况。剩下的线程会饿死。