《操作系统》-线程的概念与多线程的模型

线程的概念与多线程的模型

前言

什么是线程，为什么引入线程

进程是程序的一次执行，但进程处理的每个程序只能是程序的顺序处理，这个程序无法“同时”做多个事情，而有的进程可能需要“同时”做很多事情，而传统的进程只能串行地执行一系列程序。为此，引入了“线程”，来增加并发性。
传统的进程是程序执行流的最小单位，引入线程后，线程成为了程序执行流最小的单位。
我们可以把线程当做“轻量级的进程”。
线程是一个基本的CPU执行单元，也是程序执行流的最小单位。引入线程之后，不仅仅是进程之间可以并发，进程内的各线程之间也可以并发,从而进一步提升系统的并发度，使得一个进程内也可以并发的执行各种任务（如QQ视频、文字聊天、传文件）
引入线程后，进程只能作为除CPU之外的系统资源分配单位（如打印机、内存地址空间都是分配给进程的）
线程则作为处理机的分配单元。

引入进程机制后，有什么变化

线程的属性

1、线程是处理机调度的基本单位
2、多个CPU的计算机中，各个线程可占用不同的CPU
3、每个线程都有一个线程ID和线程控制块（TCB）
4、线程也有运行、就绪、阻塞三种基本状态
5、线程几乎不拥有系统资源
6、同一进程的不同线程之间共享进程资源
7、由于共享内存地址空间，同一进程中线程间通信甚至无需系统干扰
8、同一进程间的线程切换，不会引起进程切换
9、不同进程的线程切换，会引起进程切换
10、切换同进程的线程，系统开销很小
11、切换进程，系统开销很大

线程的实现方式

线程的实现方式分为用户级线程和内核级线程
用户级线程（User-Level Thread, ULT）
历史背景：早期的操作系统（如：早期Unix）只支持进程，不支持线程。当时的“线程”是由数据库实现的
很多编程语言提供了强大的线程库，可以实现线程的创建、销毁、调度等功能

问题
1、线程的管理工作由谁来完成？
答：用户级线程由应用程序通过线程库来实现，所有线程管理工作都由应用程序来负责（包括线程切换）

2、线程切换是否需要CPU变态（变换状态）？
答：用户级线程中，线程切换在用户态下即可完成，无需操作系统的参与

3、操作系统能否意识到用户级线程的存在？
答：在用户看来，是有多个线程，但在操作系统内核看来并意识不到线程的存在。“用户级线程”就是“从用户视角能看到的线程”

4、这种线程的实现方式有什么优点和缺点？
优点：用户级线程的切换在用户空间即可完成，不需要切换到核心态，线程管理的系统开销小，效率高
缺点：当一个用户级线程被阻塞后，整个进程都会被阻塞，并发度不高，多个线程不可在多核处理机上并发运行

内核级线程（Kernel-Level Thread, KLT, 又称“内核支持的线程”）
由操作系统支持的线程
大多数操作系统都实现了内核级线程，如：Windows、Linux

问题
1、进程的管理工作由谁来完成？
答：内核级线程的管理工作由操作系统内核完成

2、线程切换是否需要CPU变态？
答：线程调度、切换等工作都由内核负责，因此内核级线程的切换必然需要在核心态下才能完成

3、操作系统是否能意识到内核级线程的存在？
操作系统会为每个内核级线程建立相应的TCB(Thread Control Block,线程控制块)，通过TCB对线程进行管理。“内核级线程”就是“从操作系统内核视角能够看到的线程”

4、这种线程的实现方式有什么优点和缺点？
优点：当一个线程被阻塞后，别的线程还可以继续执行，并发能力强。多线程可在多核处理机上并行执行
缺点：一个用户进程会占用多个内核级线程，线程切换由操作系统内核完成，需要切换到核心态，因此线程管理成本高，开销大

多线程模型

在支持内核线程的系统中，根据用户级进程和内核级进程的映射关系，可以划分为几种多线程模型

---

一对一模型：一个用户级线程映射到一个内核级线程，每个用户进程有与用户进程同数量的内核级线程。

优点：当一个线程被阻塞后，别的线程还可以并发执行，并发能力强。多线程可在多核处理机上并发执行
缺点：一个用户进程会占用多个内核级进程，线程切换有由操作系统内核完成，需要切换到核心态，因此线程管理的成本高，开销大

---

多对一模型：多个用户级线程映射到一个内 核级线程。且一个进程只被分配一个内核级线程

优点：用户级线程的切换在用户空间即可完成，不需要切换到核心态，线程管理系统开销少、效率高
缺点：当一个用户级线程被阻塞后，整个进程都会被阻塞，并发度不高，多个线程不可在多核处理机上并行运行
重点：
操作系统只能“看得见”内核线程，因此只有内核线程才是处理机分配的单位

---

多对多模型：n 用户及线程映射到 m 个内核级 线程（n >= m）。每个用户进程对应 m 个内核 级线程。

克服了多对一模型并发度不高的缺点（一个阻塞全体阻塞），又克服了一对一模型中用户进程占用太多内核级线程，开销太大的缺点
可以这么理解：
用户级线程是“代码逻辑”的载体
内核级进程是“运行机会”的载体
一段“代码逻辑”只能获得“运行机会”才能被CPU执行,内核级线程才是处理机分配的单位
内核级线程可以运行任意一个有映射关系的用户级线程代码，只有两个内核级线程正在运行的代码逻辑都阻塞时，这个进程才会阻塞。
总结