哲学家进餐避免死锁问题

#include <pthread.h> // 引入pthread库，用于多线程编程
#include <stdio.h> // 引入标准输入输出库
#include <unistd.h> // 引入UNIX标准函数库

#define NUM_PHILOSOPHERS 5 // 定义哲学家的数量

pthread_mutex_t chopsticks[NUM_PHILOSOPHERS]; // 创建互斥锁数组，代表筷子
pthread_mutex_t mutex; // 创建一个互斥锁，用于保护eating_count变量
int eating_count = 0; // 正在吃饭的哲学家数量
int waiting_count = 0; // 等待吃饭的哲学家数量

void* philosopher(void* num) {
    int id = *(int*)num; // 获取当前哲学家的ID
    int leftChopstick = id; // 计算左边筷子的编号
    int rightChopstick = (id + 1) % NUM_PHILOSOPHERS; // 计算右边筷子的编号

    while (1) { // 无限循环
        printf("Philosopher %d is thinking.\n", id); // 哲学家正在思考
        sleep(1); // 模拟思考

        pthread_mutex_lock(&mutex); // 获取mutex互斥锁，进入临界区
        waiting_count++; // 增加等待计数
        while (eating_count == NUM_PHILOSOPHERS - 1) { // 如果有NUM_PHILOSOPHERS-1个哲学家正在吃饭，则等待
            pthread_mutex_unlock(&mutex); // 释放mutex互斥锁，离开临界区
            sleep(1); // 等待
            pthread_mutex_lock(&mutex); // 再次尝试获取mutex互斥锁，进入临界区
        }
        waiting_count--; // 减少等待计数
        pthread_mutex_unlock(&mutex); // 释放mutex互斥锁，离开临界区

        pthread_mutex_lock(&chopsticks[leftChopstick]); // 拿起左边的筷子
        pthread_mutex_lock(&chopsticks[rightChopstick]); // 拿起右边的筷子
        pthread_mutex_lock(&mutex); // 再次获取mutex互斥锁，保护eating_count变量
        eating_count++; // 增加正在吃饭的哲学家数量
        pthread_mutex_unlock(&mutex); // 释放mutex互斥锁

        printf("Philosopher %d is eating.\n", id); // 哲学家正在吃饭
        sleep(2); // 模拟吃饭

        pthread_mutex_lock(&mutex); // 再次获取mutex互斥锁，保护eating_count变量
        eating_count--; // 减少正在吃饭的哲学家数量
        pthread_mutex_unlock(&mutex); // 释放mutex互斥锁
        pthread_mutex_unlock(&chopsticks[leftChopstick]); // 放下左边的筷子
        pthread_mutex_unlock(&chopsticks[rightChopstick]); // 放下右边的筷子
    }

    pthread_exit(NULL); // 线程退出
}

int main() {
    pthread_t philosopher_threads[NUM_PHILOSOPHERS]; // 创建哲学家线程数组
    int philosopher_ids[NUM_PHILOSOPHERS]; // 创建哲学家ID数组

    pthread_mutex_init(&mutex, NULL); // 初始化mutex互斥锁
    for (int i = 0; i < NUM_PHILOSOPHERS; i++) {
        pthread_mutex_init(&chopsticks[i], NULL); // 初始化筷子互斥锁数组
    }

    for (int i = 0; i < NUM_PHILOSOPHERS; i++) {
        philosopher_ids[i] = i; // 给哲学家分配ID
        pthread_create(&philosopher_threads[i], NULL, philosopher, &philosopher_ids[i]); // 创建哲学家线程
    }

    for (int i = 0; i < NUM_PHILOSOPHERS; i++) {
        pthread_join(philosopher_threads[i], NULL); //等待哲学家线程结束
    }

    for (int i = 0; i < NUM_PHILOSOPHERS; i++) {
        pthread_mutex_destroy(&chopsticks[i]); // 销毁筷子互斥锁
    }
    pthread_mutex_destroy(&mutex); // 销毁mutex互斥锁

    return 0; // 主函数返回
}