4进程管理b.pptVIP

45 三、进程间的相互作用(p113) 进程间的联系 进程的同步机制──信号量及P.V操作（解决进程同步互斥问题） 1.进程间的联系 直接作用和间接作用 直接作用： 进程间的相互联系是有意识的安排的，直接作用只发生在相交进程间 间接作用： 进程间要通过某种中介发生联系，是无意识安排的，可发生在两个有联系的进程之间，也可发生在无关进程之间 进程的同步（直接作用） (p114) 进程的同步：synchronism 指系统中多个进程中发生的事件存在某种时序关系，需要相互合作，共同完成一项任务。具体说，一个进程运行到某一点时要求另一伙伴进程为它提供消息，在未获得消息之前，该进程处于等待状态，获得消息后被唤醒进入就绪态 例子 司机 P1 售票员 P2 while (true) while (true)  { { 启动车辆； 关门； 正常运行； 售票； 到站停车； 开门； } } 进程的互斥（间接作用） 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥 临界资源：critical resource (p115) 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 思考题： 例举两个现实生活中需要同步与互斥的例子 临界区（互斥区）：critical section 一个程序片段的集合，这些程序片段分散在不同的进程中，对某个共享的数据结构（共享资源）进行操作 临界区:在进程中涉及到临界资源的程序段 相关临界区:多个进程的临界区 使用互斥区的原则(p115) 有空让进：当无进程在互斥区时，任何有权使用 互斥区的进程可进入 无空等待：不允许两个以上的进程同时进入互斥区 多中择一：当没有进程在临界区，而同时有多个进 程要求进入临界区，只能让其中之一进 入临界区，其他进程必须等待 有限等待：任何进入互斥区的要求应在有限的时间 内得到满足 让权等待：处于等待状态的进程应放弃占用CPU， 以使其他进程有机会得到CPU的使用权 硬件解法 (1) “测试并设置”（TS）指令 boolean TS (boolean *lock) { boolean old; old = *lock; *lock = true; } TS指令功能描述 while TS(lock); 临界区 lock = false; 每个临界资源设置一个lock，初值为false 硬件解法 (2) “交换”指令 void SWAP(int *a, int *b) { int temp; temp = *a; *a = *b; *b = temp; } Swap指令的功能描述 key = true; do { SWAP(lock,key); }while(key); 临界区 lock:=false; 每个临界资源设置一个lock，初值为false 2.进程的同步机制 ──信号量及P.V操作(p116) 以上介绍的算法都存在问题，它们是平等进程间的一种协商机制，需要一个地位高于进程的管理者来解决公有资源的使用问题 操作系统可从进程管理者的角度来处理互斥的问题，信号量就是操作系统提供的管理公有资源的有效手段 进程的同步机制（续） 同步机制： 信号量及P、V操作；管程；条件临界域；路径表达式等（用于集中式系统中） 会合；通信顺序进程；分布式进程；远程过程调用等（适用于分布式系统中） 进程的同步机制（续） 同步机制应满足的基本要求： * 描述能力 * 可以实现 * 效率高 * 使用方便 信号量及P、V操作 1965年，由荷兰学者Dijkstra提出（所以P、V分别是荷兰语的test(proberen)和increment(verhogen)） 一种卓有成效的进程同步机制 最初提出的是二元信号量（互斥） 推广到一般信号量（多值）（同步） 信号量：semaphore (p117) 是一个数据结构 定义如下： struc semaphore { int value; p