IPC经典问题

    最近准备潜心研究操作系统，经过自己的精挑细选，我选择了Minix，主要原因是Minix很精简，可以学习到很多本质的东西。

而讲Minix的书籍《操作系统_设计与实现》也是当年linus torvalds创造Linux的思想源泉。刚看了此书一章多，觉得此书写得非常经典。

看完本书讲了IPC经典问题：哲学家进餐问题，读者-写者问题，理发师理发问题。

这些经典问题主要解决了进程间竞争资源问题，提出了进程同步的设计模型。

以下是理发师理发问题伪代码：

<!--<br /><br />Code highlighting produced by Actipro CodeHighlighter (freeware)<br />http://www.CodeHighlighter.com/<br /><br />--> 1 
 2 #define N 5
 3 typedef int semaphore;
 4 semaphore mutex=1;//用于互斥
 5 semaphore customers=0;//等候客人数信号量
 6 semaphore barbers=0;//等待顾客的理发师信号量
 7 int wating = 0;//没有理发客人数据量
 8 
 9 //理发师理发
10 void Barber()
11 {
12     while(true)
13     {
14         down(&customers);
15         down(&mutex);
16         wating--;
17         up(&barbers);
18         up(&mutex);
19         //理发-非临界区
20     }
21 }
22 //来理发客人了
23 void customer()
24 {
25     down(&mutex);
26     if(wating<N){
27         wating++;
28         up(&customers);
29         up(&mutex);
30         down(&barbers);//看理发师是否空闲,如果繁忙等待
31         //理发客人等待-非临界区
32     }
33     else
34     {
35         up(&mutex);
36     }
37 }