4-2009-进程同步与通信 操作系统高级 教学课件.pptVIP

北京大学软件与微电子学院2009春季 第四讲 进程同步及通信 进程(线程)间的同步与互斥 进程(线程)间通信 一、进程的同步机制 进程的同步与互斥 临界区的概念及使用原则 信号量及PV操作 生产者消费者问题 读者写者问题 哲学家就餐问题 1.进程间的联系 直接作用和间接作用 直接作用： 进程间的相互联系是有意识的安排的 例如：一个进程的执行依赖于从另一个进程获取的消息 间接作用： 进程间通过某种中介产生关联（无意识安排） 例如：通过共享对象 进程的同步（直接作用） 进程的同步：synchronism 指系统中多个进程中发生的事件存在某种时序关系，需要相互合作，共同完成一项任务 具体地说，一个进程运行到某一点时，要求另一伙伴进程为它提供消息，在未获得消息之前，该进程进入等待态，获得消息后被唤醒进入就绪态 例子 进程的互斥（间接作用） 由于各进程要求共享资源，而有些资源需要互斥使用，因此各进程间竞争使用这些资源，进程的这种关系为进程的互斥 临界资源：critical resource 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量 临界区（互斥区）：critical section 一个程序片段的集合，这些程序片段分散在不同的进程中，对某个共享的数据结构（共享资源）进行操作 临界区(互斥区)的使用原则 有空让进 当没有进程在临界区时，任何有权使用互斥区的进程可进入临界区 无空等待 不允许两个以上的进程同时进入临界区 有限等待 任何进入临界区的要求应在有限的时间内得到满足 让权等待 处于等待状态的进程应放弃占用CPU，以使其他进程有机会得到CPU的使用权 软件解法 (1) free: 临界区使用标志 true: 有进程在临界区 false:无进程在临界区(初值)  .... while (free);  free = true; 临界区 free = false; 软件解法 (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; qturn = true; while (qturn); while (pturn); 临界区 临界区 pturn = false; qturn = false; ... ... 软件解法(4):Dekker算法（1/2） 在解法(3)基础上引入turn枚举类型 初值任意 P : while (true) { pturn = true; while (qturn) {  if (turn==2) { pturn = false; while (turn==2)； pturn = true; } }  临界区 turn = 2; pturn = false; ..... } 软件解法(4):Dekker算法（2/2） Q : while (true) { qturn = true; while (pturn) {  if (turn==1) { qturn = false; while (turn==1)； qturn = true; } }  临界区 turn = 1; qturn = false; ..... } 软件解法(5):Peterson算法（1/3） 硬件解法2 ——“测试并设置”（