哲学家就餐问题（锁问题）

问题

有五个哲学家绕着圆桌坐，每个哲学家面前有一盘面，两人之间有一支筷子，这样每个哲学家左右各有一支筷子。哲学家有2个状态，思考或者拿起筷子吃饭。如果哲学家拿到一只筷子，不能吃饭，直到拿到2只才能吃饭，并且一次只能拿起身边的一支筷子。一旦拿起便不会放下筷子直到把饭吃完，此时才把这双筷子放回原处。如果，很不幸地，每个哲学家拿起他或她左边的筷子，那么就没有人可以吃到饭了。

思路

方法1

• 最直接的方法

void philosopher(int i)
{
	while(TRUE)
	{
		think();             //哲学家在思考 
		P(fork[i]);          //拿左边 
		P(fork[i+1]%N);      //拿右边 
		eat();               //吃 
		V(fork[i]);          //放左边 
		V(fork[i+1]%N);      //放右边 
	}
 } 

• 缺点：极端条件下假设每个人都同时拿左边的筷子，就会发生死锁

方法2

• 添加互斥锁保证有一个吃到饭

mutex   互斥信号量 
void philosopher(int i)
{
	while(TRUE)
	{
		think();             //哲学家在思考 
		P(mutex);            //进入临界区 
		P(fork[i]);          //拿左边 
		P(fork[i+1]%N);      //拿右边 
		eat();               //吃 
		V(fork[i]);          //放左边 
		V(fork[i+1]%N);      //放右边 
		V(mutex);            //退出临界区 
	}
 } 

• 缺点：五把刀叉可以让两个人同时吃，但此方法只能让一个人吃

方法3

• 偶数奇数哲学家分开拿

void philosopher(int i)
{
	while(TRUE)
	{
		think();             //哲学家在思考 
		if(i%2==0)
		{
			P(fork[i]);          //拿左边 
	    	P(fork[i+1]%N);      //拿右边 
		}
		else
		{
			P(fork[i]);          //拿左边 
	    	P(fork[i+1]%N);      //拿右边 
		}
		eat();               //吃 
		V(fork[i]);          //放左边 
		V(fork[i+1]%N);      //放右边 
	}
 } 

• 有可能两个一起吃，效率稍高

条件

• 线程同步/互斥

  互斥条件：一个资源在一段时间内只能由一个进程占用。

  条件变量是用来等待线程而不是上锁的，当条件满足的时候，线程通常解锁并等待该条件发生变化，

• 临界区访问问题

  对临界资源进行互斥的访问

  一个进程进入临界区不允许其他进程进去

• 死锁问题

  因为哲学家间互相竞争资源，导致死锁

代码实现

• 方法2

#include <stdio.h>
#include <stdlib.h>
#include <malloc.h>
#include <time.h>
#include <unistd.h>
#include <pthread.h>
#include <semaphore.h>
 
#define N 5   //哲学家数量 
 
sem_t chopsticks[N];//设置5种信号量，有5种不同类型的资源，每一种有1个,这样便于理解，因为每个哲学家需要的资源不同
 
pthread_mutex_t mutex;//定义互斥锁
 
int philosophers[N] = {0, 1, 2, 3, 4};//代表5个哲学家的编号
 
//延迟判断
void delay (int len) 
{
	int i = rand() % len;
	int x;
	while (i > 0) 
	{
		x = rand() % len;
		while (x > 0) 
		{
			x--;
		}
		i--;
	}
}
 
void *philosopher (void* arg) 
{
	int i = *(int *)arg;
	int left = i;//左筷子的编号和哲学家的编号相同
	int right = (i + 1) % N;//右筷子的编号为哲学家编号+1
	while (1)
	 {
		printf("哲学家%d正在思考问题\n", i);
		delay(60000);
		
		printf("哲学家%d饿了\n", i);
 
		pthread_mutex_lock(&mutex);//加锁，进入临界区 
 
		sem_wait(&chopsticks[left]);//此时这个哲学家左筷子的信号量-1之后>=0时，表示能继续执行。去拿左边筷子 
		printf("哲学家%d拿起了%d号筷子,现在只有一支筷子,不能进餐\n", i, left);
		sem_wait(&chopsticks[right]);//去拿右边筷子 
		printf("哲学家%d拿起了%d号筷子\n", i, right);
 
		pthread_mutex_unlock(&mutex);//解锁，退出临界区 
 
		printf("哲学家%d现在有两支筷子,开始进餐\n", i);
		delay(60000);
		sem_post(&chopsticks[left]);//放下左边筷子 
		printf("哲学家%d放下了%d号筷子\n", i, left);
		sem_post(&chopsticks[right]);//放下右边筷子 
		printf("哲学家%d放下了%d号筷子\n", i, right);
	}
}
 
int main (int argc, char **argv) 
{
	    int i;
        srand(time(NULL));
	    pthread_t philo[N];
	    //信号量初始化 
        for(i=0;i<N;i++)
        {
            sem_init(&chopsticks[i],0,1);
        }				
        pthread_mutex_init(&mutex,NULL);
        //创建线程 
		for(i=0;i<N;i++)
        {
            pthread_create(&philo[i],NULL,philosopher,&philosophers[i]);
        }
		//挂起线程				
        for(i=0;i<N;i++)
        {
            pthread_join(philo[i],NULL);
        }
        //销毁信号量 
        for(i=0;i<N;i++)
        {
            sem_destroy(&chopsticks[i]);
        }
        pthread_mutex_destroy(&mutex);
        return 0;		
}  	

参考了博客https://blog.csdn.net/weixin_39656575/article/details/80719113