C 哲学家进餐

所以我想用一些信号量来解决哲学家吃饭的问题。。 当我编译它时，我发现哲学家1-5都在想，菲索弗1饿了，他拿叉子 5和1，哲学家3饿了，然后程序停在那里…我不知道问题出在哪里

#include<stdio.h>
#include<semaphore.h>
#include<pthread.h>

#define N 5
#define THINKING 0
#define HUNGRY 1
#define EATING 2
#define LEFT (i+4)%N
#define RIGHT (i+1)%N


sem_t mutex;
sem_t S[N];  
void * philospher(void *num);
void take_fork(int);
void put_fork(int);
void test(int);

int state[N];
int phil_num[N]={0,1,2,3,4};

int main()
{
    int i;
    pthread_t thread_id[N];
    sem_init(&mutex,0,1);
    for(i=0;i<N;i++)
        sem_init(&S[i],0,1);
    for(i=0;i<N;i++)
    {
        pthread_create(&thread_id[i],NULL,philospher,(void *)i);
        printf("Philosopher %d is thinking\n",i+1);
    }
    for(i=0;i<N;i++)
        pthread_join(thread_id[i],NULL);
}


void *philospher(void *num)
 {
    while(1)
    {
        int i;
      i = (int)num;
        sleep(1);
        //take_fork(i);


    sem_wait(&mutex);
    state[i] = HUNGRY;
    printf("Philosopher %d is Hungry\n",i+1);
     //test(i);


    if (state[i] == HUNGRY && state[LEFT] != EATING && state[RIGHT] != EATING)
    {
        sem_wait(&S[LEFT]);
        sem_wait(&S[RIGHT]);
        state[i] = EATING;
        sleep(2);
        printf("Philosopher %d takes fork %d and %d\n",i+1,LEFT+1,i+1);
        printf("Philosopher %d is Eating\n",i+1);
    }

    sem_post(&mutex);
    sleep(1);


        //put_fork(*i);


    sem_wait(&mutex);
    state[i] = THINKING;
    printf("Philosopher %d putting fork %d and %d down\n",i+1,LEFT+1,i+1);
    printf("Philosopher %d is thinking\n",i+1);
    sem_post(&S[LEFT]);
    sem_post(&S[RIGHT]);
    //test(LEFT);
    //test(RIGHT);
    sem_post(&mutex);

    }
 }

#包括
#包括
#包括
#定义n5
#定义思维0
#定义饥饿1
#定义饮食2
#定义左（i+4）%N
#定义右侧（i+1）%N
sem_t互斥体；
sem_t S[N]；
void*philospher（void*num）；
空取叉（int）；
空放叉（int）；
孔隙试验（int）；
int状态[N]；
int phil_num[N]={0,1,2,3,4}；
int main（）
{
int i；
pthread_t thread_id[N]；
sem_init（&mutex，0,1）；
对于（i=0；i我认为这是一个竞赛条件

您在worker函数中引用的是
state[RIGHT]
，但不能保证所有线程都已创建，以便
state
数组在此点初始化。
欢迎使用堆栈溢出！要求人们发现代码中的错误是无效的。您应该使用调试器（或添加打印语句）隔离问题，然后构造一个。当我编译它时，没有任何错误。但是当我运行它时，打印一些结果，但程序暂停？（不确定这是否是正确的单词）出于某种原因。但是线程与状态无关。我的意思是，当if条件测试他是否可以使用fork时，它是在状态数组之间测试，而不是在线程之间测试。