操作系统zhong信号量de应用.pptVIP

3. 利用信号量实现进程同步(续2) 例2：医生进程Doctor，化验进程Lab共同完成病人的诊治工作，医生开化验单，化验进程进行化验，医生根据化验结果进行诊断。请用记录型信号量和P、V 操作实现两进程的同步。 第二章 进 程 管 理 第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 进程通信 2.3 进 程 同 步 2.3.1 进程同步的基本概念 2.3.2 信号量机制 2.3.3 信号量的应用 1.进程同步的概念 所谓进程同步，在多道技术下，对多个相关进程在执行次序上的协调、正确，OS中用于保证这种关系的相应机制称为进程同步机制。 2.3.1 进程同步的基本概念 并发进程之间由于资源共享和进程合作，使处于一个系统内的进程存在制约关系： 直接相互制约关系：源于进程间的合作。 进程A通过缓冲区向进程B提供数据用于计算 输入进程A 计算进程B 2、进程的制约关系 进程间关系 间接相互制约关系：源于共享系统资源。 相互制约的进程本身并没有关系，但由于申请使用相同的资源，但这个资源一段时间内只允许一个进程使用，这时两个进程是间接制约关系。 3。临界资源(Critical Resouce)  定义：在一段时间内，只允许一个进程访问的资源。 软件：共享变量（存储单元） 硬件：打印机、扫描仪（多个任务不能穿插使用） 并发进程应互斥地访问临界资源。 （以飞机售票系统为例） ………… n=x n=n-1; x=n; …… ………… m=x m=m-1; x=m; …… X=10 ………… n=x n=n-1; x=n; …… A进程 B进程 同一段程序。两个终端 ………… n=x n=n-1; x=n; …… ………… m=x m=m-1; x=m; …… X=10 ………… n=x n=n-1; x=n; …… A进程 B进程 三条语句不能分开 公共资源 临界区 4. 临界区 (Critical Section) 定义：对临界资源访问代码段称为临界区。 对临界资源的访问控制可以通过对进入临界区的控制。互斥访问临界区便可实现对临界资源的互斥访问。 临界区互斥访问描述： 相应的，在临界区后也应加上一段“退出区”（exti section）代码 用于将正在被访问的标志恢复为未访问的标志。 每个进程在进入临界区之前，应先对临界资源做检查，看临界资 源是否正被访问，为此，每个进程在进入临界区之前，应设置一段 用于上述检查的代码，称为“进入区”代码（entry section） 如果临界资源空闲，则进入，并设置正在被访问的标志。 访问临界资源的循环进程描述 Entry section Critical section Exit section Remainder section repeat until false 5. 同步机制应遵循的规则 (1) 空闲让进 (2) 忙则等待 有限等待（避免“死等”） 确保在有限的时间内进程可以进入自己的临界区 让权等待（释放CPU） 进程不能进入临界区，应立即释放处理机，不能一直检测，以免进程陷入“忙等” Entry section Critical section Exit section Remainder section repeat until false 如何实现Entry section和Eixt section ?? 2.3.2 信号量机制 一、 什么是信号量 信号量是一个特殊变量，除初始化外，仅能通过两个标准的原子操作wait(s)和signal(S)来访问，这两个操作一直被称为P操作和V操作。这个变量时整型变量，代表物理实体。 wait(S)和signal(S) 一直被分别称为P、V操作,亦可记作 P(s),V(s)。 整型信号量机制 记录型信号量机制 AND型信号量机制 信号量集机制 信号量分类 1. 整型信号量机制（计数型） 将信号量S定义成一个整数。 P（S）、V（S）操作 Wait 和 signal操作可描述为： P(S) wait(S): while S≤0 do no-op