操作系统-线程概念和多线程模型

线程概念

进程的定义

• 线程是一个基本的CPU执行单元，也是程序执行流的最小单位。
  

线程带来的变化

• 引入线程后，进程只作为除CPU之外的系统资源的分配单元，线程则是调度的基本单位
• 进程内的线程也可以并发，进一步提高了系统的并发度
• 传统进程间并发，需要切换进程的运行环境，系统开销很大，线程不需要切换进程环境，减小开销

线程的属性

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

线程的实现方式

• 用户级线程：由应用程序通过线程库实现，线程切换可以在用户态下完成，在用户看来是多个线程，但是在操作系统内核看来，意识不到线程的存在
  

• 内核级线程：线程管理工作由操作系统内核来完成。线程的调度、切换由内核负责，线程切换在核心态下完成
  

• 在同时支持两种线程的系统中，可采用二者结合的方式：将n个用户级线程映射到m个内核级线程上(n>=m)。内核级线程才是处理机分配的单位
  

多线程模型

• 多对一模型
  *多个用户级线程映射一个内核级线程。每个用户进程只对应一个内核级线程
  *优点：用户级线程切换在用户空间即可完成，不需要切换到核心态，线程管理的系统开销小，效率高
  *缺点：当一个用户级线程被阻塞后，整个进程都会被阻塞，并发度不高。多个线程不可在多核处理机上并发运行
• 一对一模型
  *一个用户级线程映射到一个内核级线程。每个用户进程由于用户级线程同数量的内核级线程
  *优点：当一个线程被阻塞后，别的线程还可以继续执行，并发能力强。多线程可以在多核处理机上并发执行。
  缺点：一个用户进程会占用多个内核级线程，线程切换由操作系统内核完成，需要切换到内核态，因此线程管理的成本高，开销大。
• 多对多模型：
  *n个用户级线程映射到m个内核级线程上(n>=m)，每个用户进程对应m个内核级线程
  *多对多模型克服了多对一模型并发度不高的缺点，又克服了一对一模型一个用户占有太多内核级线程，开销太大的缺点。如上图所示