http://m.blog.csdn.net/aspenstars/article/details/70149038
一、问题介绍
由Dijkstra提出并解决的哲学家进餐问题(The Dinning Philosophers Problem)是典型的同步问题。该问题是描述有五个哲学家共用一张圆桌,分别坐在周围的五张椅子上,在圆桌上有五个碗和五只筷子,他们的生活方式是交替地进行思考和进餐。平时,一个哲学家进行思考,饥饿时便试图取用其左右最靠近他的筷子,只有在他拿到两只筷子时才能进餐。进餐完毕,放下筷子继续思考。
二、POSIX中的互斥量
1、库文件:#include <pthread.h>
2、数据类型:
pthread_mutex_t //互斥量
pthread_mutexattr_t //互斥量的属性
3、互斥量相关的函数:
//…
pthread_mutex_tmutex;
pthread_mutex_init(&mutex, NULL);
pthread_mutex_lock(&mutex);
//do something
pthread_mutex_unlock(&mutex);
pthread_mutex_destroy(&mutex);
//…
三、POSIX线程函数
1、库文件:#include<pthread.h>
2、数据类型:pthread_t;线程ID
3、线程相关函数:
线程退出有以下几种情况:
1、库文件:#include<semaphore.h>
2、信号量数据类型:sem_t
sem_tsem;
sem_init(&sem,0, 1);//初始化一个值为1的信号量
sem_wait(&sem);//获取信号量
//dosomthing
sem_post(&sem);//释放信号量
sem_destroy(&sem);//销毁一个无名信号量
五、流程图
六、代码示例
使用互斥量: