论文网
English Papers
万事OK网
发表论文
 
 首页 > IT文章 > 程序设计 >
经典IPC问题 - 哲学家进餐

[科技论文网] http://www.scipapers.com    2007-12-02  

    经典IPC问题 - 哲学家进餐

    问题:
    有五个哲学家,
    每个哲学家面前有一盘面
    每个哲学家左右各有一只筷子
    哲学家有2个状态,思考或者拿起筷子吃饭。
    如果哲学家拿到一只筷子,不能吃饭,拿到2只才能吃饭。

    一,考虑第一种自然情况:
    解法:所有哲学家拿起一只筷子,再拿旁边的一只,如果拿不到就等,等到可以拿了再拿
    问题:所有哲学家都拿起一只筷子,那就都吃不到饭,就是死锁
    二,解决上边的问题
    解法:每个哲学家先拿左边的筷子,再拿右边的筷子,如果拿不到右边的筷子,就放弃左边的筷子,等待一段时间再试
    问题:试想所有哲学家同时拿起筷子,同时放弃,再同时拿起,同时放弃。。如此就进入了另外一种死循环
    三,解决上边的问题:
    解法:在上边的情况下,每次等待的时间变成随机一段时间,这样基本能解决问题,例如以太网的工作方式就是这样
    问题:再极少数情况下,还是会出现冲突,在一些要求较高的情况,例如核电站的安全系统,这种情况试不允许出现的
    四,最终解决方法:
    解法:使用多个互斥信号量,每个哲学家在想取筷子前先执行mutex,然后判断一下左右的筷子是否有人用,如果没有就拿起筷子,否则就不拿筷子
    实现程序:
    #define N 5
    #define Left (i+N-1)%N
    #define Right (i+1)%N
    #define THINKING 0
    #define HUNGRY 1
    #define EATING 2
    typedef int semaphore;
    int state(N);
    semapore mutex =1;
    semaphore s(N);

    void philosopher(int i){
     while(TRUE){
      think();
      take_forks(i);
      eat();
      put_forks(i);
     }
    }
    void tak_forks(int i){
     down(&mutex);
     state(i)=HUNGRY;
     test(i);
     up(&mutex);
     down(&s[i]);
    }
    void put_forks(int i){
     down(&mutex);
     state(i)=THINK;
     test(LEFT);
     test(RIGHT);
     up(&mutex);
    }
    void test(i){
     if(state(i)==HUNGRY && state(LEFT)!=EATING && state(RIGHT)!=EATING){
      state(i)=EATING;
      up(&s[i])
     }
    }

        来源:

声明:本文由网友推荐或作者提交,版权归原作者所有,刊登此文仅为传播知识,展示研究成果,提高文章引用率。未经原作者授权,禁止用于任何形式的商业行为。科技论文网倡导尊重知识、尊重劳动、保护原创、知识共享。由于部分论文文章来于网络,文章作者不祥,请相关的原创作者与我们联系,以便加上您的署名。

  
经典IPC问题 - 哲学家进餐
下面没有链接了     整数分解算法
最新论文
·[程序设计]经典IPC问题 - 哲学家进餐
·[程序设计]整数分解算法
·[程序设计]双核CPU上的快速排序效率
·[程序设计]经典的图论算法C++描述
·[程序设计]常用算法—贪婪法
·[程序设计]20世纪10个最伟大的算法
·[程序设计]任意阶奇数幻方C程序
·[程序设计]二叉查找树示例
·[程序设计]朴素(Naive)字符串匹配算法
·[程序设计]平衡二叉树源码
 
 

搜索论文

Google
论文分类

论文网 论文发表网 论文 免费论文网 找论文网 毕业论文 中国论文网 英语论文 百度论文 聘教网 易搜
 免费发布论文    中国论文网 2008版权所有  业务联系:pinjiao@126.com