进程管理25管程机制.ppt

2.4 进程的同步 在多道程序系统中，由于资源共享或进程合作，使进程间形成间接相互制约和直接相互制约关系，这需要用进程互斥与同步机制来协调两种制约关系。 进程同步的主要任务是使并发执行的进程间有效的共享资源和相互合作， 进程的同步机制──信号量及P.V操作（解决进程同步互斥问题） 直接作用(相互合作）： 进程间的相互联系是有意识的安排的，直接作用只发生在相交进程间 间接作用（资源共享）： 进程间要通过某种中介发生联系，是无意识安排的，可发生在相交进程之间，也可发生在无关进程之间 2. 进程的同步（直接作用） 指系统中多个进程中发生的事件存在某种时序关系，需要相互合作，共同完成一项任务。具体说，一个进程运行到某一点时要求另一伙伴进程为它提供消息，在未获得消息之前，该进程处于等待状态，获得消息后被唤醒进入就绪状态 3. 进程的互斥（间接作用） 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥。 临界资源： 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 4. 基本概念 进程互斥：指在多道程序环境下，每次只允许一个进程对临界资源进行访问。 进程同步：指多个相关进程在执行次序上的协调。 临界资源:一次仅供一个进程使用的资源。 在进程中涉及到临界资源的程序段叫临界区 多个进程的临界区称为相关临界区 5.使用互斥区的原则 空闲让进：当无进程在互斥区时，任何有权使用互斥区的进程可进入 忙则等待：不允许两个以上的进程同时进入互斥区 有限等待：任何进入互斥区的要求应在有限的时间内得到满足 让权等待：处于等待状态的进程应放弃占用CPU，以使其他进程有机会得到CPU的使用权 6.进程互斥的软件方法 通过平等协商方式实现进程互斥的最初方法是软件方法 其基本思路是在进入区检查和设置一些标志，如果已有进程在临界区，则在进入区通过循环检查进行等待；在退出区修改标志 其中的主要问题是设置什么标志和如何检查标志 软件解法的缺点： 1. 忙等待 2. 实现过于复杂 3. 需要高的编程技巧 软件解法 (1) free: 表示临界区标志 true: 有进程在临界区 false:无进程在临界区(初值)  .... while (free);  free = false; 临界区 free = true; 软件解法 (2) turn: true P进入临界区 false Q进入临界区 .... P: while (not turn); 临界区 turn = false; Q: while (turn); 临界区 turn = true; 软件解法(3) pturn,qturn: 初值为false P进入临界区的条件: pturn∧ not qturn Q进入临界区的条件: not pturn∧ qturn P .... Q ..... pturn = true; pturn = true; while (qturn); while (pturn); 临界区 临界区 pturn = false; qturn = false; ... ... 硬件解法 (1) “测试并设置”指令 boolean TS (boolean *lock) { boolean old; old = *lock; *lock = true; } while TS(lock); 临界区 lock＝false; 硬件解法 (2) “交换”指令 void SWAP(int *a, int *b) { int temp; temp = *a; *a = *b; *b = temp; } key = true; do { SWAP(lock,key); }while(key); 临界区 lock:=false; 7 进程的同步机制──信号量及P.V操作（解决进程同步） 同步机制： 信号量及P、V操作；管程；条件临界域；路径表达式等（用于集中式系统中） 会合；通信顺序进程；分布进程；远程过程调用等（适用于分布式系统中） 描述能力 可以实现 效 率 高 使用方便 2)解决互斥的锁机制