第二章计算机操作系统进程管理

1、2022-3-202022-3-201 12022-3-202022-3-202 2内容概述内容概述2.1 2.1 进程的基本概念进程的基本概念 2.2 2.2 进程控制进程控制 2.3 2.3 进程同步进程同步 2.4 2.4 经典进程的同步问题经典进程的同步问题 2.5 2.5 进程通信进程通信 2.6 2.6 线程线程 进程管理的进程管理的主要功能主要功能是把处理机分配给进程是把处理机分配给进程,并对处理器运并对处理器运行进行有效地控制和管理行进行有效地控制和管理,以及协调各个进程之间的相互关系。以及协调各个进程之间的相互关系。2022-3-202022-3-203 32.1.1 2.1

2、.1 程序的顺序执行及其特征程序的顺序执行及其特征2.1.2 2.1.2 前趋图前趋图2.1.3 2.1.3 程序的并发执行及其特征程序的并发执行及其特征2.1.4 2.1.4 进程的特征与状态进程的特征与状态2.1.5 2.1.5 进程控制块进程控制块2022-3-202022-3-204 4图图2-1 2-1 程序的顺序执行程序的顺序执行 1.程序的顺序执行程序的顺序执行仅当前一操作仅当前一操作(程序段程序段)执行完后，才能执行后继操作。执行完后，才能执行后继操作。例如例如，在进行计算时，总须先输入用户的程序和数据，然后进行在进行计算时，总须先输入用户的程序和数据，然后进行计算，最后才能打

3、印计算结果。计算，最后才能打印计算结果。 S1: a:=x+y; S2: b:=a-5; S3: c:=b+1;2.1.1 2.1.1 程序的顺序执行及其特征程序的顺序执行及其特征2022-3-202022-3-205 52.2.程序顺序执行时的特征程序顺序执行时的特征(1)(1)顺序性顺序性: :处理机的操作严格按照程序所规定的顺序执行处理机的操作严格按照程序所规定的顺序执行, ,只有当上一个操作完成后只有当上一个操作完成后, ,下一个操作才能执行。下一个操作才能执行。(2)(2)封闭性封闭性: :程序运行在一个封闭的环境中程序运行在一个封闭的环境中, ,即程序运行时独即程序运行时独占系统的

4、全部资源占系统的全部资源, ,这些资源的状态只能因程序的执行而改这些资源的状态只能因程序的执行而改变变, ,不受任何外界因素的影响。不受任何外界因素的影响。(3)(3)可再现性可再现性: :由于程序顺序执行的封闭性由于程序顺序执行的封闭性, ,只要程序顺序执只要程序顺序执行的行的初始条件和环境相同初始条件和环境相同, ,则不论何时执行则不论何时执行, ,也不论程序执也不论程序执行期间是否存在停顿行期间是否存在停顿, ,程序所得的程序所得的结果结果也也相同相同。结论结论: :正由于程序顺序执行的特点正由于程序顺序执行的特点, ,程序员可以检测和重现程序员可以检测和重现程序的错误程序的错误, ,可

5、以调试和校正程序。可以调试和校正程序。2022-3-202022-3-206 62.1.1 2.1.1 程序的顺序执行及其特征程序的顺序执行及其特征2.1.2 2.1.2 前趋图前趋图2.1.3 2.1.3 程序的并发执行及其特征程序的并发执行及其特征2.1.4 2.1.4 进程的特征与状态进程的特征与状态2.1.5 2.1.5 进程控制块进程控制块2022-3-202022-3-207 72.1.2 2.1.2 前趋图前趋图(Precedence Graph)(Precedence Graph) 前趋图是一个有向前趋图是一个有向无循环无循环图，记为图，记为DAG。用于描述进程之。用于描述进程

6、之间执行的前后关系。间执行的前后关系。图中的每个图中的每个结点结点可用于描述一个程序段或进程，乃至一条可用于描述一个程序段或进程，乃至一条语句；结点间的语句；结点间的有向边有向边则用于表示两个结点之间存在的则用于表示两个结点之间存在的偏序偏序或或前趋关系前趋关系“”。 =(Pi, Pj)|Pi must complete before Pj may start, 如果如果(Pi, Pj),可写成可写成PiPj：称称Pi是是Pj的的直接前趋直接前趋，而称，而称Pj是是Pi的的直接后继直接后继。把没有前趋的结点称为把没有前趋的结点称为初始结点初始结点(Initial Node)，把没有后继，把没有

7、后继的结点称为的结点称为终止结点终止结点(Final Node)。2022-3-202022-3-208 8 每个结点还具有一个每个结点还具有一个重量重量(Weight)，用于表示该结点，用于表示该结点所含有的所含有的程序量程序量或结点的或结点的执行时间执行时间。 图图2-2 2-2 前趋图前趋图 直接前趋直接前趋直接后继直接后继初始结点初始结点终止结点终止结点2022-3-202022-3-209 9对于图对于图 2-2(a)所示的前趋图所示的前趋图,存在下述前趋关系存在下述前趋关系P1P2, P1P3, P1P4, P2P5, P3P5, P4P6, P4P7, P5P8, P6P8, P

