在用餐哲学家上使用Pthread显示死锁

Question

我们有一个任务来说明这个问题的僵局。我们已经编写了所有代码，并且代码可以编译，但是当运行代码时，一位哲学家最终吃了东西。所以这不意味着死锁实际上不会发生吗？

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

#define number_philo 5


pthread_mutex_t cutlery[number_philo];


void* philosopher (void* number)

{

    int my_num = *((int*)number);

    while (1)

    {


        printf("\n Philosopher %d is thinking.\n",my_num);


        pthread_mutex_lock (&cutlery[my_num]);
        printf("\nPhilosopher %d has left cutlery. \n",my_num);
        sleep(3);
        pthread_mutex_lock (&cutlery[(my_num + 1) %  number_philo]);
        printf("\nPhilosopher %d has right cutlery. \n",my_num);



        printf("\n Philosopher %d eating.\n", my_num);


        printf("\n Philosopher %d done.\n", my_num);


        pthread_mutex_unlock (&cutlery[(my_num + 1) % number_philo]);

        pthread_mutex_unlock (&cutlery[my_num]);
        printf("\nPhilosopher %d no longer has cutlery.\n", my_num);
    }

    return NULL;

}


int main ()

{

    int i;

    pthread_t phils[number_philo];

    void* return_val;


    for (i = 0; i < number_philo; i++)

        pthread_mutex_init (&cutlery[i], NULL);


    for (i = 0; i < number_philo; i++)

        pthread_create (&phils[i], NULL, philosopher, &i);


    for (i = 0; i < number_philo; i++)

        pthread_join (phils[i], &return_val);


    return 0;

}

这就是输出：输出

Answer 1

问题在于：

  pthread_create (&phils[i], NULL, philosopher, &i);

您正在向每个线程传递一个指向相同变量i的指针，这些线程（和主线程）都在以一种活泼的方式访问i。你会得到多个哲学家使用相同的数字和一些根本没有使用的数字。

在循环并更改i之前，您需要为每个哲学家指定自己的变量来读取，或者等待它读取i。前者的一个例子是：

int phil_num[number_philo];

/* ... */

for (i = 0; i < number_philo; i++)
{
    phil_num[i] = i;
    pthread_create (&phils[i], NULL, philosopher, &phil_num[i]);
}