操作系统课设报告-死锁避免与检验-银行家算法.docx

? ? 操作系统课设报告-死锁避免与检验/银行家算法 ? ? 死锁避免与检测 摘要：本次课程设计的内容是实现死锁的避免与检验。在操作系统中，由于多个进程对资源的争夺，对系统的安全造成威胁可能造成死锁。而死锁产生的必要条件分别为互斥条件、请求和保持条件、不可抢占条件、循环等待条件。为了解决死锁这一问题，目前处理死锁的方法为：预防死锁、避免死锁、检测死锁、解除死锁。 本次主要设计的是死锁避免和检验的算法实现。死锁避免的主要的内容是银行家算法，它包括对申请进程的预分配以及安全性检测。死锁检验的内容主要是对资源有序图的简化，当且仅当资源分配图是不可简化时，则说明系统存在死锁。 在设计银行家算法时要定义Available(可利用的资源量)、Allocation(已分配的资源量)、Need(所需求的资源量)、Max(最大需求量)，还会使用到数组，有利于各个变量矩阵的运算。 死锁避免算法的结果可以动态低显示系统为每个进程分配资源时各个资源矩阵的变化，结果显示为是否处于安全状态，若处于安全状态，则出现安全序列，否则显示系统处于不安全状态。死锁检测算法动态地显示有向边的资源分配图的简化过程，结果显示当前环境不会发生死锁。 关键词：银行家算法； 资源分配图；避免死锁； 操作系统；检测死锁 1 设计任务 1.1设计目的本次课程设计主要目的是掌握银行家算法，以及加深对避免死锁的方法和死锁检测的理