计算机操作系统（王永茂）第2章进程管理-2.pptVIP

2.3 进程互斥与同步 ;例如;分析及措施;例;例;可能发生的情况;可能发生的情况;分析;结论;两种形式的制约关系;间接制约方式;A进程 （从键盘输入数据） B进程（取走数据进行计算） ; 进程的互斥? ★ 在系统中，许多进程常常需要共享资源，而这些资源往往要求排它性地使用，即：一次只能为一个进程服务。因此， ★ 各进程间互斥使用这些资源，进程间的这种关系是: 进程的互斥。 ★ 进程间的间接相互作用构成进程互斥。 ★ 例如，多个进程在竞争使用打印机、一些变量、表格等资源时，表现为互斥关系。;进程同步是指： ★ 进程之间一种直接的协同工作关系， ★ 是一些进程相互合作，共同完成一项任务。 ★ 进程间的直接相互作用构成进程的同步。 ?;临界资源与临界区;临界区;互斥使用临界资源;互斥使用临界资源;临界区使用原则（也称为互斥条件） ;竞争资源可能引起死锁;;竞争资源 - 饥饿;竞争资源 - 饥饿;互斥与同步的解决策略;软件方法;硬件方法;;互斥与同步解决方法之一：软件方法 ;互斥与同步解决方法之一：软件方法-初步设想 ;var turn: 0..1; /*共享的全局变量*/ P0 P 1 … … while turn ≠ 0 do {nothing}; while turn ≠ 1 do {nothing}; 临界区; 临界区 turn:=1; turn:=0; … … 图2-3 互斥算法：初步设想;分析：初步设想;分析：初步设想;分析：初步设想;分析：初步设想;互斥与同步解决方法之一：软件方法-第一次改进;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-4 互斥算法：第一次改进;分析：第一次改进;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}; 临界区; 临界区 flag[0]:=false; flag[1]:=fals