通常我们所认为的进程有五大状态，新建态，就绪态，阻塞态，运行态，退出态。

  下面是示意图：

  事实上还存在被挂起的进程。

  

  交换的需要 前面图中三个基本状态（就绪态、运行态和阻塞态）提供了一种为进程行为建立模型的系统方法，并指导操作系统的实现。

  但是，可以证明往模型中增加其他状态也是合理的。下面考虑一个没有使用虚拟内存的系统，每次执行中的进程必须完全载入内存。因此，所有队列中的所有进程必须驻留在内存中。

  内存保存多个进程，当一个进程正在等待是，处理器可以转移到另一个进程，但是CPU比I/O要快的多，以至于内存中所有进程都在等待I/O的情况很常见。因此，即使是多道程序设计，大多数时候处理器仍然可能处于空闲状态。

  一种解决办法是扩充内存适应更多的进程。有以下缺点：1.内存的价格 2.程序对内存空间需求的增长速度比内存价格下降的速度快。因此，更大的内存往往导致更大的进程，而不是更多的进程。

  另一种解决方案是交换。包括把内存中某个进程的一部分或全部移到磁盘中。当内存中没有处于就绪状态的进程时，操作系统就把被阻塞的进程患处到磁盘中的”挂起队列“（suspend queue），即暂时保存从内存中”驱逐“出来的被挂器的进程队列。操作系统再次之后取出挂起队列中的另一个进程，或者接受一个新进程的请求，将其纳入内存运行。

  “交换”（swapping）是一个I/O操作，因而可能使问题更恶化。但是由于磁盘I/O一般是系统中最快的I/O（相对于磁带或者打印机I/O），所以交换通常会提高性能。

  

  现在有两种进程模型，一种是包含单挂起态的模型，一种是包含两个挂起态的模型。

  分别如图：

  包含两个挂起态的模型如图：

  与之前五个转换模型相比，比较重要的新转换如下：

• 阻塞->阻塞/挂起：如果没有就绪进程，则至少一个阻塞进程被换出，为另一个没有阻塞的进程让出空间。如果操作系统确定当前正在运行的进程，或者就绪进程为了维护基本的性能要求而需要更多的内存空间，那么，即使有可用的就绪态进程也可能出现这种转换。
• 阻塞挂起->就绪挂起：如果等待的事件发生了，则处于阻塞/挂起状态的进程可转换到就绪/挂起态。注意，这要求操作系统必须能够得到挂起进程的状态信息。
• 就绪/挂起->就绪：如果内存中没有就绪态进程，操作系统需要调入一个进程继续执行。此外，当处于就绪/挂起状态的进程比处于就绪态的任何进程的优先级都要高时，也可以进行这种转换。这种情况的产生是由于操作系统设计者规定，调入高优先级的进程比减少交换量更重要。
• 就绪->就绪/挂起：通常，操作系统更倾向于挂起阻塞态进程而不是就绪态进程，因为就绪态进程可以立即执行，而阻塞态进程占用了内存空间但不能执行。但如果释放内存以得到足够空间的唯一方法是挂起一个就绪态进程，那么这种转换也是必需的。并且，如果操作系统确信高优先级的阻塞态进程很快就会就绪，那么它可能选择挂起一个低优先级的就绪态进程，而不是一个高优先级的阻塞态进程。