@yanglt7 2018-05-17T09:05:59.000000Z 字数 6280 阅读 1286

第7章：进程和线程

操作系统

进程（Process）描述
- 进程定义
- 进程的特点和组成
- 进程控制结构
进程状态（State）
- 进程的生命周期管理
  - 进程创建
  - 进程运行
  - 进程等待
  - 进程唤醒
  - 进程结束
- 进程状态变化模型
- 进程挂起模型
线程（Thread）
- 为什么使用线程
- 什么是线程
- 线程的实现
  - 用户线程
  - 内核线程
  - 轻量级线程
- 多线程编程接口举例
进程控制
- 进程切换（上下文切换）
- 进程创建
- 进程加载
- 进程等待与退出
进程间通信（Inter-Process communication）
进程互斥与同步
死锁（Dead Lock）

7.1 进程的定义

defs：一个具有一定独立功能的程序在一个数据集合上的一次动态执行过程。

7.2 进程的组成

一个进程一个包括：
- 程序的代码；
- 程序处理的数据；
- 程序计数器中的值，指示下一条将运行的指令；
- 一组通用的寄存器的当前值，堆、栈；
- 一组系统资源（如打开的文件）；
总之，进程包含了正在运行的一个程序的所有状态信息。

进程与程序的联系

程序是产生进程的基础
程序的每次运行构成不同的进程
进程是程序功能的体现
通过多次执行，一个程序可对应多个进程；通过调用关系，一个进程可包括多个程序

进程和程序的区别

进程是动态的，程序是静态的
- 程序是有序代码的集合；进程是程序的执行，进程有核心态/用户态
进程是暂时的，程序是永久的
- 进程是一个状态变化的过程，程序可长久保存
进程与程序的组成不同
- 进程的组成包括程序、数据和进程控制块（即进程状态信息）

7.3 进程的特点

动态性：可动态地创建、结束进程
并发性：进程可以被独立调度并占用处理机运行
独立性：不同进程的工作不相互影响
制约性：因访问共享数据/资源或进程间同步而产生制约

程序 = 算法 + 数据结构

描述进程的数据结构：进程控制块（Process Control Block，PCB）
操作系统为每个进程都维护了一个PCB，用来保存与该进程有关的各种状态信息

7.4 进程控制块结构

进程控制块：操作系统管理控制进程运行所用的信息集合
操作系统用PCB来描述进程的基本情况以及运行变化的过程，PCB是进程存在的唯一标志

使用进程控制块

进程的创建：为该进程生成一个PCB
进程的终止：回收它的PCB
进程的组织管理：通过PCB的组织管理来实现

PCB含有以下三大类信息：

进程标识信息
- 如本进程的标识，本进程的产生者标识（父进程标识），用户标识
处理机状态信息保存区。保存进程的运行现场信息
- 用户可见寄存器，用户程序可以使用的数据、地址等寄存器
- 控制和状态寄存器，如程序计数器（PC）、程序状态字（PSW）
- 栈指针，过程调用/系统调用/中断处理/和返回时需要用它

PCB的组织方式

链表：同一状态的进程其PCB成一链表，多个状态对应多个不同的链表
- 各状态的进程形成不同的链表：就绪链表、阻塞链表
索引表：同一状态的进程归入一个index表（有index指向PCB），多个状态对应多个不同的index表
- 各状态的进程形成不同的索引表：就绪索引表、阻塞索引表

7.5 进程的生命周期管理

进程创建

引起进程创建的3个主要条件：
- 系统初始化时
- 用户请求创建一个新进程
- 正在运行的进程执行了创建进程的系统调用

进程运行

内核选择一个就绪的进程，让它占用处理机并执行
- 如何选择？
- 为何选择？

进程等待

在以下情况下，进程等待（阻塞）：
- 请求并等待系统服务，无法马上完成
- 启动某种操作，无法马上完成
- 需要的数据未到达
进程只能自己阻塞自己，因为只有进程自身才能知道何时需要等待某种事件的发生

进程唤醒

唤醒进程的原因：
- 被阻塞进程需要的资源可被满足
- 被阻塞进程等待的事件到达
将该进程的PCB插入到就绪队列
进程只能被别的进程或操作系统唤醒

