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

Question

我只是想知道...

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

Answer 1

没有饥饿的解决方案意味着系统是“公平”的;每个线程只需访问共享的有限资源即可获得进展。在这种情况下，我会假设没有死锁。僵局是饥饿线索的终点......他们都饿死，没有人进步。

没有死锁的解决方案仍然可能存在只有一部分线程对共享的有限资源进行“公平”访问的情况。线程的其余部分会饿死。