第6讲_死锁问题(免费阅读).pptVIP

3.3.1 资源轨迹图 图中每个点代表两个进程的联合状态，p点是起始位置，u点是终点。安全状态和不安全状态。 两进程共有打印机 两进程共有绘图仪 关键点 3.3.2 安全状态与不安全状态 我们的目标：判断系统的当前状态是否安全。 如何来做？ 程序 ＝ 算法＋数据结构 数据结构：如何来表示系统的当前状态？什么 叫安全的状态？ 算法：如何来判断系统的当前状态是否安全？ 1. 系统状态的表示 系统中有n个进程（P1到Pn），资源类型个数为m： 向量 E ＝ (E1, E2, E3, …, Em) 称为总的资源向量,Ei 表示系统中第 i 种类型的资源个数。例如： 若第一种类型的资源为打印机，则E1=2表示系统中共有2台打印机； 向量 A = (A1, A2, A3, …, Am) 称为空闲资源向量，Ai 表示第i种类型的资源中，尚未被占用的个数； 矩阵 C = (Cij)n?m称为当前分配矩阵，Cij表示进程Pi 所占用的类型为 j 的资源个数； 矩阵 R = (Rij)n?m称为请求矩阵，Rij表示进程Pi 还需要的类型为 j 的资源个数。 E = A = C R （本图摘自Andrew S. Tanenbaum： “Modern Operating Systems” ） 描述系统状态的四个数据结构 恒有： （本图摘自Andrew S. Tanenbaum： “Modern Operating Systems” ） 一个例子 2. 安全状态与不安全状态 一个状态被称为是“安全的”，如果它满足以 下的两个条件： 它自身不存在着死锁问题； 存在着某种调度顺序，使得即使在最坏的情况下（所有的进程突然间同时请求它们最大数目的资源，即矩阵R中的数值），每一个进程都能够顺利地运行结束。 一个例子 在系统中只有一种类型的资源，其个数为10。进程有三个，即A、B、C。 5 2 C 2 2 B 6 3 A 已占 尚需 尚余：3个 5 2 C 0 4 B 6 3 A 已占 尚需 尚余：1个 5 2 C – 0 B 6 3 A 已占 尚需 尚余：5个 0 7 C – 0 B 6 3 A 已占 尚需 尚余：0个 – 0 C – 0 B 6 3 A 已占 尚需 尚余：7个 安全！ 一个反例 5 2 C 2 2 B 6 3 A 已占 尚需 尚余: 3个 5 2 C 2 2 B 5 4 A 已占 尚需 尚余: 2个 5 2 C 0 4 B 5 4 A 已占 尚需 尚余: 0个 5 2 C – – B 5 4 A 已占 尚需 尚余：4个 不安全！ 不安全状态并不意味着一定会导致死锁。从安全的状态出发，系统能保证所有进程都能运行结束；而从不安全的状态出发，则没有这种保证。 Safe, Unsafe , Deadlock State 3.3.3 银行家算法 1965年由Dijkstra提出的一种避免死锁的调度算法，它模拟了一个银行家在发放信用贷款时的处理方式。 在小镇上，有一位银行家和一些需要贷款服务的客户。银行家根据每一位客户的背景情况，为之设定了相应的最高贷款限额。现在的问题是银行家必须设计出一种算法，以保证借贷过程的顺利进行，也就是说，当某个客户提出了一个贷款申请时，该算法必须判断，如果批准了这个申请，是否会导致一种不安全的状态，如果是的话，就拒绝该申请；如果否的话，就批准该申请。 1. 单一资源类型的情形 一个例子 四个客户A、B、C、D，每个客户都有一个最高贷款限额，初始时，银行家手里只保留10K美元。 7 0 D 4 0 C 5 0 B 6 0 A 已贷 限额 银行家：10K 安全状态 7 4 D 4 2 C 5 1 B 6 1 A 已贷 限额 银行家： 2K 安全状态 7 4 D 4 2 C 5 2 B 6 1 A 已贷 限额 银行家： 1K 不安全状态 银行家算法 S1 某个客户提出贷款请求； S2 假设批准该请求，将得到系统状态T； S3 判断状态T是否安全， 如果安全，则批准该请求，转S1； 如果不安全，则不批准该请求，延期到 以后处理，转S1； 判断一个状态T是否安全 S1 银行家检查一下，看他手里的资源能否满足 某个客户的请求（剩余的最大限额）； S2 如果可以，则该客户的贷款请求已经满足， 因此他偿还了所有贷款。转S1； S3 如果到最后，所有的贷款都能偿还，则状态 T就是安全的，否则就是不安全的。 2. 多种资源类型的情形 银行家算法：与单一资源类型的情形相同。 判断一个状态T是否安全 数据结构：总的资源向量E、空闲资源向量A、当前分配矩阵C、请求矩阵R： S1 在请求矩阵