多线程同步方法解决哲学家就餐问题.PDFVIP

    多线程同步方法解决哲学家就餐问题 (Dining-Philosophers Problem) Version : 1.0.1 2013-08-24 DOCUMENT HISTORY Ed. Version Author Change 1 1.0.0 缪海波 Initial(2013-08-20) 2 1.0.1 缪海波 实验设计局部修改(2013-08-24) 办公地点：孟宁 明德楼A302 电话:0512 E-mail:mengning@ 缪海波 亲民楼 303 电话:0512 E-mail:mhb@ 1 目 录 1 实验场景 3 2 实验内容 3 3 实验环境 4 4 基础知识 4 5 实验考核 11 6 参考资料 12 2 1 实验场景 哲学家就餐问题：由计算机科学家 Dijkstra 提出的经典死锁场景。 原版的故事里有五个哲学家(我们写的程序可以有 N 个哲学家)，这些哲学家们只做两件 事：思考和吃饭，他们思考的时候不需要任何共享资源，但是吃饭的时候就必须使用餐具， 而餐桌上的餐具是有限的，原版的故事里，餐具是叉子，吃饭的时候要用两把叉子把面条从 碗里捞出来。本实验中，把叉子换成筷子，所以：一个哲学家需要两根筷子才能吃饭。 现在引入问题的关键：这些哲学家很穷，只买得起五根筷子。他们坐成一圈，两个人的 中间放一根筷子。哲学家吃饭的时候必须同时得到左手边和右手边的筷子。如果他身边的任 何一位正在使用筷子，那他只有等着。假设哲学家的编号是 0、1、2、3、4 ，筷子编号也是 0、1、2、3、4 ，哲学家和筷子围成一圈如下图所示： 0 0 1 4 1 4 2 3 2 3 2 实验内容 使用多线程模拟哲学家进餐问题。每个哲学家都是一个单独的线程，每个线程循环做以 下动作：思考 rand()%10 秒，然后先拿左手边的筷子再拿右手边的筷子（筷子这种资源可 以用互斥锁mutex 或信号量表示），有任何一边拿不到就一直等着，全拿到就吃饭 rand()%10 秒，然后放下筷子。 练习 1：编译运行“仿真哲学家就餐场景的示例程序 dining_philosophers.c” gcc dining_philosophers.c –o diding_philosophe