第2章 进程与线程修改.pptVIP

第2章 进程管理 程序的顺序执行 多道程序系统的执行环境 多道环境的特点： （1）独立性。每道程序在逻辑上是独立的。 （2）随机性。每道程序的输入与执行时间随机。 （3）资源共享。因为各种资源都是有限的。 程序的并发执行 程序并发执行的条件Bernstein Bernstein条件——例2 五种状态的进程状态转换图 进程和线程比较 用户级线程与内核级线程 用户级线程状态与进程状态的关系 组合的方法 Windows 2000的进程管理 Windows2000的执行体进程块EPROCESS—PCB Windows2000进程控制 Windows2000的线程 Windows2000的线程状态转换图 Windows2000的线程控制用系统调用 ●检查被挂起进程的状态 ●如进程处于就绪状态，将进程从就绪状态变为就绪挂起状态 ●如进程处于阻塞状态，将进程从阻塞状态变为阻塞挂起状态 ●如进程正在运行，将进程变为就绪挂起状态，并重新调度 ●检查被激活进程的状态 ●如进程处于就绪挂起状态，将进程从就绪挂起状态变为就绪状态 ●如进程处于阻塞挂起状态，将进程从阻塞挂起状态变为阻塞状态 ●若系统为抢占式系统，则进行进程调度 挂起原语要做的工作 激活原语要做的工作 进程的挂起与激活 由于进程是资源拥有者，因而在进程的创建、撤消和切换中系统必须为之付出较大的时间、空间开销。因此，系统中所设置的进程的数目不宜过多，进程切换的频率不宜过高。这就限制了进程并发程度的提高。 ● 2.4 线程 线程的引入 进程有两个基本属性 ●进程是拥有资源的独立单位 ●进程是独立调度和分派的基本单位 进程与线程的关系 操作系统中的进程和线程可以设计为以上四种 线程是进程中的一个实体，是系统独立调度和分派的基本单位 线程的定义 线程的定义 进程的属性之一 ●进程是资源的拥有者 ●线程不拥有资源，只有TCB及堆栈 ●调度 线程调度快，需要空间小。 进程因拥有资源，调度时因负担过重而缓慢。 ●并发性 在引入线程的操作系统中，不仅进程之间可以并发执行，一个进程中的多个线程之间亦可并发执行。 ●拥有资源 进程是资源的拥有者 ●系统开销 进程切换的开销远远大于线程切换的开销，线程的 切换省去了资源的回收。 进程和线程比较 线程的实现 用户级线程 内核级线程 组合的方法 ●线程的创建、撤消和切换，都不利用系统调用来实现。线程与内核无关，内核也不知道线程的存在 ●依赖于内核，线程的创建、撤消和切换都由内核实现。在内核中有线程控制块（TCB），内核根据TCB感知线程的存在，并对线程进行控制 ●由内核支持的用户线程。一个进程可以有一个或多个轻量级线程，每个轻量级线程由一个单独的内核线程来支持 下面的例子说明线程调度和进程调度的关系。假设进程A有两个用户级线程：线程1和线程2。其中线程2处于运行状态，由于进程A的某段程序正在运行，因此进程A也处于运行状态。不同的是进程A的运行是内核感知的，而内核不知道进程的两个线程的存在。进程A和进程A的两个线程的状态如图（a）所示，当线程2继续执行时，可能会发生以下几种情况： （1）线程2中执行的程序因需要I/O而进行系统调用，这将导致将控制转移给内核，内核启动I/O操作，并将进程A阻塞，内核将调用另一个进程运行。在此期间，对于线程库管理的线程，即进程A的线程2仍处于运行状态。值得注意的是，线程2的运行状态并不是真正意义上的被处理机执行，而是线程库认为它处于运行状态图（b）。 （2）时钟中断把控制权传递给内核，内核确定当前正在运行的进程A已经用完了它的时间片，内核将进程A置于就绪状态，并切换另一个进程。此时，线程库管理的线程，即进程A的线程2仍处于运行状态，相应的状态见图（c）。 （3）线程2运行到达某处，它需要进程A的线程1所执行的某些数据，线程2进入阻塞状态，线程1从就绪状态转换为运行状态，进程A自身仍处于运行状态中，相应的状态见图d）。 在图（b）和图（c）所示的两种状态中，当内核把控制又重新切换给进程A时，进程A中的线程2会恢复执行。另外需要注意的是，执行线程库中的代码时可以被中断，可能由于线程所在进程A的时间片用完了，也可能由于被一个高优先级的线程所剥夺。在中断时，进程中的线程可能处于线程的切换过程中，即正在从一个线程切换到另一个线程。当该进程恢复执行时，完成线程的切换，并把控制权交给进程中的一个新选中的线程。 调度与切换速度 用户级线程与内核级线程的比较 系统调用 线程执行时间 用户级线程的切换，因发生在一个应用进程之间，因此不仅无须通过中断进入OS内核，而且切换的规则也比较简单。 用户级线程比内核级线程切换速度快 用户级线程在调用系统调用时，系统将看成是其所在进程的行为。而内核级线程的系统调