题目:有五个哲学家共用一张圆桌,分别坐在周围的五张椅子上,在桌上有五个碗和五只筷子,他们的生活
方式是思考和进餐。平时,一个哲学家进行思考,饥饿时就便试图去他们呢左右的筷子来就餐。只有在他拿到两
个筷子时才能就餐。
分析: 哲学家思考问题时,他旁边的筷子允许被别的哲学家拿起。因此,筷子为临界资源。
实现:
process i
repate
:
思考;
p[c[i]];
p[c[i+1]]mod
5;
进食
v[c[i]];
v[c[i+1]]mod 5;
unfail flase;
但是可能会产生死锁:一个哲学家只拿到一个筷子。
1>再加一个筷子
2>给个时间限定t,如果处于死锁状态且持续时间超过t,则该进程放弃自己拥有的资源,放入就需队列。
3>只允许其中4个哲学家先竞争。
4>在拥有坐筷子情况下,试着去判断右筷子是否空闲,如果空闲则拿起右筷子否则将左筷子释放。
代码实现:
文件 local_eat.h
- #ifndef _LOCAL_EAT_H
- #define _LOCAL_EAT_H
- #include<stdio.h>
- #include<unistd.h>
- #include<pthread.h>
- #include<sys/types.h>
- #define MAX 5
- pthread_mutex_t mutex[MAX];
- pthread_cond_t cond[MAX];
- char name[MAX][20] = {"laozi","makesi","engesi","xunzi","sugeladi"};
- void* eating(void * counter);
- #endif
文件phil.c
- #include"local_eat.h"
- void * eating(void *counter)
- {
- int cnt = *((int*)counter);
- printf("%d :%s is thinking\n",cnt,name[cnt]);
- while(1) {
- pthread_mutex_lock(mutex+cnt);
- if(!pthread_mutex_trylock(mutex+((cnt+1)%MAX)))
- //pthread_cond_wait(cond+(cnt+1)%MAX,mutex+((cnt+1)%MAX));
- pthread_cond_wait(cond+cnt,mutex+cnt);
- printf("%d :%s is eating\n",cnt,name[cnt]);
- printf("%d :%s has eat up\n",cnt,name[cnt]);
- pthread_mutex_unlock(mutex+cnt);
- pthread_mutex_unlock(mutex+((cnt+1)%MAX));
- //pthread_cond_signal(cond+((cnt+1)%MAX));
- pthread_cond_signal(cond+cnt);
- sleep(1);
- }
- return NULL;
- }
- int main()
- {
- int index = 0;
- pthread_t pthread[MAX];
- for(index = 0; index < MAX;index++)
- pthread_mutex_init(mutex+index,NULL);
- for(index =0; index< MAX;index++)
- pthread_cond_init(cond+index,NULL);
- for(index=0;index<MAX;index++){
- printf(" index = %d\n",index);
- pthread_create(pthread+index,NULL,(void*)eating,(void*)&index);
- }
-
- for(index = 0; index < MAX;index++)
- pthread_mutex_destroy(mutex+index);
- for(index =0; index< MAX;index++)
- pthread_cond_destroy(cond+index);
- return 0;
- }
阅读(436) | 评论(0) | 转发(0) |