进程的同步与互斥.pptx

进程的同步与互斥 2 2022-4-9 两种制约关系 直接相互制约关系（同步） 间接相互制约关系（互斥） 产生的原因 进程合作 资源共享 第1页/共45页 3 2022-4-9 进程的同步（1） 直接相互制约关系（同步） 指系统中一些进程需要相互合作，共同完成一项任务,这种协作进程之间相互等待对方消息或信号的协调关系称为进程同步.具体说，并发进程在一些关键点上可能需要互相等待与互通消息，进程间的相互联系是有意识的安排的。 产生的原因 进程合作 第2页/共45页 4 2022-4-9 进程的同步（2） 一般同步问题有两类 保证一组合作进程按逻辑需要的执行次序执行 【例】司机 P1 售票员 P2 REPEAT REPEAT 启动 关门 正常运行 售票 到站停 开门 UNTIL FALSE UNTIL FALSE 保证共享缓冲区（共享数据）的合作进程的同步 【例】 第3页/共45页 5 2022-4-9 进程的互斥 是解决进程间竞争关系(间接制约关系)的手段。 间接相互制约关系（互斥） 是指若干个进程同时竞争一个需要互斥使用的资源时，任何时刻最多允许一个进程去使用，其他要使用该资源的进程必须等待，直到该资源被释放。进程间要通过某种中介发生联系，是无意识安排的。 产生的原因 资源共享 互斥是一种特殊的同步 逐次使用互斥资源，也是对进程使用资源次序上的一种协调。 第4页/共45页 6 2022-4-9 临界资源 临界资源 系统中某些资源一次只允许一个进程使用，称这样的资源为临界资源或互斥资源或共享变量。 硬件临界资源：打印机、磁带机 软件临界资源：只能排它使用的变量、表格、队列 第5页/共45页 7 2022-4-9 临界资源实例 二人合作存款 count=100; PA S1:N=count; S2:N=N+100; S3:count=N; PB S4:M=count; S5:M=M+200; S6:count=M; 执行情况： （1） PA— PB ,PB— PA count=400 √ （2） S1— PB—S2—S3 count=200 × （3） S4— PA—S5—S6 count=300 × 因count是一个互斥性使用的变量，是一个临界资源 第6页/共45页 8 2022-4-9 临界区 临界区（临界段） 在进程中访问临界资源的那段代码区。 例子 第7页/共45页 9 2022-4-9 具有临界资源的进程结构 …… /*进入区*/ critical section; /*临界区*/ /*退出区*/ remainder section; /*剩余区*/ …… entry section exit section 第8页/共45页 10 2022-4-9 访问临界区应遵循的原则 空闲让进 当无进程在临界区时，任何有权使用临界区的进程可进入。 忙则等待 不允许两个以上的进程同时进入临界区。 有限等待 任何进入临界区的要求应在有限的时间内得到满足。 让权等待 不能进入临界区的进程应放弃占用CPU。 第9页/共45页 11 2022-4-9 临界区互斥解决方法 硬件 缺点：成本高 软件 用编程解决 缺点： (1)忙等待 (2)实现过于复杂，需要高的编程技巧 信号量机制 第10页/共45页 12 2022-4-9 信号量机制 信号量 只能由P、V操作对其进行操作的变量。 信号量的使用应注意 必须置一次且只能置一次初值。 初值只能为非负整数，实现互斥时初值为1。 只能执行P、V操作。 第11页/共45页 13 2022-4-9 P、V操作 P(S)：表示申请一个资源 。 V(S)：表示释放一个资源。 P、V操作必须成对出现，有一个P操作就一定有一个V操作。 第12页/共45页 14 2022-4-9 整型信号量 整型信号量 信号量S：整型量，除初始化外仅能通过P、V操作访问 P和V操作原语定义： var S:integer; S=1;