-
题名改进的哲学家进餐问题无饥饿解的Petri网模型
被引量：3
- 1
-
-
作者
刘关俊
吴哲辉
-
机构
山东科技大学计算机系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期26-28,61,共4页
-
基金
国家自然科学基金(60673053)
-
文摘
哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。
-
关键词
哲学家进餐问题
PETRI网
抑止弧Petri网
无饥饿解
-
Keywords
the dining philosophers problem
Petri net
Petri net with inhibitor arcs
starvation-free solution
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于Petri网下的哲学家就餐问题的模拟与验证
- 2
-
-
作者
叶剑虹
宋文
孟永刚
-
机构
西华大学数学与计算机科学技术学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期211-212,215,共3页
-
基金
四川省科技厅应用基础课题 (03226125)
-
文摘
哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.
-
关键词
PETRI网
C/E系统
哲学家就餐问题
模拟
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名哲学家就餐问题的算法实现
被引量：1
- 3
-
-
作者
高升
陈月峰
-
机构
广东海洋大学信息学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2016年第2期269-276,共8页
-
基金
广东海洋大学卓越计划项目
-
文摘
针对哲学家就餐问题这一操作系统中进程间通信的经典范例,设计了该范例的一个具有代表性的算法的技术实现方案。方案以Linux操作系统作为运行平台,通过进程而不是线程来体现哲学家的并发行为特征,以自动和随机相结合的灵活自然的人机交互模式模拟哲学家的状态,控制其状态切换;提出了两种形式的哲学家状态监控程序,它们能够生动、直观、准确地表达出哲学家状态的变化过程。字符形式的监控程序在字符终端和图形终端中均可使用,主要面向以超级终端登录到多用户Linux系统的用户;利用QT5开发的动画形式的监控程序适合在桌面Linux的图形终端中使用。
-
关键词
操作系统
进程同步与互斥
信号量
共享存储器
哲学家就餐问题
状态监控程序
-
Keywords
operating system
process synchronization and mutual exclusion
semaphore
shared memory
dining philosophers problem
state monitoring program
-
分类号
TP316.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名统计算法选择对统计模型检测效率的影响分析
被引量：1
- 4
-
-
作者
高婉玲
洪玫
杨秋辉
赵鹤
-
机构
四川大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第S1期499-503,533,共6页
-
基金
嵌入式系统软件形式化验证技术研究(2014JY0112)资助
-
文摘
近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。
-
关键词
统计模型检测
统计算法
无线局域网协议
哲学家问题
PLASMA
-
Keywords
Statistical model checking
Statistical algorithm
WLAN
Dining philosophers
PLASMA
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