进程结束

在以下四种情况下，进程结束：
- 正常退出（自愿的）
- 错误退出（自愿的）
- 致命错误（强制性的）
- 被其他进程所杀（强制性的）

7.6 进程状态变化模型

进程的三种基本状态：
- 运行状态（Running）：当一个进程正在处理机上运行时
- 就绪状态（Ready）：一个进程获得了除处理机之外的一切所需资源，一旦得到处理机即可运行
- 等待状态（又称阻塞状态 Blocked）：一个进程正在等待某一时间而暂停运行时。如等待某资源，等待输入/输出完成
进程在生命结束前处于且仅处于三种状态之一
不同系统设置的进程状态数目不同

进程的其它的基本状态：

创建状态（New）：一个进程正在被创建，还没被转到就绪状态之前的状态
结束状态（Exit）：一个进程正在从系统中消失时的状态，这是因为进程结束或由于其他原因。

可能的状态变化如下：

Null -> New：一个新进程被产生出来执行一个程序
New -> Ready：当进程被创建完成并初始化后，一切就绪准备运行时，变为就绪状态（时间很短）
Ready -> Running：处于就绪状态的进程被进程调度程序选中后，就分配到处理机上来运行
Running -> Ready：处于运行状态的进程在其运行过程中，由于分配给它的处理机时间片用完而让出处理机（操作系统完成）
Running -> Blocked：当进程请求某样东西且必须等待时
Blocked -> Ready：当进程要等待某事件到来时，它从阻塞状态变到就绪状态

7.7 进程挂起

Why？合理且充分地利用系统资源
进程在挂起状态时，意味着进程没有占用内存空间。处在挂起状态的进程映像在外存中。

挂起状态

阻塞挂起状态（Blocked-suspend）：进程在外存并等待某事件的出现
就绪挂起状态（Ready-suspend）：进程在外存，但只要进入内存，即可运行；

与挂起状态相关的状态转换

挂起（suspend）：把一个进程从内存转到外存，可能有以下几种情况：
- 阻塞到阻塞挂起：没有进程处于就绪状态或就绪状态进程要求更多内存资源时，会进行这种转换，以提交新进程或运行就绪进程。
- 就绪到就绪挂起：当有高优先级阻塞（系统认为很快就绪的）进程和低优先级就绪进程时，系统会选择挂起低优先级就绪进程。
- 运行到就绪挂起：对抢先式分时系统，当有高优先级阻塞挂起进程因事件出现而进入就绪挂起时，系统可能会把运行进程转到就绪挂起状态。
在外存时的状态转换：
- 阻塞挂起到就绪挂起：当有阻塞挂起进程因相关事件出现时，系统会把阻塞挂起进程转换为就绪挂起进程。
解挂/激活（Activate）：把一个进程从外存转到内存，可能会有以下几种情况：
- 就绪挂起到就绪：没有就绪进程或挂起就绪进程优先级高于就绪进程时，会进行这种转换。
- 阻塞挂起到阻塞：当一个进程释放足够多内存时，系统会把一个高优先级阻塞挂起（系统认为会很快出现所等待的事件）进程转换为阻塞进程。

状态队列

由操作系统来维护一组队列，用来表示系统当中所有进程的当前状态；
不同的状态分别用不同的队列表示（就绪队列、各种类型的阻塞队列）；
每个进程的PCB都根据它的状态加入到相应的队列当中，当一个进程的状态发生变化时，它的PCB从一个状态队列中脱离出来，加入到另外一个队列。

7.8 为什么使用线程：

案例 编写一个MP3播放软件

核心功能模块有三个：
- 从MP3音频文件当中读取数据；
- 对数据进行解压缩；
- 把压缩后的音频数据播放出来。

单进程实现方法

问题：
- 播出来的声音是否连贯？
- 各个函数之间不是并发执行，影响资源的使用效率

多进程实现方法

问题：
- 进程之间如何通信、共享数据？
- 另外，维护进程的系统开销较大：创建进程时，分配资源、建立PCB；撤销进程时，回收资源、撤销PCB
- 进程切换时，保存当前进程的状态信息

