32 临界区管理321 互斥与临界区322 实现临界区管理的几种尝试323 实现临界区管理的软件方法324 实现临界区管理的硬件设施321互斥与临界区(1)并发进程中与共享变量有关的程序段叫“临界区”(Critical Section) , 共享变量代表的资源叫“临界资源”(Critical Resource)。 互斥与临界区(2) ?与同一变量有关的临界区分散在各进程的程序段中,而各进程的执行速
32 临界区管理321 互斥与临界区322 实现临界区管理的几种尝试323 实现临界区管理的软件方法324 实现临界区管理的硬件设施321互斥与临界区(1)并发进程中与共享变量有关的程序段叫“临界区”(Critical Section) , 共享变量代表的资源叫“临界资源”(Critical Resource)。 互斥与临界区(2) ?与同一变量有关的临界区分散在各进程的程序段中,而各进程的执行速
32 临界区管理321 互斥与临界区322 实现临界区管理的几种尝试323 实现临界区管理的软件方法324 实现临界区管理的硬件设施321互斥与临界区(1)并发进程中与共享变量有关的程序段叫“临界区”(Critical Section) , 共享变量代表的资源叫“临界资源”(Critical Resource)。 互斥与临界区(2) ?与同一变量有关的临界区分散在各进程的程序段中,而各进程的执行速
32临界区管理321互斥与临界区322实现临界区管理的几种尝试323实现临界区管理的软件方法324实现临界区管理的硬件设施321互斥与临界区(1)并发进程中与共享变量有关的程序段叫“临界区”, 共享变量代表的资源叫“临界资源”。 与同一变量有关的临界区分散在各进程的程序段中,而各进程的执行速度不可预知。如果保证进程在临界区执行时,不让另一个进程进入临界区,即各进程对共享变量的访问是互斥的,就不会造
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级进程管理临界区的管理 为防止两个或多个进程同时进入它们的临界区可以在系统中设置专门的同步机制来协调这些进程这些机制应遵循下面的准则: (1)空闲让进:当无进程处于临界区时必须让一个要求进入它的临界区的进程立即进入以提高临界资源的利用率 (2)忙则等待:当已有进程处于临界区时其他试图进入自己临界区的进程必须等待以保证它
进程同步(Process Synchronization)之临界区问题(Critical Section Problem)让我们先达成共识对共享数据(Shared Data)的并发访问(Concurrent Access),可能导致数据不一致问题确保数据一致性(Data Consistency),是个合理的要求。它需要一个机制,以保证合作进程们有序地执行以生产者-消费者问题为例。设计一个整型变量
#
36死锁361 死锁产生362 死锁防止363 死锁避免364 死锁检测和解除361 死锁产生若干死锁的例子(1)例1进程推进顺序不当产生死锁设系统有打印机、读卡机各一台,被进程P和Q共享。两个进程并发执行,按下列次序请求和释放资源: 进程P 进程Q 请求读卡机请求打印机 请求打印机请求读卡机 释放读卡机 释放读卡机 释放打印机 释放打印机?若干死锁的例子(2)例2PV操作使用不当产生死锁
34 管程341 管程和条件变量 342 霍尔方法实现管程343 汉森方法实现管程341什么是管程(1)为什么要引入管程把分散在各进程中的临界区集中起来进行管理 ;防止进程有意或无意的违法同步操作, 便于用高级语言来书写程序,也便于程序正确性验证。 什么是管程(2)管程是由局部于自己的若干公共变量及其说明和所有访问这些公共变量的过程所组成的软件模块管程有以下属性?共享性:?安全性:?互斥性:管
34 管程341 管程和条件变量 342 霍尔方法实现管程343 汉森方法实现管程341什么是管程(1)为什么要引入管程把分散在各进程中的临界区集中起来进行管理 ;防止进程有意或无意的违法同步操作, 便于用高级语言来书写程序,也便于程序正确性验证。 什么是管程(2)管程是由局部于自己的若干公共变量及其说明和所有访问这些公共变量的过程所组成的软件模块管程有以下属性?共享性:?安全性:?互斥性:管
违法有害信息,请在下方选择原因提交举报