哲学家就餐问题

前言

哲学家就餐问题是操作系统中P、V操作部分的经典问题。哲学家就餐问题是在计算机科学中的一个经典问题，用来演示在并行计算中多线程同步(Synchronization)时产生的问题。在1971年，著名的计算机科学家艾兹格·迪科斯彻提出了一个同步问题，即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后，这个问题被托尼·霍尔重新表述为哲学家就餐问题。这个问题可以用来解释死锁和资源耗尽。

---

哲学家就餐问题

1. 问题描述

​ 有五个哲学家围坐在一圆桌旁，桌中央有一盘通心面，每人面前有一只空盘子，每两人之间放一把叉子。每个哲学家思考、饥饿、然后吃通心面。为了吃面，每个哲学家必须获得两把叉子，且每人只能直接从自己左边或右边去取叉子

图示：

2. 问题说明

• 0号哲学家对应的是：1号和0号叉子；
• 1号哲学家对应的是：2号和1号叉子；
• 2号哲学家对应的是：3号和2号叉子；
• 3号哲学家对应的是：4号和3号叉子；
• 4号哲学家对应的是：0号和4号叉子；

3. P、V操作-解法1

• 对于i=0,1,2,3，先取右手叉子，再取左手叉子
• 但对于i=4，先取左手叉子，再取右手叉子

semaphore fork[5] = {1, 1, 1, 1, 1};

cobegin
process philosoper_i() {  // i=0,1,2,3
    while(true) {
        think();
        P(fork[i]);        // 先取右手
        P(fork[(i+1)%5]);  // 再取左手
        eat();
        V(fork[i]);
        V(fork[(i+1)%5]);
    }
}

process philosoper_4() {
    while(true) {
        think();
        P(fork[(i+1)%5]); // 先取左手
        P(fork[i]);     // 再取右手
        eat();
        V(fork[(i+1)%5]);
        V(fork[i]);
    }
}
coend

4. P、V操作-解法2

• 最多允许4个哲学家同时取叉子

semaphore fork[5] = {1, 1, 1, 1, 1};
semaphore room = 4;  // 增加一位侍者

cobegin
process philosoper_i() {   // i=0,1,2,3,4
    while(true) {
        think();
        P(room);   // 控制最多允许4位哲学家取叉子
        P(fork[i]);        // 先取右手
        P(fork[(i+1)%5]);  // 再取左手
        eat();
        V(fork[i]);
        V(fork[(i+1)%5]);
        V(room);
    }
}
coend

5. P、V操作-解法3

• 奇数号哲学家先取左手叉子
• 偶数号哲学家先取右手叉子

semaphore fork[5] = {1, 1, 1, 1, 1};

cobegin
process philosoper_i() {   // i=0,1,2,3,4
	think();
    if((i % 2) == 0) {   // 偶数哲学家先右手，后左手
        P(fork[i]);
        P(fork[(i+1)%5]);
        eat();
        V(fork[i]);
        V(fork[(i+1)%5]);
    } else {             // 奇数哲学家先左手 ，后右手
        P(fork[(i+1)%5]);
        P(fork[i]);
        eat();
        V(fork[(i+1)%5]);
        V(fork[i]);
    }
}
coend

6. P、V操作-解法4

• 每个哲学家取到手边的两把叉子才能吃
• 否则，一把叉子都取不到

semaphore fork[5] = {1, 1, 1, 1, 1};
semaphore mutex = 1;  // 设置叉子的互斥信号量

cobegin
process philosoper_i() {   // i=0,1,2,3,4
    while(true) {
        think();
        P(mutex);   // 取叉子前获得信号量
        P(fork[i]);
        P(fork[(i+1)%5]);
        eat();
        V(fork[i]);
        V(fork[(i+1)%5]);
        V(mutex);
    }
}
coend

d=====(￣▽￣*)b