8、7P9, P8P9或表示为或表示为: P=P1, P2, P3, P4, P5, P6, P7, P8, P9=(P1, P2),(P1, P3),(P1, P4),(P2, P5),(P3, P5),(P4, P6),(P4, P7),(P5, P8),(P6, P8),(P7, P9),(P8, P9) 应当注意应当注意,前趋图中必须前趋图中必须不存在不存在循环循环,但在图但在图2-2(b)中却有着下中却有着下述的前趋关系述的前趋关系: S2S3, S3S2 2022-3-202022-3-2010102.1.1 2.1.1 程序的顺序执行及其特征程序的顺序执行及其特征2.1.2 2.1.

9、2 前趋图前趋图2.1.3 2.1.3 程序的并发执行及其特征程序的并发执行及其特征2.1.4 2.1.4 进程的特征与状态进程的特征与状态2.1.5 2.1.5 进程控制块进程控制块2022-3-202022-3-2011112.1.3 2.1.3 程序的并发执行及其特征程序的并发执行及其特征 1.1.程序的并发执行程序的并发执行 图图2-3 2-3 并发执行时的前趋图并发执行时的前趋图 并发并发输入程序输入程序I I计算程序计算程序C C输出程序输出程序P P2022-3-202022-3-201212下述四条语句的程序段下述四条语句的程序段: S1: a:=x+2 S2: b:=y+4

10、S3: c:=a+b S4: d:=c+6 图图2-4 2-4 四条语句的前趋关系四条语句的前趋关系S1S2S3S4什么样的程序可以并发执行？什么样的程序可以并发执行？2022-3-202022-3-2013132.2.程序并发执行时的特征程序并发执行时的特征 (1)(1)间断性间断性 相互制约导致并发程序具有相互制约导致并发程序具有“执行执行- -暂停暂停- -执行执行”的间断性活动规律。的间断性活动规律。(2)(2)失去封闭性失去封闭性 系统中多道程序系统中多道程序共享共享资源，资源的状态由多个程资源，资源的状态由多个程序来改变，必然失去了程序的封闭性。序来改变，必然失去了程序的封闭性。(

11、3)(3)不可再现性不可再现性 失去封闭性失去封闭性 失去可再现性，外界环境在程序的失去可再现性，外界环境在程序的两次执行期间发生变化，失去原有的可重复特征。两次执行期间发生变化，失去原有的可重复特征。2022-3-202022-3-201414例如例如, ,有两个程序有两个程序A A和和B,B,它们共享一个变量它们共享一个变量N(N(初始值为初始值为x)x)。 A:A:N:=N+1N:=N+1 B: B:Print(N);Print(N);N:=0; N:=0; 程序程序A A和和B B并发执行，可出现以下并发执行，可出现以下三种三种情况情况: : (1)N:=N+1 (1)N:=N+1在在

12、Print(N)Print(N)和和N:=0N:=0之之前前, ,此时得到的此时得到的N N值分别为值分别为x+1, x+1, 0 x+1, x+1, 0。 (2)N:=N+1(2)N:=N+1在在Print(N)Print(N)和和N:=0N:=0之之后后, ,此时得到的此时得到的N N值分别为值分别为x, 0, 1x, 0, 1。 (3)N:=N+1(3)N:=N+1在在Print(N)Print(N)和和N:=0N:=0之之间间, ,此时得到的此时得到的N N值分别为值分别为x, x+1, 0 x, x+1, 0。 2022-3-202022-3-2015152.1.1 2.1.1 程序

13、的顺序执行及其特征程序的顺序执行及其特征2.1.2 2.1.2 前趋图前趋图2.1.3 2.1.3 程序的并发执行及其特征程序的并发执行及其特征2.1.4 2.1.4 进程的特征与状态进程的特征与状态2.1.5 2.1.5 进程控制块进程控制块2022-3-202022-3-2016161 1、进程实体的构成、进程实体的构成(1)(1)程序程序( (段段) )：进程要进行的操作。：进程要进行的操作。(2)(2)数据段数据段：包括操作的数据和程序自己的变量。：包括操作的数据和程序自己的变量。(3)(3)进程控制块进程控制块PCB(Process Control Block)PCB(Process

14、 Control Block)：存放进程：存放进程标识符、进程运行的当前状态、程序和数据的地址、程标识符、进程运行的当前状态、程序和数据的地址、程序运行时的序运行时的CPUCPU环境等。环境等。2022-3-202022-3-2017172.1.4 2.1.4 进程的特征与状态进程的特征与状态 2.2.进程的特征进程的特征 结构特征结构特征：进程的创建与撤消就是：进程的创建与撤消就是PCB的创建与撤消。的创建与撤消。 动态性动态性：进程是一个动态的概念，实质上是程序的一次：进程是一个动态的概念，实质上是程序的一次执行过程。进程具有生命期：它因执行过程。进程具有生命期：它因“创建创建”而产生，因

