乐观假设是在资源分配方面和进程请求资源的过程中,不存在任何形式的循环等待。 如果在实际过程中,一个循环等待确实发生,这种假设可以被违反。
问答题考虑下面的一个系统在某一时刻的状态: 使用银行家算法回答下面问题: a.Need矩阵的内容是怎样的? b.系统是否处于安全状态? c.如果从进程P1发出一个请求(0420),这个请求能否被满足?
问答题我们可以通过把数组的维度减少到1,而从一般的银行家算法中得到一个单一资源类型的银行家算法。试通过一个例子说明对于每个资源类型,多资源类型的银行家方案不能通过单一资源类型方案的单独运用来实现。
问答题假如现在每个哲学家请求三根筷子来吃饭,而且这种资源请求仍旧是分开发生的。试描述一种类似的在没有引起死锁的情况下,一个特殊的请求请求能否被满足的简单的规则,将筷子分配给哲学家。
问答题假设哲学家进餐问题中,筷子被摆放在桌子的中央,它们中的任何一双都可以被哲学家使用。假如每次只能请求一根筷子,试描述一种在没有引起死锁的情况下,一个特殊的请求请求能否被满足的简单的规则,将筷子分配给哲学家。
问答题假设系统中有四个相同类型的资源被三个进程共享。每个进程最多需要两个资源。证明这个系统不会死锁。