一、课堂笔记

第二章 、进程管理

2-1 进程与PCB

2.1进程的基本概念

要点

1.分析程序执行顺序、以及并发的特征

2.进程的概念、特征与状态

3.进程控制块及其组织

程序顺序执行时的特征

进程

经典同步问题

1. 生产者—消费者问题：

多个生产者和消费者对n个缓 冲区的使用。 

1. 无论生产者、消费者使用缓冲池时应保证 互斥使用（互斥信号量mutex ）

2. 生产者和消费者间交叉有序：

 ⚫ 有序的控制最根源在产品数量上。

 ⚫ 设置两个信号量： 分别针对生产者、消费者设置不同 的信号量，empty和full分别表示缓冲 池中空缓冲池和满缓冲池（即产品）的 数量。

分析：互斥信号量mutex用来保证对缓冲池的互斥使用，即在放一个产品的同时不能同时去拿。 empty和full用来控制 “空”和“产品”。初始时空为n，产品为0，当生产者生产一个产品后空-1，产品+1；这就可以用记录型信号量来控制。

buffer: array [ 0, …, n-1] of item; in, out: integer :=0, 0;

Var mutex, empty, full: semaphore :=1, n, 0;

生产者 : 

repeat … produce an item in nexp; …

buffer(in):=nexp; in:=(in+1) mod n;

until  false;

wait(mutex);

signal(mutex);

wait(empty);

signal(full);

消费者 :

 repeat

nextc:=buffer(out); out:=(out+1) mod n;

consume the item in nexc;                

wait(mutex);

signal(mutex);

wait(full);

signal(empty);

 until  false; 

1. 每个程序中用于实现互斥的wait(mutex)和 signal(mutex)必须成对地出现。

 2. 控制顺序的信号量empty和full的wait和 signal操作，成对地出现在不同的进程中。

 3. 在每个程序中的多个wait操作顺序不能颠倒。 且应先执行对资源信号量的wait操作，再执行 对互斥信号量的wait操作，否则可能引起进程 死锁。

 4. 模拟交替执行过程，检查控制是否正确。