分布式系统中的死锁处理.docxVIP

死锁 死锁的定义 资源的定义和分类解决死锁的策略分布式死锁的策略 死锁的定义 死锁(deadblock)是指两个或多个进程因无休止地互相等待永远不会成立的条件而形成的一种永久阻塞状态。一个进程集合是死锁的，如果集合中的每一个进程等待一个事件，该事件 仅仅可以由集合中的另一个进程引起 。 死锁的定义 一个计算机系统可以被抽象地表示为一个对偶(S, P)，其中 ={所有的系统资源的全部可能的状态集合} = {进程集合}。 S中的每个元素表示在资源分配中的一种可 能的状态。P中的每个进程是一个函数，它 将S中的每个系统状态映照到另一个状态集 合（可能为空集合）。 【例1 】 设S = {S, T, U, V} 及P = {P1, P2}。 P1(S) = {T, U} P2(S) = {U} P1(T) = ? P2(T) = {S, V} P1(U) = {V} P2(U) = ? P1(V) = {U} P2(V) = ? 死锁的定义 我们可以用一个带标号的有向图中的节点（node）表示可能的状态，用 有向弧表示可能的状态变化，而用有向弧旁的标号表示引起状态变化的进程。 死锁的定义 进程P1在状态T被阻塞。进程P2在状态U和V死锁。进程P1在状态T不死锁，因为，T→2→S不阻塞 进程P1。 状态U和V是死锁状态。 没有完全死锁状态。 死锁的定义 由进程i的一个操作将系统从状态S改变