哲学家就餐问题

作品数：13被引量：8H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宋文殷兆麟丁颖沈鹏飞郭天文更多>>
相关机构：西华大学中国矿业大学上海电视大学上海师范大学更多>>
相关期刊：《湖南城市学院学报（自然科学版）》《实验科学与技术》《计算机与数字工程》《微电子学与计算机》更多>>
相关基金：四川省应用基础研究计划项目安徽省高等学校质量工程教学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
哲学家就餐问题的实验课程思路拓展
《实验科学与技术》2018年第2期191-194,共4页杨珊 
该文分析了操作系统实验课程项目现状,通过对哲学家就餐问题进行详细分解,引出了对K.Mani Chandy和J.Misra提出的一种解决大规模并发问题的算法的分析及研究。给出该算法使用互斥量的哲学家问题实现方案,展示了以3位哲学家交互的例子以...
关键词：验课程拓展 哲学家就餐 操作系统同步 死锁 
哲学家就餐问题的算法实现被引量：1
《计算机工程与科学》2016年第2期269-276,共8页高升 陈月峰 
广东海洋大学卓越计划项目
针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交...
关键词：操作系统 进程同步与互斥 信号量 共享存储器 哲学家就餐问题 状态监控程序 
经典同步问题的死锁解决方案
《宿州学院学报》2015年第4期94-98,共5页谢士春 
安徽省高校质量工程项目"计算机科学与技术专业综合改革试点"(NO.2012zy075)
哲学家就餐问题和吸烟者问题是两个经典的进程同步问题模型,它们均是对多个竞争进程互斥地访问有限资源(例如I/O设备)问题的建模。针对这两类进程步问题,分析不合理地使用PV操作导致死锁产生的原因,提出了阻止死锁产生的详细方案。对此...
关键词：死锁 进程同步 信号量 哲学家就餐问题 吸烟者问题 
哲学家就餐问题研究与模拟被引量：1
《电脑知识与技术》2013年第5X期3516-3521,共6页解晨 
如今良好的交互性、并行性、同步性早已是大多数计算机操作系统不可或缺的功能,无论是基于单核还是多核计算机,倘若没有以上几个性能,则毫无疑问是糟糕的操作系统。哲学家就餐问题是操作系统研究领域中一个著名而有趣的问题,是从计算机...
关键词：操作系统同步性 死锁竞争 哲学家就餐问题 
基于Petri网下哲学家就餐问题模型的改进与推广被引量：1
《计算机与数字工程》2010年第1期40-43,共4页邵长明 宋文 
哲学家就餐问题是描述在共享资源下同步与并发的经典案例,活性与无饥饿性是求解此问题的前提,效率是基本要求。基于两个许可卡的传递策略,已经给出了无饥饿解的Petri网模型,并且在该模型基础上的改进解决了许可卡的传递问题同时也解决...
关键词：PETRI网 哲学家就餐问题 延迟Petri网 效率 
基于Petri网的动态模型的构造及实现
《福建电脑》2008年第1期77-78,共2页杨臻 
文章简要地介绍了Petri网的基本定义,通过哲学家就餐问题的典型实例研究分析,构造了相应的Petri网模型,总结出了应用Petri网模型描述和分析实际问题的基本步骤。并给出了该种模型的程序实现。为计算机的有关类似问题的深入研究和分析提...
关键词：PETRI网 同步 哲学家就餐问题 多线程 
JAVA注释型并行模型实现线程同步被引量：1
《微电子学与计算机》2006年第9期47-48,共2页殷兆麟 丁颖 郭天文 韩圣良 沈鹏飞 
JAC技术扩展Java注释,赋予Java代码并行语义。文章讨论如何利用JAC注释针对典型的生产者/消费者问题、哲学家就餐问题,实现线程同步。由此阐述JAC把并发活动的线程控制留给了预编译器,把面向对象的并行逻辑从应用逻辑中分离出来的优点。
关键词：JAVA 并行注释 同步 生产者/消费者问题 哲学家就餐问题 
基于Petri网的哲学家就餐问题多线程设计与实现被引量：1
《湖南城市学院学报（自然科学版）》2006年第4期64-66,共3页侯利娟 史长琼 黄红兵 
为了解决操作系统中的进程间同步互斥问题,以Petri网为系统描述工具分析了经典的哲学家进餐问题,讨论了1:1的轮流固定使用的Petri网模型,给出了使用(串行)的管理模型的程序实现,且可以实现2:3的轮流固定使用(并行)和不固定的动态管理....
关键词：PETRI 多线程 同步 互斥 
基于Petri网下的哲学家就餐问题的模拟与验证
《系统仿真学报》2005年第z1期211-212,215,共3页叶剑虹 宋文 孟永刚 
四川省科技厅应用基础课题 (03226125)
哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发...
关键词：PETRI网 C/E系统 哲学家就餐问题 模拟 
描述与求解哲学家就餐问题的Petri网模型研究被引量：1
《信阳师范学院学报（自然科学版）》2004年第4期468-469,498,共3页王淑礼 袁俊红 江祥奎 
研究了用 Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题 ,并构造了不同的 Petri网模型解决死锁和无限等待问题 ,最后讨论了轮流进餐时不同进餐次数情况下的
关键词：PETRI网 并发 锁死 操作系统 哲学家就餐问题 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部