1. 线程
有的进程可能需要同时做很多事，而传统的进程只能串行地执行一系列程序，为此引入了线程概念来增加并发度
传统的进程是程序执行流的最小单位，引入线程之后，线程成为了程序执行流的最小单位
可以把线程理解为轻量级线程，线程是一个基本的CPU执行单元，也是程序执行流的最小单位。引入线程之后，不仅是进程之间可以并发，进程内的各线程之间也可以并发，从而进一步提升了系统的并发度，使得一个进程内也可以并发处理各种任务。
引入线程之后，进程只作为除了CPU之外的系统资源的分配单元。
1.1 引入线程机制后带来的变化
Fig 1. 线程带来的变化
1.2 线程的属性
- 线程是处理机调度的单位
- 多CPU计算机种，各个线程可以占用不同的CPU
- 每个线程都有一个线程ID、线程控制块TCB
- 线程也有就绪、阻塞、运行三种基本状态
- 线程几乎不拥有系统资源
- 同一个进程的不同线程间共享进程的资源
- 由于共享内存地址空间，同一进程种的线程间的通信甚至无需系统干预
- 同一进程中的线程切换，不会引起进程切换
- 不同进程中的线程切换，会引起进程切换
- 切换同进程内的线程，系统开销很小
- 切换进程，系统开销很大
2. 线程的实现方式
2.1 用户级线程 —— User Level Thread, ULT
历史背景：早期的OS只支持进程，不支持线程，当时的线程是由线程库实现的
- 用户级线程由应用程序通过线程库实现，所有的线程管理工作都由应用程序负责（包括线程切换）
- 用户级线程中，线程切换可以在用户态下即可完成，无需操作系统干预
- 在用户看来，并意识不到线程的存在，用户级线程就是从用户视角能看到的线程
- 优点：用户级线程的切换在用户空间即可完成，不需要切换到核心态，线程管理的系统开销小，效率高
- 缺点：当一个用户级线程被阻塞后，整个进程都会被阻塞，并发度不高，多个线程不可在多核处理机上并发运行
2.2 内核级线程 —— Kernel Level Thread, KLT
- 内核级线程的管理工作由操作系统内核完成
- 线程调度、切换等工作都由内核负责，因此内核级线程的切换必然需要在核心态下才能完成
- 操作系统会为每个内核级线程建立相应的TCB，通过TCB对线程进行管理。内核级线程就是从OS内核角度能看到的线程
- 优点：当一个线程被阻塞后，别的线程可以继续运行，并发能力强，多线程可以在多核处理机上并行执行
- 缺点：一个用户进程会占用多核内核级线程，线程切换由操作系统内核完成，需要切换到核心态，因此线程管理的成本高，开销大
小结：
用户级线程是代码逻辑的载体，内核级线程是运行机会的载体，内核级线程才是处理机分配的单位。一段代码逻辑只有获得了运行机会才能被CPU执行
3. 多线程模型
3.1 一对一模型
Fig 2. 一对一模型
一个用户级线程映射到一个内核级线程，每个用户进程有用户级线程同数量的内核级线程。
- 优点：当一个线程被阻塞后，别的线程还可以继续执行，并发能力强。多线程可以在多核CPU上并行执行。
- 缺点：一个用户进程会占用多个内核级线程，线程切换由OS内核完成，需要切换到核心态，因此线程管理的成本高，开销大。
3.2 多对一模型
Fig 3. 多对一模型
多个用户级线程映射到一个内核级线程，且一个进程只被分配一个内核级进程
- 优点：用户级线程切换在用户空间即可完成，不需要切换到核心态，线程管理的系统开销小，效率高
- 缺点：当一个用户级线程被阻塞后，整个进程都被阻塞，并发度不高，多个线程不可以在多核CPU上并行运行
重点：操作系统只看得见内核级线程，因此只有内核级线程才是CPU分配的单位
3.3 多对多模型
Fig 4. 多对多模型
n个用户级线程映射到 m 个内核级线程（n >= m），每个用户进程对应 m 个内核 级线程。 克服了多对一模型并发度不高的缺点（一个阻塞全体阻塞），又克服了一对一模型中一个用线程库户进程占用太多内核级线程，开销太大的缺点。
网友评论