文章目录
- 一、进程的概念和特征
- 1.1 进程的概念
- 1.2 进程的组成
- 1.3 进程的特征
- 1.4 进程的状态与转换
- 1.5 进程控制
- 1.6 进程的通信
- 1.6.1 共享存储
- 1.6.2 消息传递
- 1.6.3 管道通信
- 1.7 父进程与子进程
- 二、线程概念和多线程模型
- 2.1 线程的概念
- 2.2 线程的属性
- 2.3 线程的实现方式
- 2.4 多线程模型
- 2.5 线程的状态与转换
- 2.6 线程的组织与控制
一、进程的概念和特征
1.1 进程的概念
程序： 是 静态的，就是个存放在磁盘里的 可执行文件，如：QQ.exe。
进程： 是 动态的，是程序的一次 执行过程，或者是一个正在运行的是程序，如：可同时启动多次QQ程序。
进程实体： 即进程映像，是 静态的，可理解为进程的 一次时刻的状态。
作业： 是 静态的，如：一个应用软件（对应多个进程）、一个程序（对应一个进程）。
作业装入内存，OS 会为该作业创建进程，作业装入后会变成进程。
注：同一个程序多次执行会对应多个进程。
1.2 进程的组成
进程是程序的一次执行过程，进程的组成实际上是进程实体（即进程映像）的组成。
进程组成包括：PCB、程序段、数据段。
注：① PCB，即 进程控制块，操作系统需要对各个并发运行的进程进行管理， 但凡管理时所需要的信息，都会被放在 PCB 中。
② PCB 是进程存在的唯一标志。 当进程被创建时，OS 会为其创建 PCB。当进程结束时，OS 会回收 PCB。
③ PCB 存于内存的内核区，注意内存的内核区和 OS 的内核态的区别，内核程序运行在内核态。
注：① PCB 是给操作系统用的，程序段和数据段是给进程自己用的。
② 引入进程实体的概念后，可把 进程 定义为是进程实体的 运行过程，是系统进行 资源分配 和 调度 的一个独立单位。
1.3 进程的特征
注：① 动态性是进程最基本的特征。
② 异步性会导致并发程序执行结果的不确定性。
1.4 进程的状态与转换
注：单核 CPU同一时刻只会有一个进程处于运行态，多核 CPU 可能有多个进程处于运行态。
举例：运行态→阻塞态：申请打印机。阻塞态→就绪态：打印机可用了。
注：① “其他”，指代 “其他所需资源”。
② 运行态→阻塞态，是进程自身的主动行为。
② 阻塞态→就绪态，是被动行为。
创建新进程后，能进行处理及调度（ ✓ ）
在系统调用完成并返回用户态时能进行处理机调度（ ✓ ）
解析：能 ≠ 一定，可假设进程优先级很高，且采用剥夺式调度策略
(来源：12年408第30题)
1.5 进程控制
进程控制的主要功能是对系统中的所有进程实施有效的管理，它具有创建新进程、撤销已有进程、实现进程状态转换等功能。在操作系统中，一般把进程控制用的程序段称为 原语，原语执行具有原子性，即执行过程 一气呵成，不可中断。因此，可用 关中断和开中断指令 这两个特权指令实现原子性。
无论哪个进程控制原语，要做的无非三类事：
① 更新 PCB 中的信息
② 将 PCB 插入合适的队列
③ 分配 / 回收资源
引起 进程创建 的事件 | 用户登录、作业调度、提供服务、应用请求 |
引起 进程终止 的事件 | 正常结束、异常结束、外界干预 |
引起 进程阻塞 的事件 | 等待系统分配某种资源、等待相互合作的其他进程完成 |
引起 进程唤醒 的事件 | 等待的事件发生 |
引起 进程切换 的事件 | 当前进程时间片到、当前进程主动阻塞、当前进程终止、有更高优先级的进程到达（剥夺式调度） |
补充： 进程的组织
进程的组织方式有两种：链接方式和索引方式
1.6 进程的通信
进程通信是指进程之间的信息交换，PV操作是低级通信方式，高级通信方式是指以比较高的效率传输大量数据的通信方式，高级通信方式有三种：共享存储、消息传递和管道通信。
进程是分配系统资源的单位（包括内存地址空间），因此各进程拥有的内存地址空间相互独立。因此，为了保证安全，一个进程不能直接访问另一个进程的地址空间，所以进程通信需要操作系统支持。
1.6.1 共享存储
基于存储区的共享：操作系统在内存中划出一块共享存储区，数据的形式、存放位置都由通信进程控制，而不是操作系统。这种共享方式速度很快，是一种高级通信方式。
基于数据结构的共享：比如共享空间里只能放一个长度为10的数组。这种共享方式速度慢、 限制多，是一种低级通信方式。
各进程对共享空间的访问应该是互斥的，各进程可使用操作系统内核提供的 P V 操作实现互斥。
1.6.2 消息传递
进程间的数据交换以 格式化的消息(Message) 为单位。进程通过操作系统提供的“发送消息/接收消息”两个 原语 进行数据交换。
-
直接通信方式
发送进程要知名接收进程的ID，直接把消息发送给接收进程，并将他挂在接收进程的消息缓冲队列上，接收进程从消息缓冲队列中取得消息。
-
间接通信方式
发送进程通过 信箱 间接地通信，将消息发送到某个中间实体，接收进程从中间实体取得消息。
注：可以多个进程往同一个信箱 send 消息，也可以多个进程从同一个信箱中 receive 消息。
1.6.3 管道通信
管道 是一个特殊的 共享文件，又名pipe文件。其实就是在内存中开辟一个大小固定的内存缓冲区。
注：① 管道只能采用 半双工通信，某一时间段内只能实现 单向的传输。如果要实现 双向同时通信，则需要设置两个管道。
② 各进程要互斥地访问管道（由操作系统实现）。
③ 当管道写满时，写进程将阻塞，直到读进程将管道中的数据取走，即可唤醒写进程。
④ 当管道读空时，读进程将阻塞，直到写进程往管道中写入数据，即可唤醒读进程。
管道中的数据一旦被读出，就彻底消失。因此，当多个进程读同一个管道时，可能会错乱。对此，通常有两种解决方案：
一个管道允许多个写进程，一个读进程（来源：2014年408第31题）- 允许有多个写进程，多个读进程，但系统会让各个读进程轮流从管道中读数据（Linux 的方案）。
补充：
写进程往管道写数据，即便管道没被写满，只要管道没空，读进程就可以从管道读数据。
读进程从管道读数据，即便管道没被读空，只要管道没满，写进程就可以往管道写数据。
1.7 父进程与子进程
父进程与子进程可以并发执行，有不同的进程控制块，且不能同时使用同一临界资源。（注意并发与并行的区别）
父进程与子进程有可共享虚拟地址空间。（×）
解析：同一进程的不同线程间可共享虚拟空间，而不同进程之间的虚拟空间是相互独立的。
（来源：2020年408第29题）
二、线程概念和多线程模型
未引入线程之前，系统之间只能串行执行程序，如：QQ和音乐播放器只能串行执行。
引入线程之后，不仅是进程之间可以并发，进程内的各线程之间也可以并发，从而进一步提升了系统的并发度，使得一个进程内也可以并发处理各种任务（如：QQ中的视频、文字聊天与传文件）
2.1 线程的概念
线程可理解为轻量级进程，它是一个基本的CPU执行单元，也是程序执行流的最小单位。
引入线程后，进程 只作为 除 CPU 外的系统资源的分配单元（如：打印机、内存地址空间等都是分配给进程的）。
线程则作为处理机的分配单元。
2.2 线程的属性
注：线程是处理机调度的单位，这里的线程指的是 操作系统看得见的内核级线程，内核级线程是处理机分配的单位 。
在支持多线程的系统中，进程P创建的若干线程可共享进程P的代码段、进程P的打开的文件、进程P的全局变量，不可共享的是进程P中某线程的栈指针。
（来源：2011年408第25题）
2.3 线程的实现方式
线程的实现可以分为两类：用户级线程 和 内核级线程。内核级线程又称内核支持的线程。
| 用户级线程 | 内核级线程 | |
|---|---|---|
| 线程的管理工作由谁来完成 | 由 应用程序 通过线程库实现所有的 线程管理工作 ，包括线程切换 | 线程管理工作 由 操作系统内核完成 |
| 线程切换是否需要 CPU 变态 | 用户级线程切换 可以在 用户态下即可完成 ，无需操作系统干预 | 线程调度、切换等工作都由内核负责，因此 内核级线程的切换 必然需要在 核心态 下才能完成。 |
| OS 是否能意识到用户级线程的存在 | OS 内核意识不到用户级线程的存在 用户级线程就是从用户视角看能看到的线程 | OS 会为每个内核级线程建立相应的 TCB（线程控制块） 通过TCB对线程进行管理 内核级线程就是从操作系统内核视角看能看到的线程 |
| 优点 | 用户级线程的切换在用户空间即可完成， 不需要切换到核心态，线程管理的系统开销小，效率高 | 当一个线程被阻塞后，其他线程还可以继续执行，并发能力强 多线程可在多核处理机上并行执行 |
| 缺点 | 当一个用户级线程被阻塞后，整个进程都会被阻塞，并发度不高 因为进程是处理机调度的基本单位，同一进程的多个线程不可在多核处理机上并行运行 | 一个用户进程会占用多个内核级线程，线程切换由操作系统内核完成 需要切换到核心态，因此线程管理的开销大，效率低，成本高 |
用户级线程可以在不支持内核级线程的操作系统上实现（✓）
解析：早期操作系统中，还没有内核级线程，进程是处理机分配的基本单位，而用户级线程是在线程库支持下实现的，如下图。
（来源：2019年408第23题）
2.4 多线程模型
- 多对一模型： 多个用户级线程 映射到 一个内核级线程，且一个进程只被分配一个内核级线程。
优点：上文用户级线程的优点。
缺点：上文用户级线程的缺点。 - 一对一模型： 一个用户级线程映射到 一个内核级线程，每个用户进程有与用户级线程同数量的内核级线程。
优点：上文内核级线程的优点。
缺点：上文内核级线程的缺点。 - 多对多模型： n 用户及线程映射到 m 个内核级线程（n >= m），每个用户进程对应 m 个内核级线程。
克服了多对一模型并发度不高的缺点（一个阻塞全体阻塞），又克服了一对一模型中一个用户进程占用太多内核级线程，开销太大的缺点。
2.5 线程的状态与转换
2.6 线程的组织与控制
