操作系统 第2部分_进程互斥与同步2.ppt

2.5 进程互斥与同步;？;例如;分析及措施;例;例;可能发生的情况;可能发生的情况;分析;结论;并发控制  - 竞争资源 ;并发控制  - 竞争资源;临界区;互斥使用临界资源;互斥使用临界资源;临界区使用原则（也称为互斥条件） ;竞争资源可能引起死锁;R1;竞争资源 - 饥饿;竞争资源 - 饥饿;并发控制  -共同协作;必须保证数据的一致性。 前面列举了银行联网储蓄的例子，除了必须保证储户余额的正确性以外，还必须使银行储蓄总余额、当日发生额、流水帐等数据得到一致的修改。 一般通过事务处理来保证数据的一致性，可以将对储户余额、储蓄总余额、当日发生额、流水帐等数据的修改放到一个临界区中，进入临界区的进程必须一次性完成对这一系列数据的修改操作。 只有该进程退出临界区以后，才允许别的进程进入临界区进行数据修改，以保证数据的一致性。 ;并发控制  -通信协作;并发控制  -通信协作;互斥与同步的解决策略;软件方法;硬件方法; 另一类解决方法是由操作系统，或专门的程序设计语言提供的特别支持，包括信号量方法、管程方法和消息传递方法。 其中，信号量方法已经成为控制进程同步与互斥的通用方法 ;互斥与同步解决方法之一：软件方法 ;互斥与同步解决方法之一：软件方法-初步设想 ;var turn: 0..1; /*共享的全局变量*/ P0 P 1 … … while turn ≠ 0 do {nothing}; while turn ≠ 1 do {nothing}; 临界区; 临界区 turn:=1; turn:=0; … … 图2.26 互斥算法：初步设想;分析：初步设想;分析：初步设想;分析：初步设想;分析：初步设想;互斥与同步解决方法之一：软件方法-第一次改进;var flag : array [0..1] of boolean :false ; /*共享的全局变量*/ P0 P1 … … while flag[1] do {nothing}; while flag[0] do {nothing}; flag[0]:=true; flag[1]:=true; 临界区; 临界区 flag[0]:=false; flag[1]:=false; … … 图2.27 互斥算法：第一次改进;分析：第一次改进;P0;互斥与同步解决方法之一：软件方法-第二次改进;var flag : array [0..1] of boolean :false ; /*共享的全局变量*/ P0 P1 … … flag[0]:=true; flag[1]:=true; while flag[1] do {nothing}; while flag[0] do {nothing}; 临界区;