15、而产生，因“调度调度”而执行，执行时还走走停停，因而执行，执行时还走走停停，因“撤消撤消”而灭而灭亡。亡。 并发性并发性：多个进程实体同存于内存中：多个进程实体同存于内存中, ,且能在一段时间且能在一段时间内同时运行内同时运行, ,共享系统资源共享系统资源; ;引入进程实体的目的就是并引入进程实体的目的就是并发执行。发执行。2022-3-202022-3-2018182.进程的特征进程的特征独立性独立性：进程是一个能：进程是一个能独立运行独立运行的基本单位，也是系统的基本单位，也是系统进行资源分配和调度的基本单位。进行资源分配和调度的基本单位。异步性异步性：各进程按各自独立的、不可预知的速度向

16、前推：各进程按各自独立的、不可预知的速度向前推进。进。3.3.进程的定义进程的定义进程是进程实体的运行过程进程是进程实体的运行过程, ,是系统进行资源分配和调度是系统进行资源分配和调度的一个独立单位。的一个独立单位。2022-3-202022-3-201919 进程是动态的，程序是静态的进程是动态的，程序是静态的：程序是有序代码的集合，：程序是有序代码的集合，它可以复制；进程是程序在数据集上的一次执行。它可以复制；进程是程序在数据集上的一次执行。 进程是暂时的进程是暂时的, ,程序是永久的程序是永久的：进程是一个状态变化的过程，：进程是一个状态变化的过程，有它的撤销，程序可长久保存。有它的撤销

17、，程序可长久保存。 进程具有结构特征进程具有结构特征：由程序段、数据段和进程控制块三者：由程序段、数据段和进程控制块三者组成，而程序仅是指令的有序集合组成，而程序仅是指令的有序集合, ,是进程的组成部分之一。是进程的组成部分之一。 进程与程序的对应关系进程与程序的对应关系：通过多次执行，一个程序可对应：通过多次执行，一个程序可对应多个进程。多个进程。2022-3-202022-3-2020205.5.进程的状态进程的状态(1)(1)进程的三种基本状态进程的三种基本状态就绪就绪(Ready)(Ready)状态：进程已获得除处理机外的所需资源，状态：进程已获得除处理机外的所需资源，等待分配处理机资

18、源；只要分配等待分配处理机资源；只要分配CPUCPU就可执行。就可执行。执行执行(Running)(Running)状态：处于就绪状态的进程一旦获得了处状态：处于就绪状态的进程一旦获得了处理机，进程状态就处于执行状态。理机，进程状态就处于执行状态。阻塞阻塞(Blocked)(Blocked)状态状态(“(“等待等待”或或“睡眠睡眠”) )：由于进程等：由于进程等待某种事件待某种事件( (如如I/OI/O操作或进程同步操作或进程同步) )，在事件发生之前无，在事件发生之前无法继续执行。该事件发生前即使把处理机分配给该进程法继续执行。该事件发生前即使把处理机分配给该进程, ,也无法运行。如也无法运

19、行。如: :请求请求I/OI/O操作，申请缓冲空间等。操作，申请缓冲空间等。2022-3-202022-3-202121图图2-5 2-5 进程的三种基本状态及其转换进程的三种基本状态及其转换 1.1.时间片用光时间片用光2.2.有优先级高的进程到来有优先级高的进程到来2022-3-202022-3-202222 引入挂起状态的原因引入挂起状态的原因 v终端用户的请求终端用户的请求v父进程请求父进程请求v负荷调节的需要负荷调节的需要v操作系统的需要操作系统的需要 (2)进程的挂起状态进程的挂起状态图图2-6 2-6 具有挂起状态的进程状态图具有挂起状态的进程状态图 2022-3-202022-

20、3-202323 创建状态创建状态：当一个新进程刚刚建立：当一个新进程刚刚建立, ,还未将其放入就绪还未将其放入就绪队列时的状态，称为新状态。队列时的状态，称为新状态。 终止状态终止状态：当一个进程已经正常结束或异常结束，操：当一个进程已经正常结束或异常结束，操作系统已将其从系统队列中移出，但尚未撤消，这时作系统已将其从系统队列中移出，但尚未撤消，这时称为终止状态。称为终止状态。 2022-3-202022-3-202424图图2-7 2-7 进程的五种基本状态及其转换进程的五种基本状态及其转换 2022-3-202022-3-2025252.1.1 2.1.1 程序的顺序执行及其特征程序的顺

21、序执行及其特征2.1.2 2.1.2 前趋图前趋图2.1.3 2.1.3 程序的并发执行及其特征程序的并发执行及其特征2.1.4 2.1.4 进程的特征与状态进程的特征与状态2.1.5 2.1.5 进程控制块进程控制块2022-3-202022-3-2026262.1.5 2.1.5 进程控制块进程控制块 1.1.进程控制块的作用进程控制块的作用 进程控制块的进程控制块的作用作用是使一个在多道程序环境下不能是使一个在多道程序环境下不能独立运行的程序独立运行的程序( (含数据含数据) )，成为一个能独立运行的基本，成为一个能独立运行的基本单位，一个能与其它进程并发执行的进程。或者说，单位，一个能