怎么来解决这些问题？

需要提出一种新的实体，满足以下特性：
- 实体之间可以并发地执行；
- 实体之间共享相同的地址空间
这种实体就是线程。

7.9 什么是线程

Thread：进程当中的一条执行流程

从两个方面来重新理解进程：

从资源组合的角度：
- 进程把一组相关的资源组合起来，构成了一个资源平台（环境），包括地址空间（代码段、数据段）、打开的文件等各种资源；
从运行的角度：
- 代码在这个资源平台上的一条执行流程（线程）。

线程 = 进程 - 共享资源

线程的优点

一个进程中可以同时存在多个线程
各个线程之间可以并发地执行且共享地址空间和文件资源

线程的缺点

一个线程崩溃，会导致其所属进程所有线程崩溃

不同OS对线程的支持

MS-DOS：单进程单线程
Unix：多进程单线程
Windows NT：多进程多线程（Linux）

线程与进程的比较

进程是资源分配单位，线程是CPU调度单位
进程拥有一个完整的资源平台，而线程只独享必不可少的资源，如寄存器和栈
线程同样具有就绪、阻塞和执行三种基本状态，同样具有状态之间的转换关系
线程能减少并发执行的时间和空间开销：
- 线程的创建时间比进程短；
- 线程的终止时间比进程短；
- 同一进程内线程切换时间比进程短；
- 由于同一进程的各线程间共享内存和文件资源，可直接进行不通过内核的通信。

7.10 线程的实现

主要有三种线程实现方式：

用户线程：在用户空间实现；
- POSIX Pthreads,Math C-threads,Solaris threads
内核线程：在内核中实现；
- Windows，Solaris，Linux
轻量级线程：在内核中实现，支持用户线程；
- Solaris

用户线程与内核线程的对应关系

多对一
一对一
多对多

用户线程

在用户空间实现的线程机制，它不依赖于操作系统的内核，由一组用户级的线程库函数来完成线程的管理，包括进程的创建、终止、同步和调度等。
由于用户线程的维护由相应进程来完成（通过线程库函数），不需要操作系统内核了解用户线程的存在，可用于不支持线程技术的多进程操作系统；
每个进程都需要它自己私有的线程控制块（TCB）列表，用来跟踪记录它的各个线程的状态信息（PC、栈指针、寄存器），TCB由线程库函数来维护；
用户线程的切换也是由线程库函数来完成，无需用户态/核心态切换，所以速度特别快
允许每个进程拥有自定义的线程调度算法。

用户线程缺点

阻塞性的系统调用如何实现？如果一个线程发起系统调用而阻塞，则整个进程在等待；
当一个线程开始运行后，除非它主动地交出CPU的使用权，否则它所在的过程当中的其他线程都无法运行；
由于时间片分配给进程，故与其他进程比，在多线程执行时，每个线程得到的时间片较少，执行会较慢。

内核线程

是指在操作系统的内核当中实现的一种线程机制，由操作系统的内核来完成线程的创建、终止和管理。
在支持内核线程的操作系统中，由内核来维护进程和线程的上下文信息（PCB和TCB）；
线程的创建、终止和切换都是通过系统调用/内核函数的方式来进行，由内核来完成，因此系统的开销较大；
在一个进程中，如果某个内核线程发起系统调用而被阻塞，并不会影响其他内核线程的运行；
时间片分配给线程，多线程的进程获得更多的CPU时间；
Windows NT 和 Windows 2001/XP 支持内核线程。

轻量级进程（LightWeight Process）

它是内核支持的用户线程。一个进程可有一个或多个轻量级进程，每个量级进程由一个单独的内核线程来支持。（Solaris/Linux）

7.12 进程控制

（一）上下文切换

停止当前运行进程（从运行状态改变成其他状态），并且调度其他进程（转变成运行状态）
必须在切换之前存储许多部分的进程上下文
必须能够在之后恢复他们，所以进程不能显示它曾经被暂停过
必须快速（上下文切换是非常频繁的）
操作系统为活跃进程准备了进程控制块（TCB）
操作系统将TCB放置在一个合适的队列里
- 就绪队列
- 等待I/O队列（每个设备的队列）
- 僵尸队列

