计算机进程

进程

进程是程序的一次执行，是系统进行资源分配和调度的一个独立单位。进程是线程的容器。由 程序段、相关的数据段和PCB三部分构成了进程实体 。

为程序并发/行执行

在计算机早期的单道批处理系统，cpu只能够一次执行一个程序，这样就造成大量的处理器资源浪费。引入分时/实时多道程序执行技术，使多个程序能够并发 / 行的执行。这样内存里就会存在多道程序，为了给每一个程序分配资源和实现合理调度，就给每个程序套上了统一的进程控制块PCB（Process Control Block），这样就构成了一个个进程。

进程的状态

如图：

进程控制块PCB

PCB作为进程实体的一部分，其作用是使程序（含数据）在多道程序环境下能后独立运行。创建进程，实质上是创建进程实体的PCB。系统是通过PCB感知进程的存在的。PCB已经是进程存在于系统的唯一标志。

进程控制块PCB中的信息：   1. 进程标识符   2. 处理机状态  3. 进程调度信息  4. 进程控制信息 

如图：

进程控制

进程控制一般由系统的内核中的原语（不允许中断的若干条连续指令）来实现。

进程创建：1. 申请空白PCB  2. 为新进程分配所需资源  3. 初始化PCB

进程终止：1. 根据标识符读取PCB  2. 终止进程的执行  3. 终止进程子孙进程  4. 回收进程所占资源  5.回收PCB

进程阻塞：1. 进程自调用阻塞原语block  2. 进程停止执行  3. 将PCB中的现行状态由执行改为阻塞  4.将PCB插入阻塞队列

进程唤醒：1. 等待该事件的进程调用唤醒原语wakeup唤醒该进程  2. 将PCB中的现行状态由阻塞改为就绪  3. 将PCB插入就绪队列

进程同步

同步是为了避免并发执行进程出现错误。进程的同步主要有两形式：1.抢资源（间接相互制约关系），如打印机2,操作资源先后次序（直接相互制约关系）。对于这些多个进程可能并发/行操作的资源我们称为临界资源，每个进程访问临界资源的那段代码称为临界区。生产者 - 消费者问题是一个著名的进程同步问题：

如图：

主要矛盾是：生产者生产资源到仓库，消费者消费仓库资源。如果两进程互不干扰，代码一条条执行，当他们并发访问了仓库的临界资源，生产者执行了标识仓库资源数目的变量i=5的自加运算，还没来得及将6（5+1）赋值给i，就被cpu切给消费者进程了那么消费者就用了刚才的i（5）的值，及i=4（5-1），然后cpu重新回到生产者进程，执行了刚才的赋值语句及i=6。所以i的值本应该为5的却因为两进程的先后操作资源导致了错误。也就引入了本篇进程同步的概念。

我们将访问临界资源的这一段代码同步起来，每一次只能有一个进程执行。也就解决如上生产者进程操作临界资源时，消费者进程不能操作临界资源，cpu再切给生产者时生产者能执行完生产代码。

目前许多计算机提供了硬件同步机制。

为实现进程同步，学者提出了信号量机制，经过了一系列，整型信号量，记录型信号量，AND型信号量，信号量集的发展得以广泛的应用与进程同步领域。

经典进程同步问题：生产者 - 消费者问题、哲学家进餐问题、读者写者问题。

管程

管程可以看做一个软件模块，它是将共享的变量和对于这些操作共享变量的代码封装起来，形成一个具有一定接口的功能模块，进程可以调用管程来实现进程级别的并发控制。进程只能互斥得使用管程，即当一个进程使用管程时，另一个进程必须等待。当一个进程使用完管程后，它必须释放管程并唤醒等待管程的某一个进程。管程外的进程或其他软件模块只能通过管程对外的接口来访问管程提供的操作，管程内部的实现细节对外界是透明的。在管程入口处的等待队列称为入口等待队列，由于进程会执行唤醒操作，因此可能有多个等待使用管程的队列，这样的队列称为紧急队列，它的优先级高于等待队列。