22、与其它进程并发执行的进程。或者说，OSOS是根据是根据PCBPCB来对并发执行的进程进行控制和管理的。来对并发执行的进程进行控制和管理的。 记录了操作系统所需的记录了操作系统所需的, ,用于描述进程情况及控制进用于描述进程情况及控制进程运行所需的程运行所需的全部信息全部信息。 PCBPCB是进程存在的唯一标志。是进程存在的唯一标志。2022-3-202022-3-2027272.2.进程控制块中的信息进程控制块中的信息 进程标识符进程标识符 内部标识符和外部标识符。内部标识符和外部标识符。 处理机状态处理机状态通用寄存器通用寄存器指令计数器指令计数器PC程序状态字程序状态字PSW用户栈指针用户

23、栈指针 进程调度信息进程调度信息进程状态进程状态进程优先级进程优先级进程调度所需的其它信息进程调度所需的其它信息事件事件 进程控制信息进程控制信息程序和数据的地址程序和数据的地址进程同步和通信机制进程同步和通信机制资源清单资源清单链接指针链接指针struct pcb int id; /进程序号进程序号 int ra; /所需资源所需资源A的数量的数量 int rb; /所需资源所需资源B的数量的数量 int rc; /所需资源所需资源C的数量的数量 int ntime; /所需的时间片个数所需的时间片个数 int rtime; /已经运行的时间片个数已经运行的时间片个数 char state;

24、 /进程状态进程状态 struct pcb *next; 2022-3-202022-3-202828图图2-9 PCB2-9 PCB链接队列示意图链接队列示意图 3.3.进程控制块的组织方式进程控制块的组织方式(1)(1)链接方式链接方式 (2)(2)索引方式索引方式2022-3-202022-3-202929图图2-10 2-10 按索引方式组织按索引方式组织PCB PCB 3.3.进程控制块的组织方式进程控制块的组织方式(1)(1)链接方式链接方式 (2)(2)索引方式索引方式2022-3-202022-3-2030302.1 2.1 进程的基本概念进程的基本概念 2.2 2.2 进程控

25、制进程控制 2.3 2.3 进程同步进程同步 2.4 2.4 经典进程的同步问题经典进程的同步问题 2.5 2.5 进程通信进程通信2.6 2.6 线程线程2022-3-202022-3-2031311.1.系统态和用户态系统态和用户态 处理机的执行状态分处理机的执行状态分系统态系统态和和用户态用户态两种两种: : (1) (1)系统态系统态( (管态、核心态管态、核心态) )：有较高特权，能执行一切：有较高特权，能执行一切指令，访问所有寄存器和存储区。指令，访问所有寄存器和存储区。 (2)(2)用户态用户态( (目态目态) )：有较低特权，能执行规定指令，访：有较低特权，能执行规定指令，访问

26、指定寄存器和存储区。问指定寄存器和存储区。用户程序运行在用户态，不能执行用户程序运行在用户态，不能执行OSOS指令及区域。指令及区域。OSOS内核运行在系统态，进程控制是由内核运行在系统态，进程控制是由OSOS内核实现的。内核实现的。2022-3-202022-3-2032322.2.进程控制的功能进程控制的功能 进程控制是进程管理中最基本的功能：进程控制是进程管理中最基本的功能：创建创建新进程新进程终止终止已结束进程已结束进程终止终止由于某事件而无法运行下去的进程由于某事件而无法运行下去的进程负责进程的状态负责进程的状态转换转换 进程控制一般由进程控制一般由OSOS的内核中的原语来实现的。的

27、内核中的原语来实现的。2022-3-202022-3-2033333.3.原语原语由若干条指令构成的由若干条指令构成的“原子操作原子操作”过程，在执行期过程，在执行期间间不可中断不可中断，作为一个整体而不可分割。，作为一个整体而不可分割。原子操作：一个操作中的所有动作要么全做，要么原子操作：一个操作中的所有动作要么全做，要么全不做。全不做。原子操作在管态下执行，常驻内存。原子操作在管态下执行，常驻内存。原语的作用是为了实现进程的通信和控制。原语的作用是为了实现进程的通信和控制。1.创建原语创建原语2.撤消原语撤消原语3.阻塞原语阻塞原语4.唤醒原语唤醒原语5.挂起原语挂起原语6.激活原语激活原

28、语2022-3-202022-3-2034342.2.1 2.2.1 进程的创建进程的创建2.2.2 2.2.2 进程的终止进程的终止2.2.3 2.2.3 进程的阻塞与唤醒进程的阻塞与唤醒2.2.4 2.2.4 进程的挂起与激活进程的挂起与激活2022-3-202022-3-203535图图2-9 2-9 进程树进程树 1. 1.进程图进程图(Process Graph)(Process Graph)进程图进程图是用于描述一个进程的是用于描述一个进程的家族关系的有向树，树中的结家族关系的有向树，树中的结点表示进程。点表示进程。子进程可以继承父进程的资源。子进程可以继承父进程的资源。撤消父进程

29、时必须同时撤消子撤消父进程时必须同时撤消子进程进程2022-3-202022-3-2036362.2.引起创建进程的事件引起创建进程的事件 (1)(1)用户登录用户登录 (2)(2)作业调度作业调度 (3)(3)提供服务提供服务 (4)(4)应用请求应用请求 3.3.进程的创建步骤进程的创建步骤(1)(1)申请空白申请空白PCB PCB (2)(2)为新进程分配资源为新进程分配资源 (3)(3)初始化进程控制块初始化进程控制块 (4)(4)将新进程插入就绪队列将新进程插入就绪队列2022-3-202022-3-2037372.2.1 2.2.1 进程的创建进程的创建2.2.2 2.2.2 进程

