03-11 08:31 阅读 69

操作系统-进程

进程综述

定义

进程是正在执行程序的实例，包括程序计数器、寄存器和变量的当前值。

进程不只是程序代码，程序代码称为文本段（代码段），还包括当前活动，通过程序计数器的值和处理器寄存器的内容来表示。此外，进程还包括进程堆栈段（临时数据、函数参数、局部变量、地址）和数据段（包括全全局变量。还可能包括堆（heap），是在进程运行期间动态分配内存。

程序和进程的关系：

程序是被动实体，进程是活动实体（进程有开始，有结束、程序没有；进程会走走停停，程序走停无意义）
一个程序可以对应多个进程（不同进程间代码段相同，而数据段、堆栈等不同）

为什么要有进程这个概念

核心目的：虚拟化CPU，从而支持多个进程在少量的物理CPU上运行（每个进程以为它独享一个CPU）。

操作系统通过虚拟化（virtualizing）CPU 来提供这种假象。通过让一个进程只运行一个时间片，然后切换到其他进程，操作系统提供了存在多个虚拟 CPU 的假象。这就是时分共享（time sharing）CPU 技术，允许用户如愿运行多个并发进程。潜在的开销就是性能损失，因为如果 CPU 必须共享，每个进程的运行就会慢一点（上下文切换）。

进程创建

核心问题：程序是如何转化为进程的？（即：操作系统如何启动并运行一个程序？进程创建实际如何进行？）

将代码和所有静态数据（例如初始化变量）加载（load）到内存中，加载到进程的地址空间中。
为程序的运行时栈（run-time stack 或 stack）分配一些内存。
为程序的堆（heap）分配一些内存。
执行一些其他初始化任务，特别是与输入/输出（I/O）相关的任务。（在 UNIX 系统中，默认情况下每个进程都有标准输入stdin，标准输出stdout，标准错误stderr三个文件描述符）
启动程序，在入口处运行，即 main()。

进程状态

在三状态模型中，进程的三个状态如下：

运行（running）：在运行状态下，进程正在处理器上运行。这意味着它正在执行指令。
就绪（ready）：在就绪状态下，进程已准备好运行，但由于某种原因，操作系统选择不在此时运行。
阻塞（blocked）：在阻塞状态下，一个进程执行了某种操作，直到发生其他事件时才会准备运行。

若加上新建态、退出态，则是五状态模型，两者本质上是一样的，三状态模型更能体现进程核心的状态。

三状态之间的转换如下图：

对应到操作系统中位以下图，处理器中运行的为运行态进程、就绪队列中为就绪态进程、阻塞队列中为阻塞态进程。

需要注意的是，运行态进程有三种转换去向：

发生I/O事件，进入阻塞队列，若I/O事件完成该进程则可转入就绪队列。
时间片到期，操作系统则抢占之，使之进入就绪队列，等待下一次调度。
进程完成，释放。

若考虑到I/O速度较慢且内存数量有限，只能容纳一部分的进程，因此存在内存中所有的进程都在等待I/O的情况。在这种情况中，CPU多数时间处于空闲状态。因此，将所有进程放入内存中是不理智的。可以通过将一部分进程换出到磁盘中，增大操作系统中的进程数目，从而充分利用CPU。

挂起（suspend），即将内存中某个进程的一部分或全部移到磁盘。当内存中不存在就绪态进程时，操作系统就把被阻塞的进程换出到磁盘中的挂起队列（suspend queue），即临时从内存中“踢出”的进程队列。

包含单挂的模型如下，相比与三/五状态模型，增加了一个挂起态：

单挂模型有个缺点：所有已被挂起进程都是阻塞态，那么将被阻塞的进程取回内存无任何意义。若I/O事件完成，阻塞态进程将不再阻塞，可以进入就绪态继续执行。因此可以将挂起态中的进程进行细分，即阻塞/挂起态及就绪/挂起态。

该模型中比较重要的状态转换为：

阻塞/挂起态->就绪/挂起态：若I/O事件完成，则将进程从阻塞/挂起态切换到就绪/挂起态。

进程描述

进程在操作系统内用进程控制块（process control block, PCB)来表示，PCB包含了进程状态、程序计数器、cpu寄存器、cpu调度信息、内存管理信息、记账信息、I/O状态信息等信息。

进程状态：状态可包括新的，就绪，运行，等待，终止等。
程序计数器：计数器表示进程要执行的下个指令的地址。
CPU寄存器：与程序计数器一起，这些寄存器的状态信息在出现中断时也需要保存，以便进程以后能正确的执行。
CPU调度信息：这类信息包括进程优先级、调度队列指针和其他调度参数。
内存管理信息：根据内存系统，这类信息包括基址和界限寄存器的值，页表或段表。
记账信息：这类信息包括CPU时间、实际使用时间、时间界限、记账数据、作业或进程数量等。
I/O状态信息：这类信息包含分配给进程的I/O设备列表、打开的文件列表等。

进程之间的切换就用到PCB：

xv6中的进程描述信息如下：context即寄存器的上下文。

// the registers xv6 will save and restore
// to stop and subsequently restart a process
struct context {
 int eip;
 int esp;
 int ebx;
 int ecx;
 int edx;
 int esi;
 int edi;
 int ebp;
};


// the different states a process can be in
enum proc_state { UNUSED, EMBRYO, SLEEPING,
 RUNNABLE, RUNNING, ZOMBIE };


// the information xv6 tracks about each process
// including its register context and state
struct proc {
 char *mem; // Start of process memory
 uint sz; // Size of process memory
 char *kstack; // Bottom of kernel stack
 // for this process
 enum proc_state state; // Process state
 int pid; // Process ID
 struct proc *parent; // Parent process
 void *chan; // If non-zero, sleeping on chan
 int killed; // If non-zero, have been killed
 struct file *ofile[NOFILE]; // Open files 
 struct inode *cwd; // Current directory
 struct context context; // Switch here to run process
 struct trapframe *tf; // Trap frame for the
 // current interrupt
};

reference

[1] 操作系统-精髓与设计原理

[2] 操作系统导论（ostep）

[3] 操作系统概念

[4] 现代操作系统

原文：https://www.cnblogs.com/cxl-/p/15240850.html