进程与线程教材.pptVIP

第2章 进程管理 程序的顺序执行 程序的并发执行 程序并发执行的条件Bernstein Bernstein条件——例2 五种状态的进程状态转换图 进程和线程比较 用户级线程与内核级线程 用户级线程状态与进程状态的关系 用户级线程状态与进程状态的关系 用户级线程状态与进程状态的关系 用户级线程状态与进程状态的关系 组合的方法 （1）线程2中执行的程序因需要I/O而进行系统调用，这将导致将控制转移给内核，内核启动I/O操作，并将进程A阻塞，内核将调用另一个进程运行。在此期间，对于线程库管理的线程，即进程A的线程2仍处于运行状态。值得注意的是，线程2的运行状态并不是真正意义上的被处理机执行，而是线程库认为它处于运行状态见图（b）。 运行 就绪 阻塞 运行 就绪 阻塞 运行 就绪 阻塞 线程1 线程2 进程A (a) 运行 就绪 阻塞 运行 就绪 阻塞 运行 就绪 阻塞 线程1 线程2 进程A (b) （2）时钟中断把控制权传递给内核，内核确定当前正在运行的进程A已经用完了它的时间片，内核将进程A置于就绪状态，并切换另一个进程。此时，线程库管理的线程，即进程A的线程2仍处于运行状态，相应的状态见图（c）。 （3）线程2运行到达某处，它需要进程A的线程1所执行的某些数据，线程2进入阻塞状态，线程1从就绪状态转换为运行状态，进程A自身仍处于运行状态中，相应的状态见图d）。 运行 就绪 阻塞 运行 就绪 阻塞 运行 就绪 阻塞 线程1 线程2 进程A (c) 运行 就绪 阻塞 运行 就绪 阻塞 运行 就绪 阻塞 线程1 线程2 进程A (d) 在图（b）和图（c）所示的两种状态中，当内核把控制又重新切换给进程A时，进程A中的线程2会恢复执行。另外需要注意的是，执行线程库中的代码时可以被中断，可能由于线程所在进程A的时间片用完了，也可能由于被一个高优先级的线程所剥夺。在中断时，进程中的线程可能处于线程的切换过程中，即正在从一个线程切换到另一个线程。当该进程恢复执行时，完成线程的切换，并把控制权交给进程中的一个新选中的线程。 调度与切换速度 用户级线程与内核级线程的比较 系统调用 线程执行时间 用户级线程的切换，因发生在一个应用进程之间，因此不仅无须通过中断进入OS内核，而且切换的规则也比较简单。 用户级线程比内核级线程切换速度快 用户级线程在调用系统调用时，系统将看成是其所在进程的行为。而内核级线程的系统调用是以线程为单位。因此比较轻装。 用户级线程不如内核级线程 用户级线程不如内核级线程合理 在Solaris操作系统中，在用户级线程和内核级线程之间，定义了一种轻型进程（Light Weight Process，LWP），每个LWP包含有自己的进程控制块，其中包括：进程的状态和寄存器数据等。 在一个系统中的用户级线程的数量可能很多，为了节省系统开销，不可能设置太多的LWP，为了使每一个用户级线程都可以利用LWP与内核通信，可以使多个用户级线程多路复用一个LWP，但只有当前连接到LWP上的线程，才能与内核通信，其余线程或者阻塞或者等待LWP。每一个LWP都要连接到一个内核级线程上，这样，通过LWP可把用户级线程与内核级线程连接起来，用户级线程可通过LWP来访问内核，但内核所看到的是多个LWP而看不到用户级线程。亦即，由LWP实现了内核与用户级线程的隔离，从而使用户级线程与内核无关，而又能够访问内核。Solaris中的线程如图所示。 跳转到第一页 * 跳转到第一页 * ●进程的引入 ●进程的状态及其组成控制 ●线程 ●进程控制 本章要点 特点 ●顺序性：处理机的操作严格按规定顺序执行 ●封闭性：程序执行时，独占系统资源 ●可再现性：当初始条件相同时，程序多次执行的结果相同 P1：a=x+y P2: b=a-5 P3: c=b+1 ● 2.1进程的引入 P1： a=5 P2： b=6 P3： c=a+b P4： d=c+1 特点 ●间断性：程序在并发执行时，形成了相互制约关系。相互制约将导致并发程序具有“执行—暂停—执行”这种间断性的活动规律 ●失去封闭性：系统中的资源供多个程序共享，致使程序的运行失去了封闭性 ●失去可再现性：由于失去封闭性 Bernstein条件 读集：R(Pi)={a1,a2,……,am} 程序Pi执行期间参考的变量集合 写集：W(Pi)={b1,b2,……,bm} 程序Pi执行期间改变的变量集合 两个进程P1， P2若满足： R(P1)∩W(P2)∪R(P2)∩W(P1)∪W(P1)∩W(P2)={} 则P1， P2并发执行，且具有可再现性。 P1： a=5 P2： b=6 P3： c=a+b P4： d=c+1 P1、P2可以并发执行吗？ P3、P4可以并