（二）进程创建

操作系统提供给用户使用的一个系统调用，完成新进程的创建工作

不同操作系统的系统调用接口：

Windows进程创建API：CreateProcess(filename)
- 创建时关闭所有子进程里的文件描述符
  - CreateProcess(filename, CLOSE_FD)
- 创建时改变子进程的环境
  - CreateProcess(filename, CLOSE_FD, new_envp)
Unix进程创建系统调用：fork/exec
- fork()把一个进程复制成二个进程
  - parent(old PID), child(new PID)
- exec()用新程序来重写当前进程
  - PID没有改变

创建新进程

fork()创建一个继承的子进程
- 复制父进程的所有变量和内存
- 复制父进程的所有CPU寄存器（有一个寄存器例外）（区别父/子进程ID）
fork()的返回值
- 子进程的fork()返回0
- 父进程的fork()返回子进程标识符
- fork返回值可以方便后续使用，子进程可使用getpid()获取PID
fork()的地址空间复制
- fork()执行过程对于子进程而言，是在调用时间对父进程地址空间的一次复制
  - 对于父进程fork()返回child PID，对于子进程返回值为0

程序加载和执行

系统调用exec()加载新程序取代当前运行进程

空闲进程的创建

idleproc	proc_init()
分配idleproc需要的资源	alloc_proc() ↔ kmalloc()（分配存储资源）
初始化idleproc进程控制块	alloc_proc()
完成idleproc的初始化	proc_init()

创建第一个内核线程

initproc	proc_init()
初始化trapframe	Kernel thread()tf ↔ do_fork() ↔ copy_thread()
初始化initproc	alloc_proc()
初始化内核堆栈	setup_stack()
内核共享	copy_stack()
把initproc放到就绪队列
唤醒initproc

Fork()的开销

fork()的实现开销
- 对子进程分配内存
- 复制父进程的内存和CPU寄存器到子进程里|
在99%的情况里，我们在调用fork()之后是调用exec()
- 在fork()操作中内存复制是没有作用的
- 子进程将可能关闭打开的文件和连接

vfork()

创建进程时，不再创建一个同样的内存映像
一些时候称为轻量级fork()
子进程应该几乎立即调用exec()
现在使用Copy On Write(COW)技术

（三）进程加载

用户的应用程序通过系统调动exec()加载来完成一个新的可执行文件的加载

程序加载和执行系统调用exec()

允许进程“加载”一个完全不同的程序，并从main开始执行（即_start）
允许进程加载时指定启动参数（argc, argv）
exec()调用成功时
- 它是相同的进程
- 但是运行了不同的程序
代码段、堆栈和堆（heap）等完全重写

（四）进程等待和退出

是父子进程之间的一种交互，完成子进程的资源回收

父进程等待子进程

wait()系统调用用于父进程等待子进程的结束
- 子进程结束时通过exec()向父进程返回一个值
- 父进程通过wait()接受并处理返回值
wait()系统调用的功能
- 有子进程存活时，父进程进入等待状态，等待子进程的返回结果
- 当没有子进程调用exit()时，唤醒父进程，将exit()返回值作为父进程中wait的返回值
- 有僵尸子进程等待时，wait()立即返回其中一个值
- 无子进程存活时，wait()立即返回

进程的有序终止 exit()

进程结束执行时调用exit()，完成进程资源回收。
exit()系统调用的功能
- 将调用参数作为进程的“结果”
- 关闭所有打开的文件等占用资源
- 释放内存
- 释放大部分进程相关的内核数据结构
- 检查是否父进程是存活着的
  - 如存活，保留结果的值直到父进程需要它，进入僵尸（zombie/defunct）状态
  - 如果没有，它释放所有的数据结构，进程结束
- 清理所有等待的僵尸进程
进程终止是最终的垃圾收集（资源回收）

其他进程控制系统调用

优先级控制
- nice()指定进程的初始优先级
- Unix系统中进程优先级会随执行时间而衰减
进程调试支持
- ptrace()允许一个进程控制另一个进程的执行
- 设置断点和查看寄存器等
定时
- sleep()可以让进程在定时器的等待队列中等待指定