计算机线程

线程的引入

操作系统引入进程的目的是使多个程序能够并发执行，以提高资源利用率和系统吞吐量。引入线程是为了减小程序在并发/行执行时付出的时空开销。由于多处理器的发展，线程能更好的提高程序并行执行程度。

我们知道进程有两属性：1，一个可拥有资源的独立单位 2，一个可独立调度和分派的基本单位。

因为计算机cpu频繁的调度进程,切换上下文是很耗时间和内存的，所以专家们就想把进程上述两属性分开，使它可以“轻一点”，于是乎，就有了线程。

线程和进程对比

随着线程的引入，进程就作为一个可拥有资源的独立单位，而线程是独立调度和分派的基本单位。在多线程OS中所有线程都属于某一特定进程。

线程本身不拥有系统资源，它们仅具有线程控制块TCB：程序计数器，保留局部变量和一些状态参数返回值等一组寄存器和堆栈。多个线程是共享进程的资源和内存地址空间。注意：OS可以将一个进程的多个线程分配到不同的处理机上，使他们并行执行。在多线程OS中，进程已不是一个可执行的实体，如某一进程在执行状态，其实是该进程下的一个或多个线程在执行。

线程控制块TCB

线程的状态和进程一样：就绪、执行和阻塞

和进程一样，系统为每一个线程配置了一个线程控制块TCB，记录所有用于控制和管理线程的信息。TCB通常有如下几项：

1.线程标识符：标识线程的唯一性

2.一组寄存器：包括程序计数器，状态寄存器和通用寄存器

3.线程运行状态：

4.优先级：1-10，默认一个线程的优先级和创建他的线程优先级相同

5.线程专有存储区：保存现场

6.信号屏蔽：

7.堆栈指针：多重嵌套调用保存局部变量和返回地址

线程的实现

1.内核支持线程KST（Kernel Supported Threads）

KST在内核的支持下运行，内核能够同时调度同一进程的多个线程并行执行。但线程的切换开销较大。内核支持线程的创建和撤销和进程相类似，有的系统为了减少创建和撤销线程时时空开销，在撤销一个线程时并不立即回收其TCB和资源，当以后再创建一个新线程时可以复用其保持有资源的TCB。

2.用户级线程ULT（User Level Threads）

用户级线程与内核无关，内核也不知道用户级线程的存在。用户级线程的切换不需要转换到内核，节省了模式切换的开销。进程对自己的用户级线程进行管理和调度，用户级线程甚至可以在不支持线程机制的OS上实现。系统资源都是由内核来管理的，用户级线程需要系统资源时要通过一个中间系统来沟通内核，这个中间系统有两方式实现：

1.运行时环境（Runtime System）

运行时环境是用户操作线程的函数集合，运行时环境驻留在用户空间并作为沟通用户级线程和内核之间的接口。CPU切换其他线程时，运行时环境将CPU状态保存在线程堆栈，再切回该线程时又恢复现场。用户级需要系统资源时将这一请求发给运行时环境，由后者通过相应的系统调用来获得系统资源。

2.内核控制线程

这种线程又称为轻型线程LWP（Light Weight Process）。LWP可通过系统调用来获得内核提供的服务，当一个用户线程运行时，只须将它连接到一个LWP上，此时他就具有了内核支持线程的所有属性，这就是如下的3.组合方式。OS将为数不多的LWP做成一个缓冲池，称为线程池。任一用户级线程都可以连接到LWP线程池的任一LWP上。如图可见，LWP作为中间件实现了内核和用户级线程之间的隔离，从而使用户级线程与内核无关。

3.组合方式

一些OS将以上两种方式组合，这样内核支持多个内核支持线程的操作，同时也允许用户应用程序操作用户级线程。

1.多对一模式：仅当用户线程需要访问内核时，才将其映射到一个内核控制线程。每次映射一个。

2.一对一模式：每一个用户级线程映射到一个内核支持线程。

3.多对多模式：将多个用户级线程映射到同样数量或更少数量的内核支持线程。