进程、线程

进程

进程是正在运行的程序实例（instance）。进程是一个实体，每个进程都有自己的地址空间，包括文本区域（text region）、数据区域（data region）和堆栈区（stack region）。文本区存放处理器执行的代码；数据区存储变量和进程执行期间动态分配的内存；堆栈区存放活动过程中调用的指令和本地变量。

进程由程序、数据和进程控制块构成。

进程状态

(1)就绪态

当进程已分配到除CPU以外的所有必要资源后，只要再获得CPU，便可立即执行，进程这时的状态称为就绪状态。在一个系统中处于就绪状态的进程可能有多个，通常将它们排成一个队列，称为就绪队列。

(2)执行状态

进程已获得CPU，其程序正在执行。在单处理机系统中，只有一个进程处于执行状态； 在多处理机系统中，则有多个进程处于执行状态。

(3)阻塞状态（等待状态或封锁状态）

正在执行的进程由于发生某事件而暂时无法继续执行时，便放弃处理机而处于暂停状态，亦即进程的执行受到阻塞，把这种暂停状态称为阻塞状态，有时也称为等待状态或封锁状态。致使进程阻塞的典型事件有：请求I/O，申请缓冲空间等。通常将这种处于阻塞状态的进程也排成一个队列。有的系统则根据阻塞原因的不同而把处于阻塞状态的进程排成多个队列。

上述三个状态的转换见下图：

在不少系统中进程只有上述三种状态，但在另一些系统中，又增加了一些新状态：

(4)挂起状态

引入挂起状态的原因有：

a.终端用户的请求。当终端用户在自己的程序运行期间发现有可疑问题时，希望暂时使自己的程序静止下来。亦即，使正在执行的进程暂停执行；若此时用户进程正处于就绪状态而未执行，则该进程暂不接受调度，以便用户研究其执行情况或对程序进行修改。我们把这种静止状态称为挂起状态。

b.父进程请求。有时父进程希望挂起自己的某个子进程，以便考查和修改该子进程，或者协调各子进程间的活动。

c.负荷调节的需要。当实时系统中的工作负荷较重，已可能影响到对实时任务的控制时，可由系统把一些不重要的进程挂起，以保证系统能正常运行。

d.操作系统的需要。操作系统有时希望挂起某些进程，以便检查运行中的资源使用情况或进行记账。

具有挂起状态的转换图:

(5)创建状态

创建一个进程的步骤：

第一步： 为一个新进程创建PCB，并填写必要的管理信息；

第二步： 把该进程转入就绪状态并插入就绪队列之中。当一个新进程被创建时，系统已为其分配了PCB，填写了进程标识等信息，但由于该进程所必需的资源或其它信息，如主存资源尚未分配等，一般而言，此时的进程已拥有了自己PCB，但进程自身还未进入主存，即创建工作尚未完成，进程还不能被调度运行，其所处的状态就是创建状态。 引入创建状态，是为了保证进程的调度必须在创建工作完成后进行，以确保对进程控制块操作的完整性。同时，创建状态的引入，也增加了管理的灵活性，操作系统可以根据系统性能或主存容量的限制，推迟创建状态进程的提交。对于处于创建状态的进程，获得了其所必需的资源，以及对其PCB初始化工作完成后，进程状态便可由创建状态转入就绪状态。

(6)终止状态

等待操作系统进行善后处理，然后将其PCB清零，并将PCB空间返还系统。当一个进程到达了自然结束点，或是出现了无法克服的错误，或是被操作系统所终结，或是被其他有终止权的进程所终结，它将进入终止状态。进入终止态的进程以后不能再执行，但在操作系统中依然保留一个记录，其中保存状态码和一些计时统计数据，供其它进程收集。一旦其它进程完成了对终止状态进程的信息提取之后，操作系统将删除该进程。

进程状态转换图：

进程的调度算法

先进先出算法（FIFO）、最短作业优先算法（SJF）、最短剩余时间优先算法（SRTF）、时间片轮转算法(Round Robin,RR）、最高优先级算法（HPF）、多级队列、最短进程优先等。

线程

进程包含线程。

线程由线程ID、当前指令指针、寄存器集合和堆栈组成。线程是被系统独立调度和分派的基本单位。线程不拥有自己的系统资源，只拥有很少量的必须资源。线程可与同属于一个进程的其他线程共享进程的所有资源。

一个线程可以创建和撤销另一个线程，同一进程中的多个线程可以并发执行。

线程同步

互斥锁（Mutex）:用来锁住公用的内存，同一时间只能由一个线程访问。

信号量：就好比门口有n把钥匙，每个进去的人拿走一把，出来再还回来。如果后到的人发现没有钥匙了，那就在门口等待。这种做法就叫做信号量，保证多线程不冲突。

互斥锁是信号量的一个特殊情况（n=1）。

线程和进程的区别

（1）地址空间：进程由自己独立的地址空间，线程没有；

（2）资源拥有：进程是资源分配和拥有的基本单位，同一个进程内的线程共享进程的资源。

（3）调度：线程是处理器调度的基本单位，进程不是。

相同点：进程和线程都可以并发执行。