IPC哲学家就餐

哲学家就餐问题。这是由计算机科学家Dijkstra提出的经典死锁场景。
原版的故事里有五个哲学家(不过我们写的程序可以有N个哲学家),这些哲学家们只做两件事--思考和吃饭,他们思考的时候不需要任何共享资源,但是吃饭的时候就必须使用餐具,而餐桌上的餐具是有限的,原版的故事里,餐具是叉子,吃饭的时候要用两把叉子把面条从碗里捞出来。很显然把叉子换成筷子会更合理,所以:一个哲学家需要两根筷子才能吃饭。
现在引入问题的关键:这些哲学家很穷,只买得起五根筷子。他们坐成一圈,两个人的中间放一根筷子。哲学家吃饭的时候必须同时得到左手边和右手边的筷子。如果他身边的任何一位正在使用筷子,那他只有等着。

假设哲学家的编号是A、B、C、D、E,筷子编号是1、2、3、4、5,哲学家和筷子围成一圈如下图所示:


/*
 *哲学家就餐问题
 *
 * */
#include<pthread.h>
#include<stdio.h>
#include<stdlib.h>
#define N 5
int forks[5]={0,0,0,0,0};
pthread_mutex_t mutex[N];
void think()
{
        printf("Philosopher is thinking...\n");
        usleep(rand()%10);
}
void take_fork(int i)
{
	pthread_mutex_lock(mutex+i);
	//pthread_mutex_trylock(mutex+i);
	//如果一个线程既想获得锁,又不想挂起等待,可以调用pthread_mutex_trylock,如果Mutex已经被另一个线程获得,这个函数会失败返回EBUSY,而不会使线程挂起等待。
}
void put_fork(int i){ 
	pthread_mutex_unlock(mutex+i);
}
void eat(int i)
{ 
	printf("The %dth philosopher is having dinner!\n",i);
}
void *philosopher(void *p)
{ 
	while(1){ 
		int i=(int)p; 
		think(); 
		take_fork(i); 
		take_fork((i+1)%N); 
		eat(i); 
		put_fork(i); 
		put_fork((i+1)%N); 
	}
}
int main()
{ 
	int i; 
	for(i=0;i<N;++i) 
	{ 
		pthread_mutex_init(mutex+i,NULL); 
	} 
	pthread_t pid[N];//five philosopher 
	for(i=0;i<N;i++) 
	{ 
		if(0!=pthread_create(pid+i,NULL,philosopher,(void*)i)) 
		{ 
			fprintf(stderr,"create pthread error!\n"); 
			exit(2); 
		} 
	} 
	for(i=0;i<N;i++) 
	{ 
		pthread_join(pid[i],NULL); 
	} 
	return 0; 
}


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值