30、的终止进程的终止2.2.3 2.2.3 进程的阻塞与唤醒进程的阻塞与唤醒2.2.4 2.2.4 进程的挂起与激活进程的挂起与激活2022-3-202022-3-2038381.1.引起进程终止的事件引起进程终止的事件 1)1)正常结束正常结束 2)异常结束异常结束 3)外界干预外界干预2022-3-202022-3-2039392.2.进程的终止过程进程的终止过程 (1)(1)从从PCBPCB集合中检索出该进程的集合中检索出该进程的PCB, PCB, 读出该进程的状态。读出该进程的状态。 (2)(2)若被终止进程正处于执行状态若被终止进程正处于执行状态, ,应立即终止该进程的执应立即终止该进程

31、的执行。行。 (3)(3)若该进程还有子孙进程若该进程还有子孙进程, ,应将其所有子孙进程予以终止。应将其所有子孙进程予以终止。 (4)(4)将被终止进程所拥有的全部资源将被终止进程所拥有的全部资源, , 归还给其父进程归还给其父进程, , 或者归还给系统。或者归还给系统。 (5)(5)将被终止进程将被终止进程( (它的它的PCB)PCB)从所在队列从所在队列( (或链表或链表) )中移出中移出, ,等待其他程序来搜集信息。等待其他程序来搜集信息。 2022-3-202022-3-2040402.2.1 2.2.1 进程的创建进程的创建2.2.2 2.2.2 进程的终止进程的终止2.2.3 2

32、.2.3 进程的阻塞与唤醒进程的阻塞与唤醒2.2.4 2.2.4 进程的挂起与激活进程的挂起与激活2022-3-202022-3-2041411.1.引起进程阻塞和唤醒的事件引起进程阻塞和唤醒的事件 (1) (1)请求系统服务请求系统服务 (2)(2)启动某种操作启动某种操作 (3)(3)新数据尚未到达新数据尚未到达 (4)(4)无新工作可做无新工作可做2022-3-202022-3-204242 2. 2.进程阻塞过程进程阻塞过程 进程调用阻塞原语进程调用阻塞原语block()block()把自己阻塞，立即停止执把自己阻塞，立即停止执行，把进程控制块中的现行状态由行，把进程控制块中的现行状态

33、由“执行执行”改为阻塞，改为阻塞，并将并将PCBPCB插入阻塞队列。插入阻塞队列。 将本进程插入到具有相同事件的阻塞将本进程插入到具有相同事件的阻塞( (等待等待) )队列。队列。 调度程序进行重新调度调度程序进行重新调度, ,将处理机分配给另一就绪进将处理机分配给另一就绪进程，并进行切换，亦即，保留被阻塞进程的处理机状程，并进行切换，亦即，保留被阻塞进程的处理机状态态( (在在PCBPCB中中) )，再按新进程的，再按新进程的PCBPCB中的处理机状态设置中的处理机状态设置CPUCPU的环境。的环境。2022-3-202022-3-204343 3. 3.进程唤醒过程进程唤醒过程 调用唤醒原

34、语调用唤醒原语wakeup( )wakeup( )将等待该事件的进程唤醒。将等待该事件的进程唤醒。 唤醒原语执行的过程是唤醒原语执行的过程是 把被阻塞的进程从等待该事件的阻塞队列中移出把被阻塞的进程从等待该事件的阻塞队列中移出 将其将其PCBPCB中的现行状态由阻塞改为就绪中的现行状态由阻塞改为就绪 将该将该PCBPCB插入到就绪队列中插入到就绪队列中2022-3-202022-3-2044442.2.1 2.2.1 进程的创建进程的创建2.2.2 2.2.2 进程的终止进程的终止2.2.3 2.2.3 进程的阻塞与唤醒进程的阻塞与唤醒2.2.4 2.2.4 进程的挂起与激活进程的挂起与激活2

35、022-3-202022-3-204545 1. 1.进程的挂起进程的挂起 系统将利用挂起原语系统将利用挂起原语suspend( )suspend( )将指定进程或处于阻将指定进程或处于阻塞状态的进程挂起。塞状态的进程挂起。 suspend()suspend()原语的执行过程原语的执行过程 首先检查被挂起进程的状态，若处于活动就绪状首先检查被挂起进程的状态，若处于活动就绪状态，便将其改为静止就绪；对于活动阻塞状态的态，便将其改为静止就绪；对于活动阻塞状态的进程，则将之改为静止阻塞。进程，则将之改为静止阻塞。 把该进程的把该进程的PCBPCB复制到某指定的内存区域。复制到某指定的内存区域。 若被

36、挂起的进程正在执行若被挂起的进程正在执行, ,则转向调度程序重新调则转向调度程序重新调度。度。2022-3-202022-3-204646 2. 2.进程的激活过程进程的激活过程 系统将利用激活原语系统将利用激活原语active( )active( )将指定进程激活。将指定进程激活。 active()active()原语执行过程原语执行过程 将进程从外存调入内存，检查该进程的现行状态，将进程从外存调入内存，检查该进程的现行状态，若是静止就绪，将之改为活动就绪；若为静止阻若是静止就绪，将之改为活动就绪；若为静止阻塞便将之改为活动阻塞。塞便将之改为活动阻塞。 假如采用的是抢占调度策略，则每当有新进

