多线程同步的哲学家就餐问题c语言

问题描述：

五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在桌子上有五只碗和五只筷子，他们的生活方式是交替地进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最靠近他的筷子，只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。

哲学家就餐问题是一个经典的同步问题，这不是因为其本身的实际重要性，也不是因为计算机科学家不喜欢哲学家，而是因为它是大量并发控制问题的一个例子。这个代表型的例子满足：在多个进程之间分配多个资源，而且不会出现死锁和饥饿。

问题解法

至多只允许四个哲学家同时进餐，以保证至少有一个哲学家能够进餐，最终总会释放出他所使用过的两支筷子，从而可使更多的哲学家进餐。定义信号量num，只允许4个哲学家同时进餐，这样就能保证至少有一个哲学家可以就餐。

#include<stdio.h>
#include<pthread.h>
#include<stdlib.h>
pthread_mutex_t mutex,mutex1,mutex2,mutex3,mutex4,mutex5;
pthread_cond_t cond;
int num=4;
void* th1(void *a)
{
   
    while(1){
   
        if(num<1){
   
            pthread_mutex_lock(&mutex);
            pthread_cond_wait(&cond,&mutex);
            pthread_mutex_unlock(&mutex);
        }
        pthread_mutex_lock(&mutex1);
        num--;
        printf("1号拿到左边的筷子1\n");
        pthread_mutex_lock(&mutex5);
        printf("1号拿到右边的筷子5\n1号开始吃饭\n");
        sleep(1);
        printf("1号吃完放下筷子\n");
        pthread_mutex_unlock(&mutex1);
        pthread_mutex_unlock(&mutex5);
        num++;
        pthread_cond_signal(&cond);
        pthread_exit(NULL);
    }
}
void* th2(void