学习使人进步：操作系统之进程

操作系统之进程

1、进程
- 1.1进程的定义
- 1.2 进程的组成
- 1.3 进程的特点
- 1.4 进程控制结构
- - 1.4.1 使用进程控制块
  - 1.4.2 PCB三大类信息
  - 1.4.3 PCB的组织方式
- 1.5 进程的生命期原理
- - 1.5.1 进程的状态
- 1.6 进程状态变化模型
- - 1.6.1 进程的基本状态
  - 1.6.2 进程挂起
  - 1.6.3 与挂起相关的状态转换

1、进程

1.1进程的定义

代表一种运行程序的执行过程，会消耗计算机的资源。
一个具有一定独立功能的程序在一个数据集合上的一次动态执行过程

1.2 进程的组成

进程包含了正在运行的一个程序的所有状态信息

程序的代码
程序处理的数据
程序计数器中的值，指示下一条将要运行的指令
一组通用的寄存器的当前值，堆、栈
一组系统资源（比如：打开的文件）

程序与进程的联系

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

进程与程序的区别

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

1.3 进程的特点

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

1.4 进程控制结构

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

1.4.1 使用进程控制块

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

1.4.2 PCB三大类信息

一、进程标识信息
如本进程的标识，本进程的产生者标识（父进程标识）；用户标识。

二、处理机状态信息保存去。保存进程的运行现场信息

用户可见寄存器，用户程序可以使用的数据，地址等寄存器
控制和状态寄存器，如程序计数器（PC），程序状态字（PSW）
栈指针，过程调用/系统调用/中断处理和返回时需要用到它

三、进程控制信息

调度和状态信息，用于操作系统调度进程并占用处理机使用。
进程间通信信息，为支持进程间的与通信相关的各种标识、信号、信件等，这些信息存在接收方的进程控制块中。
存储管理信息，包含有指向本进程映像存储空间的数据结构
进程的所用资源，说明由进程打开，使用的系统资源，如打开的文件等。
有关数据结构连接信息，进程可以连接到一个进程队列中，或连接到相关的其他进程的PCB

1.4.3 PCB的组织方式

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

1.5 进程的生命期原理

1.5.1 进程的状态

进程创建
引起进程创建的三个主要事件：
- 系统初始化时
- 用户请求创建一个新进程
- 正在运行的进程执行了创建进程的系统调用
进程运行
内核选择一个就绪的进程，让他占用处理机并执行
进程等待
以下情况下，进程会等待（阻塞）
- 请求并等待系统服务，无法马上完成
- 启动某种操作，无法马上完成
- 需要的数据没有到达
  进程只能自己阻塞自己，因为只有进程自身才能知道何时需要等待某种事件的发生
进程唤醒
唤醒进程的原因：
- 被阻塞进程需要的资源可被满足
- 被阻塞进程等待的事件到达
- 将该进程的PCB插入到就绪队列
  进程只能被别的进程或者操作系统唤醒
进程结束
在以下四种情况下，进程结束：
- 正常退出（自愿的）
- 错误退出（自愿的）
- 致命错误（强制性的）
- 被其他进程所杀（强制性的）

1.6 进程状态变化模型

1.6.1 进程的基本状态

进程的三种基本状态：
进程在生命结束前处于且仅处于三种基本状态之一，不通系统设置的进程状态数目不通。

运行状态：当一个进程正在处理机上运行时。
就绪状态：一个进程获得了除处理机之外的一切所需资源，一旦得到处理机即可运行
等待(阻塞)状态：一个进程正在等待某一事件而暂停运行时。如等待某资源，等待输入/输出完成。

状态变化图：

进程其他的基本状态：

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

完整的状态变化图

1.6.2 进程挂起

进程在挂起状态时，说明进程没有占用内存空间。处于挂起状态的进程映像在磁盘上

挂起状态分为两种：

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

1.6.3 与挂起相关的状态转换

挂起：把一个进程从内存转到外存
可能会有以下几种情况：

阻塞到阻塞挂起：没有进程处于就绪状态或者就绪进程要求更多内存资源时，会进行这种转换，以提交新进程或运行就绪进程
就绪到就绪挂起：当前高优先级阻塞（系统认为会很快就绪的）进程和低优先级就绪进程时，系统会选择挂起低优先级就绪就绪
运行到就绪挂起：对抢先式分时系统，当有高优先级阻塞挂起进程因事件出现而进入就绪挂起时，系统可能回吧运行进程转到就绪挂起状态

在外存时的状态转换：

阻塞挂起到就绪挂起：当有阻塞挂起进程因相关事件出现时，系统会把阻塞挂起进程转换为就绪挂起进程

解挂/激活：把一个进程从外存转到内存；可能有以下几种情况

就绪挂起到就绪：没有就绪进程或挂起就绪进程优先级高于就绪进程时，会就行这种转换
阻塞挂起到阻塞“当一个进程释放足够内存时，系统会把一个高优先级阻塞挂起（系统认为会很快出现所等待的事件）进程转换为阻塞进程

状态队列：

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