操作系统之经典进程同步问题

这里介绍三中进程同步问题：

        1.生产者-消费者问题

        2.读者-写者问题

        3.哲学家进餐问题

一、生产者-消费者问题

     1.问题描述：生产者-消费者模型描述的是有一群生产者进程在生产产品，并将这些产品提供给消费者进程并发进行，具备并发程序的典型特征。PCM为使生产者进程和消费者进程并发进行，在它们之间设置一个具有多个缓冲区的缓冲池生产者进程可以将其所生产的产品放入一个缓冲区中，消费者进程可以从一个缓冲区中取得产品去消费。尽管所有的生产者进程和消费者进程都是以异步方式运行的，但他们之间必须保持同步，既不允许消费者进程从空的缓冲区中拿产品，也不允许生产者进程向满缓冲区中放产品。

     2.问题分析：我们可以利用一个数组来表示上述的具有n各缓冲单元的缓冲区。用输入指针in作写指针，每当生产者进程生产并投放一个产品时，in加1；同理，out指针作为读指针，每当消费者拿走一个产品时out便加1。由于缓冲区是循环队列，则加1写成，in=(in+1)mod n，out同理。当(in+1)mod n==out时，缓冲区满，当in==out时，缓冲区为空。此外还引入了count，当生产者生产并放入时加1，消费者拿走时则减1.

     3.程序描述：

     共享变量：

	int n, buffer[n];
	int in, out;    //in,out[0,n-1]
	int count;     //count[0,n]

     程序伪代码：

void producer() {
		producer an item in nextp;
		while (count == n) {
			buffer[in] = nextp;
			in = (in + 1)mod n;
			count++;
		}

void consumer() {
			while (count==0) {
				nextc = buffer[out];
				out = (out + 1)mod n;
				count--;
				consumer the item in nextc;
			}

   4.利用记录型信号量解决PC问题

	int mutex = 0, empty = n, full = 0;
	int buffer[n];
	int in = 0, out = 0;
	void producer() {
		producer an item, nextp;//nextp为生产的产品
		wait(empty);
		wait(mutex);
		buffer[in] = nextp;
		in = (in + 1)mod n;
		signal(mutex);
		signal(full);
	}
	void consumer() {
		wait(full);
		wait(mutex);
		nextc = buffer[out];
		out = (out + 1)mod n;
		signal(mutex);
		signal(empty);
		consumer nextc;
	}

注：在记录型信号中wait(),和signal()操作如下：

	void wait(s) {  //s为信号量
		s--;
		if (s < 0) {
			block(s,L)//阻塞
		}
	}

	void signal(s) {
		s++;
		if (s <=0) {
			wakeup(s, L);//唤醒
		}

需要注意的是：每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对出现。注意wait(empty)在生产者进程中，每个程序中多个wait操作不可颠倒，否则容易发生死锁的现象。

二、读者-写者问题

    1.问题描述：一个数据文件或记录可被多个进程所共享，将其中只要求读该文件的进程称为读者，其他进程称为写者。多个读者进程和多个写者进程在某个时间段内对该文件资源进行异步操作。限制如下：

        写-写互斥、读-写互斥、读-读允许

    2.利用记录型信号量解决读者-写者问题     

	int rmutex = 1, wmutex = 1;
	int readcount = 0;
	void reader() {
		do {
			wait(rmutex);//各读者互斥的通过门禁，进入读书室
			//第一个读者进入读书室时需要开启禁止写者进入的信号
			if (readcount == 0) {
				wait(wmutex);
			}
			readcount++;
			signal(rmutex);
			perform read operation;//读者阅读，此时进行的读操作无需互斥
			wait(rmutex);//互斥的通过门禁，离开图书室
			readcount--;
			//最后一个读者离开时需要关闭禁止写者进入的信号
			if (readcount == 0) {
				signal(wmutex);
			}
			signal(rmutex);
		} while (true);
	}
	void writer() {
		do {
			wait(wmutex);
			perform write operation;
			signal(wmutex);
		} while (true);
	}

三、哲学家进餐问题

     1.问题描述：有五位哲学家，它们的生活方式是交替的进行思考和进餐。哲学家门共用一张圆桌，分别坐在周围的五张椅子上。在圆桌上有五只碗和五根筷子，平时哲学家进行思考，饥饿的时候视图取其左右的靠他最近的筷子，只有当拿到两根筷子时才能进餐。(老师给我们讲的版本是刀和叉呀，笑哭...)

     2.利用记录型信号解决哲学家进餐问题

	int chopstick[5] = {1,1,1,1,1};
	do {
		wait(chopstick[i]);
		wait(chopstick[(i + 1mod 5)]);
		eat;
		signal(chopstick[i]);
		signal(chopstick[(i + 1mod 5)]);
		think;
	} while (true);

该方法存在的问题：当哲学家都成功的拿起左边的筷子时都处于“等待”状态，进而发生死锁的问题。

    3.解决策略：

       1)至多只允许四位哲学系同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐，并在用完时释放出他用过的两根筷子。

       2)当哲学家的左、右两根筷子均可用时，才允许他拿起筷子进餐。

       3)规定奇数号哲学家先拿起他左边的筷子，然后再去拿他右边的筷子；而偶数号则相反。按此规定，总会有一位哲学家能进餐，并在使用完后释放筷子。

    4.利用AND信号量机制解决哲学家进餐问题(上述的第二种方法)

int chopstick[5] = { 1,1,1,1,1 };
	do {
		think;
		wait(chopstick[(i + 1)mod 5], chopstick[i]);
		eat;
		signal(chopstick[(i + 1)mod 5], chopstick[i]);
	} while (true);