[OS复习]进程管理5

线程

1.多线程

操作系统中引入进程的目的：

为了描述和实现多个程序的并发执行，以改善资源利用率及提高系统的吞吐量。
操作系统引入线程的目的：

这是为了减少程序并发执行时系统所付出的额外开销（ 减少管理进程以及切换进程的时间花销 ），使操作系统具有更好的并发性。

进程的两个基本属性：
（1）进程是一个拥有资源的独立单位；
（2）进程同时又是一个可以独立调度的基本单位。

1.1 系统为进程进行的操作

创建进程 、撤消进程 、进程切换 
进程作为资源的拥有者和系统的调度对象，需要花费系统较大的额外开销。因此，系统中同时存在的进程数目不宜过多，进程切换的频率也不宜过高，而这也就限制了并发度的进一步提高。

1.2 由进程到线程

目标：既能提高进程并发度，又能降低系统的额外开销。
实现：将进程的资源申请和调度属性分开。即进程作为资源的申请和拥有者，但不作为调度的基本单位。这样，就产生了线程的概念。线程是进程中的一个实体，是独立调度和分派的基本单位。线程自身基本上不拥有系统资源，只拥有少许运行中必不可少的私有资源。线程可与同属一个进程的其它线程共享进程的全部资源。

进程中的所有线程共享该进程的状态。
线程具有三种基本状态：就绪、执行和阻塞。
线程一般不具有挂起状态，因为线程共享进程的资源，包括存储空间，如果挂起一个进程，其所属的全部进程必将被挂起。而单独挂起某进程中的一个线程，必然会影响同一进程中的其它线程的执行，这是没有任何意义的。

一个进程可以创建和撤消一个或多个线程，同一进程中的多个线程可以并发执行。

1.3 对线程的操作

A.派生(Spawn)，当系统创建一个进程时，同时也为该进程派生一个线程，同一进程中的线程可以再派生其它线程。
B.阻塞(Block)，当线程需要等待某事件时，它将被阻塞，释放处理机执行其它线程。【 注意，线程阻塞不一定会引起整个进程的阻塞，否则，引入线程带来的并发性就不会提高 】

C.解除阻塞(Unblock)，当线程的阻塞事件发生，其状态转换为就绪，并插入到就绪队列，等待调度执行。
D.结束(Finish)，当线程执行完毕，释放其私有资源。

2.比较进程与线程

传统操作系统中，一个进程可以创建一个线程， 如MS DOS就是一个单用户、单进程、单线程的操作系统，UNIX是一个多用户、多进程、单线程的操作系统。
现代操作系统和软件设计大多支持多线程运行。例如，Java虚拟机是一个单进程、多线程的运行环境，Windows系列操作系统和Linux操作系统都采用了多进程、多线程技术。

2.1 调度情况

传统操作系统中，进程既是拥有资源的基本单位，又是独立调度的基本单位。引入线程的操作系统中，线程是独立调度的基本单位，进程是资源拥有的基本单位，从而可以显著地提高系统的并发程度。同一进程中的线程间切换不会引起进程切换【进程切换会造成大量系统开销（保存进程上下文），而切换线程不会】，但当一个进程中的线程切换到另一进程中的线程时，将会引起进程切换。

2.2 并发

进程之间可以并发执行
同属于一个进程的多个线程之间，亦可并发执行【思考：不同进程的线程是否可以并发进行？】
因而使操作系统具有更好的并发性，从而能更有效地使用系统资源和提高系统吞吐量。

例题：在一个未引入线程的单处理机操作系统中，若仅设置一个文件服务进程，当它由于某种原因而被阻塞时，便没有其它的文件服务进程来提供服务。
引入线程以后，可以在一个文件服务进程中设置多个服务线程，当第一个线程阻塞时，文件服务进程中的第二个线程可以继续运行；当第二个线程阻塞时，第三个线程可以继续执行，从而显著地提高了文件服务的质量和系统吞吐量。 

2.3 拥有资源

进程是拥有资源的独立单位，它有权申请系统的各类资源。
线程除了拥有很少的私有资源以外，不能申请系统资源，可以共享其所属进程的资源。即，进程的代码段、数据段以及系统资源，如已打开的文件、I／O设备等，都可被其内的所有线程共享。

2.4 系统开销

操作系统管理进程的开销显著地大于管理线程所需的开销。
进程切换的开销也远大于线程切换的开销。
由于同一进程中的多个线程具有相同的地址空间，使它们之间的同步和通信也比较容易。
有些类型的线程切换、同步和通信都无需操作系统内核的干预。

3.线程的类型

线程可以分为用户级线程和内核级线程。

3.1 用户级线程 

由于系统内核不知道用户级线程的存在，其调度针对进程进行。
当某进程被调度执行时，线程库即开始工作，可以调用spawn例程派生一个从属于该进程的新线程，并为之建立相应的数据结构。或者启动线程调度例程，调度该进程中的某个就绪线程执行。当执行线程需要阻塞等待某事件时，线程被中断，需要保护包括用户寄存器内容、程序计数器和栈指针等上下文信息。如果进程的时间片还未用完，线程调度例程继续调度同一进程中的其它就绪线程。如果需要切换进程，其内的所有线程都不再执行。

例1：

用户级线程阻塞是否会引起整个进程阻塞呢？
这要视具体情况而定。当某进程中的一个线程需要等待另一线程的输出数据而阻塞时，整个进程并不会阻塞。即进程保持执行状态，其内的某个线程也是执行状态。当某线程因为I/O阻塞时，内核需要启动系统I/O，控制从用户级转到系统内核级，这时常会引起整个进程阻塞。随即将发生进程切换，进程调度程序重新调度另一个就绪进程执行。 

例2：

用户级线程能节省大量的系统额外开销，并提高程序并发性。为什么？
线程的管理和控制仅在用户级进行，线程切换无须内核干预，没有模式切换，减少了模式切换的开销。调度更灵活。应用程序可以根据需要选用线程库中不同的线程调度算法，而不受系统内核进程调度程序的约束。由于线程库独立于系统内核，可以运行在不同的操作系统之上，使用户级线程可以得到不同操作系统的支持，而无须修改操作系统内核。 

劣势：

由于很多操作系统的系统调用都会引起阻塞，用户级线程中的系统调用常常会引起线程及整个进程阻塞，削弱了线程的并发性。由于系统内核不知用户级线程的存在，可能出现进程切换时，强行中断其内某个执行线程的情况。很难实现不同进程的线程并发。

3.2 内核级线程

内核级线程的管理全由系统内核完成，应用程序无权进行线程切换等操作，系统为应用程序提供了相应的应用程序编程接口API【俗称：手动分线程】。
Windows2000、Linux和OS/2等操作系统即采用内核级线程技术

系统内核负责内核级线程的创建、撤消、切换等操作。应用程序可以设计成多线程程序，多个线程同属于一个进程。系统以线程为调度单位。
进行线程切换时，需要同时保存整个进程的上下文以及线程的上下文信息。这样，当进程中的某个线程阻塞时，内核可以调度另一个就绪线程执行（同一进程或不同进程）。线程切换时需要进行模式切换。