37、程进假如采用的是抢占调度策略，则每当有新进程进入就绪队列时，应检查是否要进行重新调度，即入就绪队列时，应检查是否要进行重新调度，即由调度程序将被激活进程与当前进程进行优先级由调度程序将被激活进程与当前进程进行优先级的比较，如果被激活进程的优先级更低，就不必的比较，如果被激活进程的优先级更低，就不必重新调度；否则，立即剥夺当前进程的运行，把重新调度；否则，立即剥夺当前进程的运行，把处理机分配给刚被激活的进程。处理机分配给刚被激活的进程。2022-3-202022-3-2047472.1 2.1 进程的基本概念进程的基本概念 2.2 2.2 进程控制进程控制 2.3 2.3 进程同步进程同步 2.

38、4 2.4 经典进程的同步问题经典进程的同步问题 2.5 2.5 进程通信进程通信2.6 2.6 线程线程2022-3-202022-3-204848 进程同步的主要任务是对多个相关进程在执行次序进程同步的主要任务是对多个相关进程在执行次序上进行协调，以使并发执行的诸进程之间能有效地上进行协调，以使并发执行的诸进程之间能有效地共享共享资源资源和和相互合作相互合作，从而使程序的执行具有可再现性。，从而使程序的执行具有可再现性。2.3.1 2.3.1 进程同步的基本概念进程同步的基本概念2.3.2 2.3.2 信号量机制信号量机制2.3.3 2.3.3 信号量的应用信号量的应用2.3.4 2.3.

39、4 管程机制管程机制2022-3-202022-3-2049492.3.1 2.3.1 进程同步的基本概进程同步的基本概念念1.两种形式的制约关系两种形式的制约关系(1)(1)间接相互制约关系间接相互制约关系 源于资源共享。如源于资源共享。如A A、B B共享打印机，若共享打印机，若A A申请打印时，申请打印时，打印机已分配给打印机已分配给B B，则，则A A只能阻塞，等只能阻塞，等B B释放后再改为就绪，释放后再改为就绪，又称为又称为“互斥互斥”。(2)(2)直接相互制约关系直接相互制约关系 源于进程之间的合作关系。如进程源于进程之间的合作关系。如进程A A向向B B提供数据，当提供数据，当

40、输入缓冲空时，输入缓冲空时，B B不能得到数据而阻塞；反之当缓冲满时，不能得到数据而阻塞；反之当缓冲满时，A A无法写入而阻塞，又称为无法写入而阻塞，又称为“同步同步”。2022-3-202022-3-2050502.2.临界资源临界资源定义定义: :在一段时间内只允许一个进程访问的资源。在一段时间内只允许一个进程访问的资源。例如例如: :打印机、磁带机、卡片输入机、变量、表格、数据、打印机、磁带机、卡片输入机、变量、表格、数据、 指针、数组等。进程之间采取互斥方式实现对这些指针、数组等。进程之间采取互斥方式实现对这些 资源的共享。资源的共享。例子：例子： 生产者生产者- -消费者消费者(pr

41、oducer-consumer)(producer-consumer)问题是一个著名的问题是一个著名的进程同步问题。进程同步问题。有一群生产者进程在生产产品，提供给消费者进程去消费。有一群生产者进程在生产产品，提供给消费者进程去消费。不能向满缓冲区投放产品，不能从空缓冲区中取产品。不能向满缓冲区投放产品，不能从空缓冲区中取产品。2022-3-202022-3-205151 一个数组缓冲池，有一个数组缓冲池，有n个缓冲区。个缓冲区。 buffer:array0, 1, , n-1 of item 输入指针输入指针in in =(in+1)mod n。 输出指针输出指针out out =(out+

42、1) mod n。 counter：初始值为：初始值为0。缓冲池中含有的产品数目。缓冲池中含有的产品数目。0 1 n-1inout 2022-3-202022-3-205252producer: repeat producer: repeat 生产者进程生产者进程 produce an item in nextp;produce an item in nextp;/生产一个产品生产一个产品 while counter=n do no-op;while counter=n do no-op; bufferbufferinin = =nextp;nextp;/将产品放入缓冲区内将产品放入缓冲区内

43、in =in =in+1 mod n;in+1 mod n; counter =counter =counter+1;counter+1; /缓冲池中产品数加一缓冲池中产品数加一 until false;until false;consumer: repeat consumer: repeat 消费者进程消费者进程 while counter=0 do no-op;while counter=0 do no-op; nextc =nextc =bufferbufferoutout; ;/从缓冲区中消费产品从缓冲区中消费产品 out =out =(out+1) mod n;(out+1) mod

