[理学]process-part3-2011.ppt

练习题 在测量控制系统中，数据采集系统把所采集的数据送入一单缓冲区；计算任务从该缓冲区中取出数据进行计算。试写出实现两者共享单缓冲区的同步算法。 桌上有一空盘，允许存放一只水果。爸爸可向盘中放苹果，也可向盘中放橘子，儿子专等吃盘中的橘子，女儿专等吃盘中的苹果。规定当盘空时一次只能放一只水果供吃者取用，用P，V原语实现爸爸、儿子、女儿三个并发进程的同步。 练习题 试用P,V操作表达六个进程的同步关系。 安全、不安全、死锁状态 A. 系统状态的表示 系统中有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 描述系统状态的四个数据结构 恒有： 一个例子 一个例子 在系统中只有一种类型的资源，其个数为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个 不安全！ 不安全状态并不意味着一定会导致死锁。从安全的状态出发，系统能保证所有进程都能运行结束；而从不安全的状态出发，则没有这种保证。 3.2 银行家算法 1965年由Dijkstra提出的一种避免死锁的调度算法，它模拟了一个银行家在发放信用贷款时的处理方式。 在小镇上，有一位银行家和一些需要贷款服务的客户。银行家根据每一位客户的背景情况，为之设定了相应的最高贷款限额。现在的问题是银行家必须设计出一种算法，以保证借贷过程的顺利进行，也就是说，当某个客户提出了一个贷款申请时，该算法必须判断，如果批准了这个申请，是否会导致一种不安全的状态，如果是的话，就拒绝该申请；如果否的话，就批准该申请。 单一资源类型的情形 一个例子 四个客户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就是安全的，否则就是不安全的。 多种资源类型的情形 银行家算法：与单一资源类型的情形相同。 判断一个状态T是否安全 数据结构：总的资源向量E、空闲资源向量A、当前分配矩阵C、请求矩阵R： S1 在请求矩阵R当中，寻找某一行Ri，它的每一个 分量均小于或等于A当中的相应元素；如果不存 在这样的行，则表示找不到一个进程可以运行结 束，系统将可能陷入死锁； S2 如果Ri存在，则假设进程Pi将请求它需要的所有 资源，并得到了满足。然后运行结束，并释放它 的所有资源（加入到A当中）； S3 重复上述两个步骤，直到所有的进程都能运行结 束，这就说明最初的状态T是安全的；或者是死 锁发生，这就说明T是不安全的。 一个例子 0 1 1 0 3 0