第六章 布式系统中的死锁.pptVIP

OR模型下的Chandy-Misra-Hass算法 使用两类报文：(query,i,j,k)和(reply,i,j,k)，表示这些报文属于由进程Pi发起的并由Pj送往Pk的扩散计算。 一个进程的依赖集合包括所有它在等待以便获得报文的进程。如果接收进程Pk是活动的，它会忽略所有的查询和回答报文。如果它被阻塞，它会向它的依赖集合中的进程发送查询。 一旦收集到回答报文，接收进程将向发起者发送一个回答报文。发起者以及每个中间进程用一个计数器记录查询和回答的数目。如果这两个数字相同，即发起者的每个查询都得到了回答，就表明发起者处于死锁状态。 死锁检测的实例 6.3 死锁的检测 OR模型下的Chandy-Misra-Hass算法 当接收进程Pk处于阻塞状态时，会有几种可能： 如果这是Pi发起的第一个来自Pj的报文(这个报文的发送者Pj叫做Pk关于Pi的结合者)，它将向它的依赖集合中的所有进程发送这个查询，并且将查询数目存储在一个局部变量num(i)中。令局部变量wait(i)表示这一进程从它接收到它的第一个由Pi发起的查询起一直被阻塞这一事实。 如果这个查询是Pi发起的但不是第一个来自Pj的报文，即当wait(i)仍然成立时，Pk将马上回答。 如果从wait(i)变为假的那一时刻Pk运行过，那么这个查询就被丢弃。 死锁检测的实例 6.3 死锁的检测 OR模型下的Chandy-Misra-Hass算法图例说明： 死锁检测的实例 6.3 死锁的检测 6.3 死锁的检测 第六章 分布式系统中的死锁 第六章 分布式系统中的死锁 第六章 分布式系统中的死锁 6.1 死锁问题 一般地说，分布式系统涉及更广泛的资源和数据共享。 同集中式系统相比，分布式系统需要通过多个机器才能得到相关信息，其死锁更难避免、更难防止、更难检测和纠正。 * * 分布式系统中的死锁和集中式系统中的死锁非常相似，只不过问题更为严重。 6.1 死锁问题 (1) 互斥。正如我们第五章所讨论的，互斥是一种资源分配方式，保证同一个资源在同一时刻最多只能被一个进程占用，它用于防止多个进程同时共享访问不可同时共享访问的资源。 (2) 不可剥夺的资源分配。系统将一个资源的访问权分配给某一个进程后，系统不能强迫该进程放弃对该资源的控制权。 (3) 占有并等待。必然有一个进程占用了至少一个资源，同时在等待获取被其他进程占用的资源。 (4) 循环等待。在等待图中有一个循环路径。 * * 死锁发生的条件 6.1 死锁问题 进程间通信直接引起的死锁 进程间竞争资源间接引起的死锁 系统中迁移进程引起的死锁 * * 产生死锁的基本原因 死锁的图论模型 可以用图模型来表示死锁，表示死锁的图模型有两种，一种是等待图，另一种是资源分配图。 在等待图中，节点代表进程，当且仅当进程Pi等待一个被进程Pj所占用的资源时，边(Pi,Pj)存在于等待图中，图中的边是有向的。 资源分配图中的节点有两种：一种是进程节点，另一种是资源节点。每个边是一个有序对(Pi,Rj)或(Rj,Pi)，其中P代表进程，R代表一个资源类型。边(Pi,Rj)表示进程Pi请求类型为Rj的一个资源，并且正在等待这个资源，一个资源类型中可能有多个资源。边(Rj,Pi)表示类型为Rj的一个资源已经分配给进程Pi。由于等待图假定一个资源类型中只有一个资源，所以资源分配图是一个比等待图更加有力的工具。 6.1 死锁问题 资源分配图实例： 死锁的图论模型 6.1 死锁问题 资源分配图到等待图的转化： (1)在资源分配图中找到一个未被处理的资源R。如果所有的资源都已经处理，转向步骤3。 (2)从这个资源R的每个输入进程节点到每个输出进程节点之间加一条有向边。一个资源的输入进程节点是等待这个资源的进程节点，一个资源的输出进程节点是占有这个资源的进程节点。转向步骤1。 (3)删除所有的资源节点以及相应的边。 死锁的图论模型 6.1 死锁问题 资源分配图到等待图的转化实例：(哲学家就餐问题) 死锁的图论模型 6.1 死锁问题 可以使用PAID来概括死锁处理的各种方法：预防(Prevent)、避免 (Avoid)、忽略(Ignore)和检测(Detect) 。 预防死锁。通过限制请求，保证四个死锁条件中至少有一个不能发生，从而预防死锁。 避免死锁。如果资源分配会导致一个安全的结果状态，就将资源动态地分配给进程。如果至少有一个执行序列使所有的进程都能完成运行，那么这个状态就是安全的。 忽略死锁。忽略死锁是UNIX常采用的一种方法，这种方法只是简单地忽略死锁问题。 检测死锁和从死锁中恢复。允许死锁发生，然后发现并解除死锁。 处理死锁的策略 6.1 死锁问题 资源死锁和通信死锁：在通信死锁中，进程等待的