进程同步及经典问题

1. 什么是进程同步？

进程的同步是一种协作，即处理某事件多个进程之间存在先后顺序。

举例：process1（简称p1）先加工数据A，把数据A传递给process2（简称p2）。p2拿到数据A之后才开始工作。这个过程属于同步。

2.生产者-消费者问题

        存在一块buff，生产者是把产生的条目放到buff中，消费者从buff中取走条目。但是buff满的情况下生产者不能再让buff中投递，buff空的时候消费者不能再取条目，同一时刻要么存（更新）条目要么取条目（二者互斥）。

这块buff是有n个槽位的有限缓冲区。生产者反复地生成新的item，并将它插入到缓冲区中。

假设缓冲区编号1~N-1，in和out分别是生产者和消费者指针，指向可执行条目，初始值均为空。

设置三个信号量控制生产者消费者读取：

• full：表示有产品的缓冲区数，初始值为0；
• empty：表示可供使用的缓冲区数，初始值为N；
• mutex：互斥信号量，初始值为1，表示进程互斥访问临界区。保证任何时候只有一个进程在临界区中。

伪代码（P代表减操作，V代表加操作）：

int in = NULL,out = NULL;

semaphore mutex = 1; // 信号量，初试资源可用

empty = N;full = 0;

生产者进程（Producer）：

while(TRUE)

{

        P(empty); // 减少一个空位资源

        P(mutex); // 减一，锁住临界资源

        buffer(in);产品送往buffer

        in = (in+1)%N;

        V（mutex）;// 加一，释放临界资源

        V（full）; // 占用 一个空位

}

消费者进程（Consumer）：

while(TRUE)

{

        P(full); // 减少一个空位资源

        P(mutex); // 减一，锁住临界资源

        buffer(out);从buffer中取出产品

        out = (out+1)%N;

        V（mutex）;// 加一，释放临界资源

        V（empty）; // 增加一个空位

}