哲学家进餐问题一种解法的改进 被引量：2

1

作者 詹劲松 《佳木斯大学学报（自然科学版）》 CAS 2008年第4期553-555,共3页

介绍哲学家进餐问题死锁预防的一种解法的改进,对其进行了探讨.并用Java程序进行验证.

关键词 哲学家进餐问题 死锁预防 测试和设置 内存一致性

下载PDF 职称材料

利用Java高级别并发对象求解哲学家进餐问题 被引量：2

2

作者 詹劲松 《佳木斯大学学报（自然科学版）》 CAS 2013年第6期905-907,共3页

介绍了利用Java高级别并发对象求解哲学家进餐问题死锁预防的一种方法,并和我们过去的方法进行了比较,结果表明新方法的效率有所提高.

关键词 高级别并发对象 哲学家进餐问题 死锁预防

下载PDF 职称材料

求解哲学家就餐问题的两个Petri网模型 被引量：5

3

作者 马德云 俞时权 胡浩民 《上海师范大学学报（自然科学版）》 2002年第3期37-40,共4页

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子 ,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具 ,本文提出了用Petri网避免死锁的一种模型 。

关键词 PETRI网模型 哲学家就餐问题 并发操作 死锁 操作系统 无限等待 解决方法

下载PDF 职称材料

改进的哲学家进餐问题无饥饿解的Petri网模型 被引量：3

4

作者 刘关俊 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期26-28,61,共4页

哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转... 哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。 展开更多

关键词 哲学家进餐问题 PETRI网 抑止弧Petri网 无饥饿解

下载PDF 职称材料

描述与求解哲学家就餐问题的Petri网模型研究 被引量：1

5

作者 王淑礼 袁俊红 江祥奎 《信阳师范学院学报（自然科学版）》 CAS 2004年第4期468-469,498,共3页

研究了用 Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题 ,并构造了不同的 Petri网模型解决死锁和无限等待问题 ,最后讨论了轮流进餐时不同进餐次数情况下的

关键词 PETRI网 并发 锁死 操作系统 哲学家就餐问题

下载PDF 职称材料

哲学家就餐问题的算法实现 被引量：1

6

作者 高升 陈月峰 《计算机工程与科学》 CSCD 北大核心 2016年第2期269-276,共8页

针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交... 针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交互模式模拟哲学家的状态,控制其状态切换;提出了两种形式的哲学家状态监控程序,它们能够生动、直观、准确地表达出哲学家状态的变化过程。字符形式的监控程序在字符终端和图形终端中均可使用,主要面向以超级终端登录到多用户Linux系统的用户;利用QT5开发的动画形式的监控程序适合在桌面Linux的图形终端中使用。 展开更多

关键词 操作系统 进程同步与互斥 信号量 共享存储器 哲学家就餐问题 状态监控程序

下载PDF 职称材料

基于Petri网下哲学家就餐问题模型的改进与推广 被引量：1

7

作者 邵长明 宋文 《计算机与数字工程》 2010年第1期40-43,共4页

哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求。基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决... 哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求。基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决了拥有许可卡且准备就餐的两位相邻哲学家之间共享资源的冲突问题。然而以上改进并没有真正实现效率上的高效且不易推广到哲学家人数大于5位的情形。 展开更多

关键词 PETRI网 哲学家就餐问题 延迟Petri网 效率

下载PDF 职称材料

解决哲学家进餐问题陷入死锁状态的系统改造方案分析 被引量：1

8

作者 孙时光 张晋 《辽宁大学学报（自然科学版）》 CAS 2013年第3期210-212,共3页

通过对"哲学家进餐问题"的讨论,提出了解决计算机系统死锁的若干行之有效的方案,并给出了相应的实现代码.为解决并发进程同步问题提供了参考.

关键词 哲学家进餐问题 进程同步 互斥 信号量机制 死锁

下载PDF 职称材料

哲学家就餐问题的Petri网描述

9

作者 伦立军 刘志红 《哈尔滨师范大学自然科学学报》 CAS 1999年第5期64-67,共4页

作为描述具有并行或异步并发系统的工具，Ｐｅｔｒｉ网已在计算机各个领域得到了较好的应用．操作系统是最重要的系统软件，而进程间的同步互斥是操作系统中的关键问题．本文讨论了用 Ｐｅｔｒｉ 网表示操作系统中的经典哲学家就餐问题... 作为描述具有并行或异步并发系统的工具，Ｐｅｔｒｉ网已在计算机各个领域得到了较好的应用．操作系统是最重要的系统软件，而进程间的同步互斥是操作系统中的关键问题．本文讨论了用 Ｐｅｔｒｉ 网表示操作系统中的经典哲学家就餐问题的方法． 展开更多

关键词 PETRI网 操作系统 进程 哲学家就餐问题

下载PDF 职称材料

基于Java多线程机制解决哲学家进餐问题的深入探究

10

作者 李金忠 夏洁武 《井冈山大学学报（自然科学版）》 2007年第3期49-52,共4页

简要阐述了操作系统中哲学家进餐这个经典同步问题,探讨了该问题的多种解决策略,并通过Java语言的多线程编程技术,给出了实现此问题相应解决策略的代码,有效地避免了饥饿和死锁现象的产生。

关键词 多线程 哲学家进餐问题 同步 死锁 饥饿

下载PDF 职称材料

通过回退机制解决哲学家进餐问题

11

作者 白戈力 付学良 《内蒙古师范大学学报（自然科学汉文版）》 CAS 2011年第1期95-98,共4页

根据预防死锁策略,提出一种基于回退机制的哲学家进餐问题的解决方案,并在JAVA多线程环境下通过编程实现了该方案.模拟程序运行结果验证了方案的可行性和有效性.

关键词 哲学家进餐问题 JAVA 死锁 回退机制

下载PDF 职称材料