【操作系统】初步了解进程

进程

操作系统最核心的概念是进程：这是对正在运行程序的一个抽象。

进程模型

在进程模型中，计算机上所有可运行的软件，通常也包括操作系统，被组织成若干顺序进程，简称进程。一个进程就是一个正在执行的实例，包括程序计数器、寄存器和变量的当前值。

进程的创建

操作系统需要有一种方式来创建进程。一些非常简单的系统，即那种只为运行一个应用程序设计的系统，（例如，微波炉中的控制器），可能在系统启动时，以后所需要的所有进程都已经存在。然而，在通用系统中，需要有某种方法在运行时按需要创建或撤销进程。

4种主要事件会导致进程的创建

1. 系统初始化

启动操作系统时，通常会创建若干个进程。其中有些是前台程序，也就是同用户交互并且替他们完成工作的那些进程。其他的是后台进程，这些进程与特定的用户没有关系，相反，却具有某些特定的功能。例如在后台接收邮件的电子邮件处理程序。

2. 正在运行的程序执行了创建进程的系统调用

一个正在运行的进程经常发出系统调用，以便创建一个或多个新进程协助其工作。在所有从事的工作可以容易的划分成若干相关的但没有相互做作用的进程时。创建的进程就特别有效果。例如,有大量的数据需要通过网络调取并进行顺序处理，那么就可以创建一个进程来取数据，并放入缓冲区，另一个进程来处理数据。

3. 用户请求创建一个新进程

键入一个命令或者通过鼠标点击一个图标来启动一个程序

4. 一个批处理作业的初始化

在大型机的批处理系统中应用。用户在这种系统中提交批处理作业。在操作系统认为有资源可运行另一个作业时，它创建一个新的进程，并运行其输入队列中的下一个作业。

从技术上看，新进程都是由于一个已存在的进程执行了一个用于创建进程的系统调用而创建的。这个进程可以是一个运行的用户进程、一个由键盘或鼠标启动的系统进程或者一个批处理管理进程。这个进程所作的工作是，执行一个用于创建新进程的系统调用。这个系统调用通知操作，系统创建一个新进程，并且直接或间接的指定在该进程中运行的程序。

进程的终止

进程在创建之后不可能永恒存在，通常一下条件可以引起进程的终止：

1. 正常退出（自愿的）

当进程完成了他们的工作而终止。例如：编译器完成了所给定程序的编译之后，编译器执行一个系统调用，通知操作系统它的工作已经完成。

2. 出错退出（自愿的）

当进程发现严重错误时。例如：用户键入命令cc foo.c,要编译此文件，但是此文件不存在，于是编译器就退出了。一般面向屏幕的交互式进程会弹出对话框，要求再试一次。

3. 严重错误（非自愿）

由进程引起的错误，通常是程序中的错误导致。例如：执行了非法指令、引用不存在的内存、或除数为零。（在有些系统中，程序可以通知操作系统自行处理错误）

4. 被其他进程杀死（非自愿）

某个进程执行一个系统调用通知操作系统杀死某个进程。例如：Kill -9 pid

进程的层次结构

某些系统中，当进程创建了另一个进程，父进程和子进程就以某种形式继续保持关联。子进程自身可以创建更多的进程，组成一个进程的层次模型。

在UNIX中，进程和它的所有子进程后裔共同组成一个进程组。所有进程都属于以init（一个特殊进程）为根的一棵树。

Windows中没有进程层次的概念，所有进程都是地位相同的。

进程的状态

尽管每个进程都是一个独立的实体，有其自己的程序计数器和内部状态，但是进程间也要相互作用。

例如：cat chapter1 chapter2 | grep tree 可能会发生：grep准备就绪可以完成，但是输入还没有完成，于是必须阻塞grep，知道输入到来。

三种状态的状态图

1. 进程因为等待输入而被阻塞
2. 调度程序选择另一个进程
3. 调度程序选择这个进程
4. 出现有效输入

运行态：该时刻进程实际占用CPU

就绪态：可运行，但因为其他进程正在运行而暂时停止。（已经拥有相应的资源 。知识缺少CPU）

阻塞态：除非某种外部事件发生，否则进程不能运行

前两种状态在逻辑上是类似的。处于这两种状态的进程都可以运行，只是对于第二种状态暂时没有CPU分配给他，第三种状态与前两种状态不同，处于该状态不能运行，即使CPU空闲也不行。

进程的实现

为了实现进程模型，操作系统维护着一张表格（一个结构数组），即进程表（程序控制块PCB）。每个进程占用一个进程表象。该表项包含了进程状态的重要信息，包括程序计数器、堆栈信息、内存分配情况、所打开的文件状态、账户和调度信息，以及其他在进程由运行状态转换到就绪状态或阻塞态时必须保存的信息。从而保证该进程随后再次启动，就像从未被中断过一样。