- 编程练习-题目来源于宋劲杉《linuxc》
哲学家就餐问题。这是由计算机科学家Dijkstra提出的经典死锁场景。
原版的故事里有五个哲学家(不过我们写的程序可以有N个哲学家)，这些哲学家们只做两件事－－思考和吃饭，他们思考的时候不需要任何共享资源，但是吃饭的时候就必须使用餐具，而餐桌上的餐具是有限的，原版的故事里，餐具是叉子，吃饭的时候要用两把叉子把面条从碗里捞出来。很显然把叉子换成筷子会更合理，所以：一个哲学家需要两根筷子才能吃饭。
现在引入问题的关键：这些哲学家很穷，只买得起五根筷子。他们坐成一圈，两个人的中间放一根筷子。哲学家吃饭的时候必须同时得到左手边和右手边的筷子。如果他身边的任何一位正在使用筷子，那他只有等着。
假设哲学家的编号是A、B、C、D、E，筷子编号是1、2、3、4、5，哲学家和筷子围成一圈如下图所示：
图 35.2. 哲学家问题
每个哲学家都是一个单独的线程，每个线程循环做以下动作：思考rand()%10秒，然后先拿左手边的筷子再拿右手边的筷子（筷子这种资源可以用mutex表示），有任何一边拿不到就一直等着，全拿到就吃饭rand()%10秒，然后放下筷子。
编写程序仿真哲学家就餐的场景：
Philosopher A fetches chopstick 5
Philosopher B fetches chopstick 1
Philosopher B fetches chopstick 2
Philosopher D fetches chopstick 3
Philosopher B releases chopsticks 1 2
Philosopher A fetches chopstick 1
Philosopher C fetches chopstick 2
Philosopher A releases chopsticks 5 1
...解决方案参考自https://blog.csdn.net/theLost...
1 #include
2 #include
3 #include
4 #include
5 #include
6 #include
7 #include
8
9 #define NUM 5
10
11 sem_t chopsticks[NUM];//sem_t信号量参数，表示每根快筷子最多只能同时被一人拿起
12 sem_t r;//拿起左筷子的信号量参数，只能同时有4人拿起左筷子，否则后产生死锁
13 int philosophers[NUM] = {0,1,2,3,4};//哲学家数组，表示5位哲学家0,1,2,3,4,
14
15 pthread_mutex_t chops[NUM];//互斥量即锁的控制变量
16
17 //int Islocked[NUM] = {0};//自己实现互斥锁需要的控制变量数组
18 //多个线程同时调用通常的swap函数的时候容易产生指令错排从而影响结果
19 //而我们使用intel X86的指令集中提供了交换两数的指令xchg，寄存器控制不会出现并发的情况
20 //void xchg(int *x,int *y){//汇编中的交换指令
21 // __asm__("xchgl %0, %1" : "=r" (*x) : "m" (*y));
22 //}
23
24 //核心函数(利用信号量控制最多4个人拿起左筷子来杜绝死锁的发生)
25 void *philosopher(void *arg){//arg由init函数的第四个参数传递而来
26 int i = *((int *)arg);//i代表第i个哲学家
27 int left = i;//左边的筷子设为i
28 int right = (i+1)%NUM;//循环队列结构,右边筷子设为i+1
29 //int leftkey;//自己实现左互斥锁需要的key变量
30 //int rightkey;//自己实现右互斥锁需要的key变量
31 while(1){
32 //leftkey = 1;
33 //rightkey = 1;
34
35 printf("哲学家%d正在思考\n",i);
36 sleep(rand()%NUM);//进程挂起一段时间，代表思考了一会
37
38 printf("哲学家%d饿了\n",i);
39
40 sem_wait(&r);//信号量r - 1(若r=0则挂起等待，r>0则可以获得线程资源执行后续操作，r不会<0)
41 sem_wait(&chopsticks[left]);//注意每个chopsticks的信号量只有1个
42 pthread_mutex_lock(&chops[left]);
43 //do{
44 //xchg(&leftkey,&Islocked[left]);//此时leftkey为非1，会将1交换给Islocked[left]
45 //于是第二个线程进来时就会阻塞在do_while循环实现临界资源的锁定。即linux里面的mutex功能
46 //}while(leftkey);
47 printf("哲学家%d拿起了%d号筷子,现在只有一支筷子,不能进餐\n",i,left);
48
49 //do{
50 //xchg(&rightkey,&Islocked[right]);
51 //}while(rightkey);
52 sem_wait(&chopsticks[right]);
53 pthread_mutex_lock(&chops[right]);
54 printf("哲学家%d拿起了%d号筷子,现在只有两支筷子,开始进餐\n",i,right);
55 sleep(rand()%NUM);//进程挂起一段时间，代表吃了一段时间结束
56
57 //Islocked[left] = 0;//当前一个拿左筷子信号执行完就可以让第二个线程进入
58 sem_post(&chopsticks[left]);
59 pthread_mutex_unlock(&chops[left]);
60 printf("哲学家%d放下了%d号筷子\n",i,left);
61
62 //Islocked[right] = 0;//当前一个拿左筷子信号执行完就可以让第二个线程进入
63 sem_post(&chopsticks[right]);
64 pthread_mutex_unlock(&chops[right]);
65 printf("哲学家%d放下了%d号筷子\n",i,right);
66
67 sem_post(&r);//释放资源，信号量+1，于是可以同时唤醒挂起等待信号量>0的线程
68
69 }
70 }
71 int main(int argc,char **argv){
72 srand(time(NULL));
73 pthread_t PHD[NUM];//要开辟的线程组
74
75 int i= 0;
76 for(i = 0;i < NUM; i++){
77 sem_init(&chopsticks[i],0,1);//信号量初始化，每只筷子只能同时被拿起一次
78 }
79 sem_init(&r,0,4);//信号量控制变量r,控制同时拿起左筷子的信号不能超过4
80
81 int j = 0;
82 for(j = 0; j < NUM; j++){
83 pthread_mutex_init(&chops[j],NULL);//互斥锁的初始化
84 }
85
86 int k = 0;
87 for(k = 0; k < NUM; k++){
88 pthread_create(&PHD[k],NULL,philosopher,&philosophers[k]);//创建5个哲学家的行为线程
89 }
90
91 int l = 0;
92 for(l = 0; l < NUM; l++){
93 pthread_join(PHD[l],NULL);//等待每个线程终止，将这些线程由终止态变为detach态并收回线程所占用的资源
94 }
95
96 int m = 0;
97 for(m = 0; m < NUM; m++){
98 sem_destroy(&chopsticks[m]);//释放变量所占用的信号量相关资源
99 }
100 sem_destroy(&r);//同上，释放左筷子监控占用的信号量资源
101
102 int n = 0;
103 for(n = 0; n < NUM; n++){
104 pthread_mutex_destroy(&chops[n]);//销毁互斥锁，释放资源
105 }
106
107 return 0;
108 }
我这里是在linux环境下使用mutex实现，在windows环境下可以用注释掉的while-do-while循环来模拟实现互斥锁mutex,也能成功运行得到结果！
gcc philosopher_mutex.c -o philosopher_mutex -lpthread
./philosopher
