LINUX 哲学家就餐问题 C语言实例

问题描述

假设有五位哲学家围坐在一张圆形餐桌旁，做以下两件事情之一：吃饭，或者思考。吃东西的时候，他们就停止思考，思考的时候也停止吃东西。餐桌中间有一大碗意大利面，每两个哲学家之间有一只餐叉。因为用一只餐叉很难吃到意大利面，所以假设哲学家必须用两只餐叉吃东西。他们只能使用自己左右手边的那两只餐叉。

分析：最多4个人拿起筷子，则可以避免死锁。设置信号量控制。

C语言实现

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

pthread_mutex_t chopsticks[6];  //5个筷子的互斥锁，0不用，使用1~5号

sem_t s;         //最多四个人拿起筷子，则不会发生死锁!

void deal(char ch){
   
    int left, right;  //左右筷子的编号，i号筷子在i号哲学家左侧；哲学家逆时针坐
    //给筷子编号
    if(ch == 'A') {
    left = 1; right = 5; }
    else if(ch == 'B') {
    left