计算机操作系统汤子瀛)版chapter2-2.pptVIP

2.4 进程的同步 在多道程序系统中，由于资源共享或进程合作，使进程间形成间接相互制约和直接相互制约关系，这需要用进程互斥与同步机制来协调两种制约关系。 进程同步的主要任务是使并发执行的进程间有效的共享资源和相互合作， 进程的同步机制──信号量及P.V操作（解决进程同步互斥问题） 直接作用(相互合作）： 进程间的相互联系是有意识的安排的，直接作用只发生在相交进程间 间接作用（资源共享）： 进程间要通过某种中介发生联系，是无意识安排的，可发生在相交进程之间，也可发生在无关进程之间 2. 进程的同步（直接作用） 指系统中多个进程中发生的事件存在某种时序关系，需要相互合作，共同完成一项任务。具体说，一个进程运行到某一点时要求另一伙伴进程为它提供消息，在未获得消息之前，该进程处于等待状态，获得消息后被唤醒进入就绪状态 3. 进程的互斥（间接作用） 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥。 临界资源： 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 4. 基本概念 进程互斥：指在多道程序环境下，每次只允许一个进程对临界资源进行访问。 进程同步：指多个相关进程在执行次序上的协调。 临界资源:一次仅供一个进程使用的资源。 在进程中涉及到临界资源的程序段叫临界区 多个进程的临界区称为相关临界区 5.使用互斥区的原则 空闲让进：当无进程在互斥区时，任何有权使用互斥区的进程可进入 忙则等待：不允许两个以上的进程同时进入互斥区 有限等待：任何进入互斥区的要求应在有限的时间内得到满足 让权等待：处于等待状态的进程应放弃占用CPU，以使其他进程有机会得到CPU的使用权 进程的同步机制──信号量及P.V操作（解决进程同步） 同步机制： 信号量及P、V操作；管程；条件临界域；路径表达式等（用于集中式系统中）会合；通信顺序进程；分布进程；远程过程调用等（适用于分布式系统中） 信号量机制 信号量机制是一种卓有成效的进程同步工具，被广泛应用于单处理机和多处理机系统，以及计算机网络中。 锁机制仅能表示“开”与“关”两种状态；开、关锁原语必须作为原子操作来进行；关锁原语言中反复测试Ｗ状态，浪费了处理机的时间；锁机制只能解决互斥，不能用于同步。信号量同步机制能完满地解决上述问题。 信号量：semaphore 是一个数据结构 定义如下： struc semaphore { int value; pointer_PCB queue; } 信号量说明： semaphore s; P操作 P(s) { s.value = s.value --; if (s.value 0) { 该进程状态置为等待状态 将该进程的PCB插入相应的等待队列末尾s.queue; } } Ｐ操作 意味着请求分配一个单位资源 V操作 V(s) { s.value = s.value ++; if (s.value = 0) { 唤醒相应等待队列s.queue中等待的一个进程 改变其状态为就绪态 并将其插入就绪队列 } } Ｖ操作 意味着释放一个单位资源 P、V操作为原语操作 原语：是由若干多机器指令构成的完成某种特定功能的一段程序，具有不可分割性。即原语的执行必须是连续的，在执行过程中不允许被中断 实现：开关中断 信号量的使用： 必须置一次且只能置一次初值 初值不能为负数 只能执行P、V操作 用P、V操作解决进程间互斥问题 互斥例子 三个进程共用两个I/O缓冲区。 解：设用信号量S表示共享资源，S初始值为2 同步例子 有A、B两进程，A进程从卡片机读信息入缓冲区，B进程负责加工读进缓冲区的卡片 解：设信号量S1：缓冲区中有否可供加工的信息，初始值为0；信号量S2：缓冲区是否为空，初始值为1。 同步例子（续） 在输入进程A中，可以把P(S2)调到V(S1)后面，而把信号量S2的初始值设为0。 用P-V操作描述前趋关系的例子 信号量还可以描述程序或语句之间的前趋关系。 用P-V操作描述前趋关系（续） 描述如下： Var a，b，c，d，e，f，g：semaphore：=0，0，0， 0，0，0，0； begin parbegin begin　S1；V(a)；V(b)；end； begin　P(a)；S2；V(c)；V(d)；end； begin　P(b)；S3；V(e)；end； begin　P(c)；S4；V(f)；end； begin　P(d)；S5；V(