44、 n; counter = counter-1;counter = counter-1; /缓冲池中产品数减一缓冲池中产品数减一 consumer the item in nextc;/consumer the item in nextc;/消费一个产品消费一个产品 until false; until false; 2022-3-202022-3-205353 虽然上面的生产者程序和消费者程序，在分别看时都是正确的，而且两者在顺序执行时其结果也会是正确的，但若并发执行时，就会出现差错，问题就在于这两个进程共享变量counter。生产者对它做加1操作，消费者对它做减1操作，这两个操作在用机器语

45、言实现时， 常可用下面的形式描述：register1=counter; register2=counter;register1=register1+1; register2=register2-1;counter=register1; counter=register2; 2022-3-202022-3-205454 假设：counter的当前值是5。如果生产者进程先执行左列的三条机器语言语句，然后消费者进程再执行右列的三条语句，则最后共享变量counter的值仍为5；反之，如果让消费者进程先执行右列的三条语句，然后再让生产者进程执行左列的三条语句，counter值也还是5，但是，如果按下述顺

46、序执行，counter值是4。由于并发执行而失去封闭性。register1=counter; (register1=5)register1=register1+1; (register1=6)register2=counter; (register2=5)register2=register2-1; (register2=4)counter=register1; (counter=6)counter=register2; (counter=4) 共享资源的访问互斥2022-3-202022-3-205555不论是不论是硬件临界资源硬件临界资源还是还是软件临界资源软件临界资源，多个进程必须，多个

47、进程必须互斥互斥地对它进行访问。地对它进行访问。在每个进程中访问临界资源的那段代码称为在每个进程中访问临界资源的那段代码称为临界区。临界区。每个进程进入临界区之前应先对欲访问的临界资源进行每个进程进入临界区之前应先对欲访问的临界资源进行检查，看是否正在被访问。如果此刻该临界资源未被访检查，看是否正在被访问。如果此刻该临界资源未被访问，该进程可进入临界区问，该进程可进入临界区, ,并设置它正在被访问的标志，并设置它正在被访问的标志，在临界区之前执行的这段代码称为在临界区之前执行的这段代码称为进入区。进入区。在临界区后面也要加上一段代码，用于将临界区被访问在临界区后面也要加上一段代码，用于将临界区

48、被访问的资源恢复为未被访问的标志，称为的资源恢复为未被访问的标志，称为退出区。退出区。2022-3-202022-3-205656可把一个可把一个访问临界资源访问临界资源的循环进程描述如下的循环进程描述如下: :repeat critical section; 临界区临界区 remainder section; 剩余区剩余区 until false; entry sectionexit section 进入区进入区 退出区退出区 2022-3-202022-3-2057574.4.同步机制应遵循的规则同步机制应遵循的规则(1)(1)空闲让进：空闲让进：当无进程处于临界区时当无进程处于临界区时,

49、 ,应允许一个进程进应允许一个进程进入临界区入临界区, ,以有效利用临界资源。以有效利用临界资源。(2)(2)忙则等待忙则等待：当有进程进入临界区时当有进程进入临界区时, ,其他进程必须等待。其他进程必须等待。(3)(3)有限等待：有限等待：对要求访问临界资源的进程对要求访问临界资源的进程, ,应保证在有限应保证在有限时间内进入自己的临界区时间内进入自己的临界区, ,防止防止“死等死等”。(4)(4)让权等待：让权等待：当进程不能进入其临界区时当进程不能进入其临界区时, ,应立即释放处应立即释放处理机理机, ,防止防止“忙等忙等”, ,不能一直用语句判断能不能进不能一直用语句判断能不能进, ,

50、占占用处理机。用处理机。2022-3-202022-3-2058582.3.1 2.3.1 进程同步的基本概念进程同步的基本概念2.3.2 2.3.2 信号量机制信号量机制2.3.3 2.3.3 信号量的应用信号量的应用2022-3-202022-3-205959 19651965年年, ,荷兰学者荷兰学者DijkstraDijkstra提出的信号量提出的信号量(Semaphores)(Semaphores)机制是一种有效的进程同步工具机制是一种有效的进程同步工具, ,所以所以P P、V V分别是荷兰分别是荷兰语的语的test(proberen)test(proberen)和和incremen

51、t(verhogen)increment(verhogen)。 信号量机制已从信号量机制已从整型信号量整型信号量发展为发展为记录型信号量记录型信号量、ANDAND型信号量型信号量, ,又进一步发展为信号量集。又进一步发展为信号量集。 信号量就是信号量就是OSOS提供的管理公有资源的有效手段。提供的管理公有资源的有效手段。 信号量代表信号量代表可用资源实体的数量可用资源实体的数量。2022-3-202022-3-2060601.1.整型信号量整型信号量除除初始化初始化外，仅能通过两个标准的外，仅能通过两个标准的原子操作原子操作wait(S)和和signal(S)来访问。也称为来访问。也称为P、V

52、操作。操作。wait和和signal操作可描述为操作可描述为:uwait(S): while S0 do no-op; S:=S-1;usignal(S): S:=S+1; wait(S)和和signal(S)是原子操作，因此它们在执行时是不可是原子操作，因此它们在执行时是不可中断的。另外，信号量只能通过原语操作来访问，不能被中断的。另外，信号量只能通过原语操作来访问，不能被进程调度所打断。进程调度所打断。 有有“忙等忙等”现象。现象。2022-3-202022-3-206161可把一个可把一个访问临界资源访问临界资源的循环进程描述如下的循环进程描述如下: :repeat critical s

