基于资源轨迹图的死锁检测算法的研究与改进研究.pdfVIP

基于资源轨迹图的死锁检测 算法的研究与改进 史倩竹罗白玲刘志鹏 燕山大学信息科学与工程学院。秦皇岛，066004 摘要本文深入研究了操作系统死锁产生的原因以及死锁检测的算法，并提出了一种新的改进 检测算法并讨论了实现方案。本算法不但对单机系统的死镇有效，也对分布式系统中死锁的检测 提供了思路。 关键词操作系统。死锁，检测，资源 1引言 操作系统从单道程序发展成为多遭程序，极大地提高了系统资源的利用率，但是如果并发 执行进程(线程)的同步关系不当，就会产生一种严重问题——死锁。通常情况下，死锁的发 生是在两个或多个不同的程序之间，并且不同程序的进程同时执行。死镁问题最初是由Dijk— stra提出的，它的发生会对系统的性能和吞吐量有不利影响。而且在分布式系统当中，死锁的 状况比单机系统更加复杂而难以解决。死锁情况甚至会影响整个系统的正确运行，因此，死锁 是一个必须要解决的问题。 本文要涉及的主要是死锁检测和恢复，恢复的前提就是检测到死锁，因此死锁的检测仍然 具有十分重要的意义。 2死锁处理策略 针对死锁处理的策略有三种： ①检测并恢复。 ②仔细的对资源进行动态分配，以避免死锁。 ③通过破除产生死锁的四个必要条件(互斥、占有且等待、非剥夺、封闭的进程链)之一， 来防止死锁的产生。 策略①和③都是试图防止死锁的产生，但是它们都是假定目前不可预知或不可实现的前 提条件下进行的(并发执行的环境造成了系统中资源需求量和申请次序的不可预知性)，因 而，可以说是目前不好实现的策略。 死锁检测和恢复策略比较灵活，有利于系统性能的提高。因为这种策略是建立在保持目 前系统的方便性的基础之上来保证正确性，代价相对较小，而且，从操作系统角度来看，由于死 锁进程有其状态特点，因此，准确地检测出死锁有一定的可行性。 123 3死锁检测算法 死锁检测常见的算法是基于资源分配矩阵、请求资源矩阵而形成的资源分配图和请求资 源图来进行的。可以从如下定义中生成相应的状态图。 假设系统中有n个进程，n1种不同类型的资源，则有： Wealth=(wI，w2，…，w。)wj(1≤i《m)表示系统中每种资源的数量 Available=(V，，V2，…，V。)Vl(1≤i《m)没有分配绐进程的每种资源的总量 rRn，Rn，…，Rl。1 ． Requ曲t；1l…h,，鼍，：：：，1警l每个进程对每种资源的需求数量 LR¨k，…，R，J A12， A丑， ●●● Ad， 芝]当前资源分配情况 算法的思想是将没有死锁的进程标记出来后，进程集合的补集就是处于死锁状态的进 程——当然，空集表示没有死锁进程。算法如下： ①寻找一个没有被标记过的进程Pi，它的第i行R向量要比V小。 (定义向量A≤向量B当且仅当Aj≤Bi，其中o≤i≤m) ②如果找到了这样一个进程，那么将A向量的第i行添加到添加到V中，标记该进程并 转到步骤1)。 ③如果没有这样的进程存在，算法终止。 、 可以看到这个算法的时间复杂度为0(N)，而且如果考虑到向量问需要比较元素的话，其 时间复杂度是O(N}M)。现代的操作系统进程数目会越来越大，例如，基于2．4版内核的 达到32K，同时，系统资源数目也必然增大，可见，检测的代价相当大。 因此，何时检测死镇就又成为了问题。通常有两种方法，其一，每当有资源请求时就去检 测，但是这样会占用昂贵的CPU时间；其二，每隔K分钟去检测一次，或者当CPU的使用率降 到某一阈值时去检测。 4改进的死锁检测算法 正因为上面算法的检测量相当的大，所以才有了检测时机的限制。下面探讨一种基于阻 塞进程检测的死锁判定算法。 (1)程序运行模型 对于多道程序系统，操作