2.7线程的概念及其实现.pptVIP

2.7 线程的概念及其实现 自从20世纪60年代提出进程概念以来，在操作系统中一直都是以进程作为能独立运行的基本单位。直到80年代中期，人们又提出了比进程更小的能独立运行的基本单位——线程，用它来提高系统内程序并发执行的速度，减少系统开销，从而可进一步提高系统的吞吐量。近几年，线程概念已得到了广泛应用，不仅在新推出的操作系统中，大多都已引入了线程概念，而且在新推出的数据库管理系统和其它应用软件中，也都纷纷引入了线程来改善系统的性能。 2.7.1 线程的引入 如果说，在操作系统中引入进程的目的，是为了使多个程序并发执行，以改善资源利用率及提高系统的吞吐量；那么，在操作系统中再引入线程则是为了减少程序并发执行时所付出的时空开销，使操作系统具有更好的并发性。 进程的两个基本属性： ①进程是一个拥有资源的独立单位； ②进程同时又是一个独立调度和分配的基本单位。 2.7.2 进程与线程的关系 线程具有许多传统进程所具有的特征，故又称为轻型进程(Light-Weight Process)或进程元；而把传统的进程称为重型进程(Heavy-Weight Process)，它相当于只有一个线程的任务。在引入了线程的操作系统中，通常一个进程都有若干个线程，至少需要有一个线程。下面，我们从调度、并发性、系统开销、拥有资源等方面，来比较线程与进程。 1. 调度 在传统的操作系统中，拥有资源的基本单位和独立调度的基本单位都是进程。而在引入线程的操作系统中，则把线程作为调度和分配的基本单位，而把进程作为拥有资源的基本单位，使传统进程的两个属性分开，线程便能轻装运行，从而可显著地提高系统的并发程度。在同一进程中，线程的切换不会引起进程的切换，在由一个进程中的线程切换到另一个进程中的线程时，将会引起进程的切换。 2. 并发性 在引入线程的操作系统中，不仅进程之间可以并发执行，而且在一个进程中的多个线程之间，亦可并发执行，因而使操作系统具有更好的并发性，从而能更有效地使用系统资源和提高系统吞吐量。例如，在一个未引入线程的单CPU操作系统中，若仅设置一个文件服务进程，当它由于某种原因被阻塞时，便没有其它的文件服务进程来提供服务。在引入了线程的操作系统中，可以在一个文件服务进程中，设置多个服务线程，当第一个线程等待时，文件服务进程中的第二个线程可以继续运行；当第二个线程阻塞时，第三个线程可以继续执行，依此类推，从而显著地提高了文件服务的质量以及系统吞吐量。 3. 拥有资源 不论是传统的操作系统，还是设有线程的操作系统，进程都是拥有资源的一个独立单位，它可以拥有自己的资源。一般地说，线程自己不拥有系统资源(只有一些必不可少的资源)，但它可以访问其隶属进程的资源。亦即，—个进程的代码段、数据段以及系统资源，如已打开的文件、I/O设备等，可供同一进程的所有线程共享。 4. 系统开销 由于在创建或撤消进程时，系统都要为之分配或回收资源，如内存空间、I/O设备等。因此，操作系统所付出的开销将显著地大于在创建或撤消线程时的开销。类似地，在进行进程切换时，涉及到当前进程整个CPU环境的保存以及新被调度运行的进程的CPU环境的设置。而线程切换只需保存和设置少量寄存器的内容，并不涉及存储器管理方面的操作。可见，进程切换的开销也远大于线程切换的开销。此外，由于同一进程中的多个线程具有相同的地址空间，致使它们之间的同步和通信的实现，也变得比较容易。在有的系统中，线程的切换、同步和通信都无需操作系统内核的干预。 2.7.3 线程的状态及转换 线程既然是进程中的一个执行体，是系统进行调度的独立单位，它就是一个动态的过程，因此，也就有生命周期，即由创建而产生，由调度而执行，由撤销而消亡。在线程的生命周期中，它总是从一种状态变迁到另一种状态。与进程类似，在不同的操作系统中，线程的状态有所不同，下面给出在Windows 2000/XP中的线程及其转换图，如图2.17。 2.7.4 线程调度 线程调度与进程调度类似，原则上讲，高优先级的线程比低优先级的线程有更多的运行机会，当低优先级的线程在运行时，被唤醒的或结束I/O等待的高优先级线程立即抢占CPU并开始运行，如果线程具有相同的优先级，则通过轮转来抢占CPU资源。在Windows 2000/XP中，采用的是基于优先级的抢占式多CPU调度策略。 2.7.5 线程通信 1. 互斥锁(mutex) 2. 条件变量 3. 信号量机制 ① 私用信号量(private semaphore)。 ② 公用信号量(public semaphore)。 2.7.