哲学家进餐问题代码实现

以下是哲学家进餐问题的 Python 代码实现：

import threading


class Philosopher(threading.Thread):
    def __init__(self, name, left_fork, right_fork):
        threading.Thread.__init__(self)
        self.name = name
        self.left_fork = left_fork
        self.right_fork = right_fork

    def run(self):
        while True:
            self.left_fork.acquire()
            locked = self.right_fork.acquire(False)
            if locked:
                break
            self.left_fork.release()

        print(f'{self.name} is eating')
        self.right_fork.release()
        self.left_fork.release()
        print(f'{self.name} is thinking')


def main():
    forks = [threading.Lock() for i in range(5)]
    philosophers = [Philosopher(f'Philosopher {i}', forks[i % 5], forks[(i + 1) % 5]) for i in range(5)]

    for philosopher in philosophers:
        philosopher.start()


if __name__ == '__main__':
    main()

在这个代码中，每个哲学家都是一个独立的线程。每个哲学家都需要左右两个叉子才能开始进餐。如果一个叉子被其他哲学家占用，那么这个哲学家就会放下左边的叉子，等待右边的叉子空闲。

注意，在代码的主函数中，我们创建了 5 个叉子，编号从 0 到 4。由于每个哲学家需要左右两个叉子，所以我们将叉子 0 和 1 分配给第一个哲学家，叉子 1 和 2 分配给第二个哲学家，以此类推。这样，我们就可以避免死锁的情况发生。

当一个哲学家成功获取了两个叉子，就可以开始进餐了。等到饭吃完了，就会放下两个叉子，开始思考。这个过程会一直循环下去，直到程序被手动停止。