53、ection; 临界区临界区 remainder section; 剩余区剩余区 until false; entry sectionexit sectionP(S)或或wait(S);V(S)或或signal(S); 进入区进入区 退出区退出区 2022-3-202022-3-2062622.2.记录型信号量记录型信号量 记录型信号量（也称资源信号量）机制，则是一种不存记录型信号量（也称资源信号量）机制，则是一种不存在在“忙等忙等”现象的进程同步机制，它采用了现象的进程同步机制，它采用了记录型的数记录型的数据结构。据结构。 在采取了在采取了“让权等待让权等待”的策略后，又会出现多个进程等的策

54、略后，又会出现多个进程等待访问同一临界资源的情况。为此，在信号量机制中，待访问同一临界资源的情况。为此，在信号量机制中，除了需要一个用于代表资源数目的整型变量除了需要一个用于代表资源数目的整型变量valuevalue外，外，还应增加一个进程链表还应增加一个进程链表L L，用于链接上述的所有等待进，用于链接上述的所有等待进程。程。2022-3-202022-3-206363type semaphore=record value:integer;/资源数目资源数目 L:list of process;/进程链表指针进程链表指针 endprocedure wait(S) var S: semapho

55、re; begin S.value:=S.value-1; if S.value0 then block(S.L); end procedure signal(S) var S: semaphore; begin S.value:=S.value+1; if S.value0 then wakeup(S.L); end 请求一个单位的该类资源该类资源数减少一个自我阻塞，放弃处理机释放一个单位资源该类资源增加一个唤醒进程2022-3-202022-3-206464 在有些任务中在有些任务中, ,一个进程先要获得多个共享资源后才能一个进程先要获得多个共享资源后才能执行，若进程执行，若进程A A和和

56、B B都要申请都要申请D D和和E E两种资源，设信号量两种资源，设信号量DmutexDmutex和和EmutexEmutex的初值均为的初值均为1 1在两个进程中都要包含两个对在两个进程中都要包含两个对DmutexDmutex和和EmutexEmutex的操作，即的操作，即process A: process B: P(Dmutex); P(Emutex); P(Emutex); P(Dmutex);若进程若进程A A和和B B按下述次序交替执行按下述次序交替执行P P操作操作: process A: P(Dmutex); 于是于是Dmutex=0 process B: P(Emutex);

57、 于是于是Emutex=0 process A: P(Emutex); 于是于是Emutex=-1 A阻塞阻塞 process B: P(Dmutex); 于是于是Dmutex=-1 B阻塞阻塞 2022-3-202022-3-206565 AND AND同步机制的同步机制的基本思想基本思想是是: :将进程在整个运行过程中将进程在整个运行过程中需要的所有资源需要的所有资源, ,一次性全部一次性全部地分配给进程地分配给进程, ,待进程使用完待进程使用完后再一起释放。只要尚有一个资源未能分配给进程后再一起释放。只要尚有一个资源未能分配给进程, ,其它所其它所有可能为之分配的资源有可能为之分配的资源

58、, ,也不分配给他。亦即也不分配给他。亦即, ,对若干个临对若干个临界资源的分配界资源的分配, ,采取原子操作方式采取原子操作方式: :要么全部分配到进程要么全部分配到进程, ,要要么一个也不分配。由死锁理论可知么一个也不分配。由死锁理论可知, ,这样就可避免上述死锁这样就可避免上述死锁情况的发生。为此情况的发生。为此, ,在在P P操作中操作中, ,增加了一个增加了一个“AND”AND”条件条件, ,故故称为称为ANDAND同步同步, ,或称为同时或称为同时P P操作操作, , 即即SP(Simultaneous wait)SP(Simultaneous wait)定义如下定义如下: : 2

59、022-3-202022-3-206666SP:Swait(S1, S2, , Sn) if Si1 and and Sn1 then 每个资源都可用每个资源都可用 for i: =1 to n do Si:=Si-1; 分配所有资源分配所有资源 endfor else 否则否则,将进程放到等待资源将进程放到等待资源Si的队列中的队列中 “阻塞阻塞”( (去第去第1 1个个S Si11的的“等待等待S Si”的阻塞队列中排队的阻塞队列中排队, ,并置它的程序计数器于并置它的程序计数器于SPSP操作的起始点操作的起始点) ) endifSV:Ssignal(S1, S2, , Sn) for i

60、: =1 to n do Si=Si+1; 释放所有资源释放所有资源 “唤醒唤醒”( (所有所有“等待等待S Si i”的阻塞进程的阻塞进程, ,置为置为“就绪就绪”状状态态, ,移到就绪队列中移到就绪队列中) ) endfor; 2022-3-202022-3-206767在记录型信号量机制中在记录型信号量机制中,P(S),P(S)和和V(S)V(S)操作仅能对信号量施操作仅能对信号量施以加以加1 1或减或减1 1操作操作, ,意味着每次只能获得或释放一个单位的意味着每次只能获得或释放一个单位的临界资源临界资源, ,效率较低。效率较低。在有些情况下在有些情况下, ,当资源数量低于某下限值时便