分布式数据库中常见死锁检测算法分析.pptVIP

主要内容 一 死锁的形成 产生死锁的原因： 由于系统提供的资源数比多个进程所需的资源数少，并且系统的资源分配策略和进程并发执行的速度不当。 死锁问题如果处理不当，将严重影响系统的效率和可靠性。 产生死锁的必要条件是： 互斥使用资源，占有且等待资源，非抢夺式分配，循环等待资源。 一 死锁的形成 二 分布式系统中常见的死锁检测方法 死锁的检测： 基于事先避免死锁的一些方法通常会增加系统开销，降低资源的利用率，因此并不太常用，特别是在分布式系统中更少用。为了降低系统开销，在分配资源时不加限制，只要有剩余资源，总是把资源分配给申请者。当然，这样可能会出现死锁。这种系统采用定时运行一个“死锁检测”程序的方法，当检测到死锁时再设法将其排除。这种方法在分布式系统中最为常用。 1 超时法 超时法就是一个事务的等待时间如果超过了规定的时限,就认为发生了死锁。 在该算法中，每个事务在发出一个新的操作请求前设置一个超时。如果在超时结束以前，没有收到请求的操作已经成功执行的确认信息，事务则认为它自己已经处于死锁同时夭折自己。 1 超时法 2 集中式检测方法 在分布式系统中，每个站点都有一个本地死锁检测程序，其任务是判断在其站点所有潜在的全局死锁；其方法是：在站点的输入端口开始，沿本地等待图反向搜索，如果最终会搜索到输出端口，就说明具有潜在的全局死锁。 在集中式死锁检测方法中，利用所有的局部资源分配图(或等待图)建立一个全局资源分配图(或等待图)。任何一个机器为它自己的进程和资源维持一个局部的资源分配图。整个系统只有一个协调者，它维持全局的资源分配图，全局的资源分配图是由局部资源分配图组合而成的。 2 集中式检测方法 产生假死锁的图例说明： 3 分布式死锁检测方法 3 分布式死锁检测方法 4 层级式死锁检测 在层级式死锁检测算法中，站点被分层地放在一个树中。一个站点的死锁检测只涉及到它的下一级站点。例如，设A、B和C是控制器，而C是A和B的最低的公共祖先。假定节点Pi出现在控制器A和B的局部等待图中，那么节点Pi也必定出现在如下控制器的等待图中： (1) C控制器； (2) 所有位于从C到A的路径上的控制器； (3) 所有位于从C到B的路径上的控制器。 而且，如果Pi和Pj出现在控制器D的等待图中，并且在D的一个下一级控制器(子控制器)的等待图中有一条从Pi到Pj的路径，那么边(Pi,Pj)一定存在于D的等待图中。 4 层级式死锁检测 死锁处理是分布式系统中一个需要解决的重要问题。死锁的解决方法有多种，不同的系统应根据实际情况采用不同的解决方法。在实际应用中，不仅要解决死锁问题，还要注意尽可能地提高资源利用率。 死锁的检测与解除构成了数据库管理系统的主要内容。死锁检测对应于在等待图中确定一个循环。在分布式数据库中死锁检测问题比在集中式数据库的死锁检测问题更困难，这是因为确定一个死锁的循环等待状态可能要涉及到多个场地，而不仅仅是一个场地。 三 死锁检测的实例 OR模型下的Chandy-Misra-Hass算法： 使用两类报文：(query,i,j,k)和(reply,i,j,k)，表示这些报文属于由进程Pi发起的并由Pj送往Pk的扩散计算。 一个进程的依赖集合包括所有它在等待以便获得报文的进程。如果接收进程Pk是活动的，它会忽略所有的查询和回答报文。如果它被阻塞，它会向它的依赖集合中的进程发送查询。 一旦收集到回答报文，接收进程将向发起者发送一个回答报文。发起者以及每个中间进程用一个计数器记录查询和回答的数目。如果这两个数字相同，即发起者的每个查询都得到了回答，就表明发起者处于死锁状态。 OR模型下的Chandy-Misra-Hass算法： 当接收进程Pk处于阻塞状态时，会有几种可能： 如果这是Pi发起的第一个来自Pj的报文(这个报文的发送者Pj叫做Pk关于Pi的结合者)，它将向它的依赖集合中的所有进程发送这个查询，并且将查询数目存储在一个局部变量num(i)中。令局部变量wait(i)表示这一进程从它接收到它的第一个由Pi发起的查询起一直被阻塞这一事实。 如果这个查询是Pi发起的但不是第一个来自Pj的报文，即当wait(i)仍然成立时，Pk将马上回答。 如果从wait(i)变为假的那一时刻Pk运行过，那么这个查询就被丢弃。 OR模型下的Chandy-Misra-Hass算法图例说明： OR模型下的Chandy-Misra-Hass算法图例说明： 四 关于死锁检测和恢复的研究方向 算法正确性。严格证明死锁检测算法的正确性是困难的，由于报文的传输延迟是不可预料的，所以得到一致的全局状态是很困难的。 算法性